X-Git-Url: http://git.ozlabs.org/?a=blobdiff_plain;f=discover%2Fgrub2%2Fparser.y;h=a3473ca9051100df47bbe96a0062c6d9699e688c;hb=089d0a6eb769d531129a7cd1061493a1a24b4bef;hp=52dac9c7b27ee28d804010f3233279988205acd9;hpb=9638c29114c8d575d1b89c26dcf1f274ea6ab6c4;p=petitboot diff --git a/discover/grub2/parser.y b/discover/grub2/parser.y index 52dac9c..a3473ca 100644 --- a/discover/grub2/parser.y +++ b/discover/grub2/parser.y @@ -6,6 +6,7 @@ %{ #include +#include #include "grub2.h" #include "parser.h" @@ -13,7 +14,7 @@ #define YYLEX_PARAM parser->scanner -static void yyerror(struct grub2_parser *, char const *s); +void yyerror(struct grub2_parser *parser, const char *fmt, ...); %} %union { @@ -48,6 +49,8 @@ static void yyerror(struct grub2_parser *, char const *s); %type statement %type statements %type conditional +%type elif +%type elifs %type words %type word @@ -55,6 +58,7 @@ static void yyerror(struct grub2_parser *, char const *s); %token TOKEN_EOL %token TOKEN_DELIM %token TOKEN_WORD +%token TOKEN_EOF 0 %start script %debug @@ -65,10 +69,12 @@ script: statements { parser->script->statements = $1; } +eol: TOKEN_EOL | TOKEN_EOF; + statements: /* empty */ { $$ = create_statements(parser); } - | statements statement TOKEN_EOL { + | statements statement eol { statement_append($1, $2); $$ = $1; } @@ -76,10 +82,24 @@ 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); } +elif: "elif" TOKEN_DELIM conditional { + $$ = $3; + } + +elifs: /* empty */ { + $$ = create_statements(parser); + } + | elifs elif { + statement_append($1, $2); + $$ = $1; + } + statement: words { $$ = create_statement_simple(parser, $1); @@ -87,14 +107,15 @@ statement: | '{' statements '}' { $$ = create_statement_block(parser, $2); } - | "if" TOKEN_DELIM conditional "fi" { - $$ = create_statement_if(parser, $3, NULL); + | "if" TOKEN_DELIM conditional elifs "fi" { + $$ = create_statement_if(parser, $3, $4, NULL); } | "if" TOKEN_DELIM conditional - "else" TOKEN_EOL + elifs + "else" sep statements "fi" { - $$ = create_statement_if(parser, $3, $6); + $$ = create_statement_if(parser, $3, $4, $7); } | "function" TOKEN_DELIM word TOKEN_DELIM '{' statements '}' { $$ = create_statement_function(parser, $3, $6); @@ -125,11 +146,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; + + 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) @@ -178,13 +205,17 @@ struct grub2_statement *create_statement_conditional( struct grub2_statement *create_statement_if(struct grub2_parser *parser, struct grub2_statement *conditional, + struct grub2_statements *elifs, struct grub2_statements *else_case) { struct grub2_statement_if *stmt = talloc(parser, struct grub2_statement_if); + + list_add(&elifs->list, &conditional->list); + stmt->st.type = STMT_TYPE_IF; stmt->st.exec = statement_if_execute; - stmt->conditional = conditional; + stmt->conditionals = elifs; stmt->else_case = else_case; return &stmt->st; } @@ -195,7 +226,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; } @@ -278,6 +309,7 @@ void grub2_parser_parse(struct grub2_parser *parser, char *buf, int len) int rc; bufstate = yy_scan_bytes(buf, len - 1, parser->scanner); + yyset_lineno(1, parser->scanner); rc = yyparse(parser);