X-Git-Url: http://git.ozlabs.org/?p=petitboot;a=blobdiff_plain;f=discover%2Fgrub2%2Fparser.y;h=23bf4276818932613b3df07e14a9392861a1e2eb;hp=292ce0725b6af6bdffecc8ddad80c9e11f660460;hb=1b272c7d47390077eee0a0638329b1a7df521329;hpb=1a9af828d9ad0da0efa7af286db78c8904344e6b diff --git a/discover/grub2/parser.y b/discover/grub2/parser.y index 292ce07..23bf427 100644 --- a/discover/grub2/parser.y +++ b/discover/grub2/parser.y @@ -2,21 +2,16 @@ %pure-parser %lex-param { yyscan_t scanner } %parse-param { struct grub2_parser *parser } +%parse-param { void *scanner } %error-verbose %{ #include +#include #include "grub2.h" -#include "parser.h" -#include "lexer.h" - -static void print_token(FILE *fp, int type, YYSTYPE value); - -#define YYLEX_PARAM parser->scanner -#define YYPRINT(f, t, v) print_token(f, t, v) -static void yyerror(struct grub2_parser *, char const *s); +void yyerror(struct grub2_parser *parser, const char *fmt, ...); %} %union { @@ -65,6 +60,10 @@ static void yyerror(struct grub2_parser *, char const *s); %start script %debug +%{ +#include "lexer.h" +%} + %% script: statements { @@ -84,7 +83,9 @@ statements: /* empty */ { $$ = $1; } -conditional: statement TOKEN_EOL "then" TOKEN_EOL statements { +sep: TOKEN_DELIM | TOKEN_EOL; + +conditional: statement TOKEN_EOL "then" sep statements { $$ = create_statement_conditional(parser, $1, $5); } @@ -112,7 +113,7 @@ statement: } | "if" TOKEN_DELIM conditional elifs - "else" TOKEN_EOL + "else" sep statements "fi" { $$ = create_statement_if(parser, $3, $4, $7); @@ -129,6 +130,12 @@ statement: /* we just flatten everything */ $$ = create_statement_block(parser, $6); } + | "for" TOKEN_DELIM word TOKEN_DELIM "in" TOKEN_DELIM words TOKEN_EOL + "do" sep + statements + "done" { + $$ = create_statement_for(parser, $3, $7, $11); + } words: word { $$ = create_argv(parser); @@ -146,18 +153,17 @@ word: TOKEN_WORD } %% -void yyerror(struct grub2_parser *parser, char const *s) +void yyerror(struct grub2_parser *parser, const char *fmt, ...) { - fprintf(stderr, "%d: error: %s '%s'\n", - yyget_lineno(parser->scanner), - s, yyget_text(parser->scanner)); -} + const char *str; + va_list ap; -static void print_token(FILE *fp, int type, YYSTYPE value) -{ - if (type != TOKEN_WORD) - return; - fprintf(fp, "%s", value.word->text); + va_start(ap, fmt); + str = talloc_vasprintf(parser, fmt, ap); + va_end(ap); + + pb_log("parse error: %d('%s'): %s\n", yyget_lineno(parser->scanner), + yyget_text(parser->scanner), str); } struct grub2_statements *create_statements(struct grub2_parser *parser) @@ -227,7 +233,7 @@ struct grub2_statement *create_statement_block(struct grub2_parser *parser, struct grub2_statement_block *stmt = talloc(parser, struct grub2_statement_block); stmt->st.type = STMT_TYPE_BLOCK; - stmt->st.exec = NULL; + stmt->st.exec = statement_block_execute; stmt->statements = stmts; return &stmt->st; } @@ -243,6 +249,19 @@ struct grub2_statement *create_statement_function(struct grub2_parser *parser, return &stmt->st; } +struct grub2_statement *create_statement_for(struct grub2_parser *parser, + struct grub2_word *var, struct grub2_argv *list, + struct grub2_statements *body) +{ + struct grub2_statement_for *stmt = + talloc(parser, struct grub2_statement_for); + stmt->st.exec = statement_for_execute; + stmt->var = var; + stmt->list = list; + stmt->body = body; + return &stmt->st; +} + void statement_append(struct grub2_statements *stmts, struct grub2_statement *stmt) { @@ -304,14 +323,18 @@ struct grub2_parser *grub2_parser_create(struct discover_context *ctx) return parser; } -void grub2_parser_parse(struct grub2_parser *parser, char *buf, int len) +void grub2_parser_parse(struct grub2_parser *parser, const char *filename, + char *buf, int len) { YY_BUFFER_STATE bufstate; int rc; + parser->script->filename = filename; + bufstate = yy_scan_bytes(buf, len - 1, parser->scanner); + yyset_lineno(1, parser->scanner); - rc = yyparse(parser); + rc = yyparse(parser, parser->scanner); yy_delete_buffer(bufstate, parser->scanner);