discover/grub2: Implement 'else' blocks

[petitboot] / discover / grub2 / parser.y

diff --git a/discover/grub2/parser.y b/discover/grub2/parser.y
index eb61f556491c23c503caea2958fa29a408cd866a..e13cd72a8f72e6358e7dfa7ab7387000b384efc4 100644 (file)
--- a/discover/grub2/parser.y
+++ b/discover/grub2/parser.y
@@ -4,6 +4,8 @@
 %parse-param { struct grub2_parser *parser }
 
 %{
+#include <talloc/talloc.h>
+
 #include "grub2.h"
 #include "parser.h"
 #include "lexer.h"
@@ -27,6 +29,7 @@ static void yyerror(struct grub2_parser *, char const *s);
 %token TOKEN_DO                "do"
 %token TOKEN_DONE              "done"
 %token TOKEN_ELIF              "elif"
+%token TOKEN_ELSE              "else"
 %token TOKEN_ESAC              "esac"
 %token TOKEN_FI                "fi"
 %token TOKEN_FOR               "for"
@@ -83,6 +86,14 @@ statement: TOKEN_EOL {
                "fi" TOKEN_EOL {
                $$ = create_statement_if(parser, $3, $6, NULL);
        }
+       | "if" TOKEN_DELIM statement
+               "then" TOKEN_EOL
+               statements
+               "else" TOKEN_EOL
+               statements
+               "fi" TOKEN_EOL {
+               $$ = create_statement_if(parser, $3, $6, $9);
+       }
        | "menuentry" TOKEN_DELIM words TOKEN_DELIM
                '{' statements '}'
                TOKEN_EOL {
@@ -111,3 +122,135 @@ void yyerror(struct grub2_parser *parser, char const *s)
                        yyget_lineno(parser->scanner),
                        s, yyget_text(parser->scanner));
 }
+
+struct grub2_statements *create_statements(struct grub2_parser *parser)
+{
+       struct grub2_statements *stmts = talloc(parser,
+                       struct grub2_statements);
+       list_init(&stmts->list);
+       return stmts;
+}
+
+struct grub2_statement *create_statement_simple(struct grub2_parser *parser,
+               struct grub2_argv *argv)
+{
+       struct grub2_statement_simple *stmt =
+               talloc(parser, struct grub2_statement_simple);
+       stmt->st.type = STMT_TYPE_SIMPLE;
+       stmt->st.exec = statement_simple_execute;
+       stmt->argv = argv;
+       return &stmt->st;
+}
+
+struct grub2_statement *create_statement_menuentry(struct grub2_parser *parser,
+               struct grub2_argv *argv, struct grub2_statements *stmts)
+{
+       struct grub2_statement_menuentry *stmt =
+               talloc(parser, struct grub2_statement_menuentry);
+       stmt->st.type = STMT_TYPE_MENUENTRY;
+       stmt->st.exec = statement_menuentry_execute;
+       stmt->argv = argv;
+       stmt->statements = stmts;
+       return &stmt->st;
+}
+
+struct grub2_statement *create_statement_if(struct grub2_parser *parser,
+               struct grub2_statement *condition,
+               struct grub2_statements *true_case,
+               struct grub2_statements *false_case)
+{
+       struct grub2_statement_if *stmt =
+               talloc(parser, struct grub2_statement_if);
+       stmt->st.type = STMT_TYPE_IF;
+       stmt->st.exec = statement_if_execute;
+       stmt->condition = condition;
+       stmt->true_case = true_case;
+       stmt->false_case = false_case;
+       return &stmt->st;
+}
+
+struct grub2_statement *create_statement_block(struct grub2_parser *parser,
+               struct grub2_statements *stmts)
+{
+       struct grub2_statement_block *stmt =
+               talloc(parser, struct grub2_statement_block);
+       stmt->st.type = STMT_TYPE_BLOCK;
+       stmt->st.exec = NULL;
+       stmt->statements = stmts;
+       return &stmt->st;
+}
+
+void statement_append(struct grub2_statements *stmts,
+               struct grub2_statement *stmt)
+{
+       if (!stmt)
+               return;
+       list_add_tail(&stmts->list, &stmt->list);
+}
+
+struct grub2_word *create_word_text(struct grub2_parser *parser,
+               const char *text)
+{
+       struct grub2_word *word = talloc(parser, struct grub2_word);
+       word->type = GRUB2_WORD_TEXT;
+       word->split = false;
+       word->text = talloc_strdup(word, text);
+       word->next = NULL;
+       word->last = word;
+       return word;
+}
+
+struct grub2_word *create_word_var(struct grub2_parser *parser,
+               const char *name, bool split)
+{
+       struct grub2_word *word = talloc(parser, struct grub2_word);
+       word->type = GRUB2_WORD_VAR;
+       word->name = talloc_strdup(word, name);
+       word->split = split;
+       word->next = NULL;
+       word->last = word;
+       return word;
+}
+
+struct grub2_argv *create_argv(struct grub2_parser *parser)
+{
+       struct grub2_argv *argv = talloc(parser, struct grub2_argv);
+       list_init(&argv->words);
+       return argv;
+}
+
+void argv_append(struct grub2_argv *argv, struct grub2_word *word)
+{
+       list_add_tail(&argv->words, &word->argv_list);
+}
+
+void word_append(struct grub2_word *w1, struct grub2_word *w2)
+{
+       w1->last->next = w2;
+       w1->last = w2;
+}
+
+struct grub2_parser *grub2_parser_create(struct discover_context *ctx)
+{
+       struct grub2_parser *parser;
+
+       parser = talloc(ctx, struct grub2_parser);
+       yylex_init_extra(parser, &parser->scanner);
+       parser->script = create_script(parser, ctx);
+
+       return parser;
+}
+
+void grub2_parser_parse(struct grub2_parser *parser, char *buf, int len)
+{
+       YY_BUFFER_STATE bufstate;
+
+       bufstate = yy_scan_bytes(buf, len - 1, parser->scanner);
+
+       yyparse(parser);
+
+       yy_delete_buffer(bufstate, parser->scanner);
+
+       script_execute(parser->script);
+}
+