3 %lex-param { yyscan_t scanner }
4 %parse-param { struct grub2_parser *parser }
8 #include <talloc/talloc.h>
15 #define YYLEX_PARAM parser->scanner
17 void yyerror(struct grub2_parser *parser, const char *fmt, ...);
21 struct grub2_word *word;
22 struct grub2_argv *argv;
23 struct grub2_statement *statement;
24 struct grub2_statements *statements;
28 %token TOKEN_LDSQBRACKET "[["
29 %token TOKEN_RDSQBRACKET "]]"
30 %token TOKEN_CASE "case"
32 %token TOKEN_DONE "done"
33 %token TOKEN_ELIF "elif"
34 %token TOKEN_ELSE "else"
35 %token TOKEN_ESAC "esac"
37 %token TOKEN_FOR "for"
38 %token TOKEN_FUNCTION "function"
41 %token TOKEN_MENUENTRY "menuentry"
42 %token TOKEN_SELECT "select"
43 %token TOKEN_SUBMENU "submenu"
44 %token TOKEN_THEN "then"
45 %token TOKEN_TIME "time"
46 %token TOKEN_UTIL "until"
47 %token TOKEN_WHILE "while"
49 %type <statement> statement
50 %type <statements> statements
51 %type <statement> conditional
52 %type <statement> elif
53 %type <statements> elifs
60 %token <word> TOKEN_WORD
69 parser->script->statements = $1;
72 eol: TOKEN_EOL | TOKEN_EOF;
74 statements: /* empty */ {
75 $$ = create_statements(parser);
77 | statements statement eol {
78 statement_append($1, $2);
81 | statements TOKEN_EOL {
85 sep: TOKEN_DELIM | TOKEN_EOL;
87 conditional: statement TOKEN_EOL "then" sep statements {
88 $$ = create_statement_conditional(parser, $1, $5);
91 elif: "elif" TOKEN_DELIM conditional {
96 $$ = create_statements(parser);
99 statement_append($1, $2);
105 $$ = create_statement_simple(parser, $1);
107 | '{' statements '}' {
108 $$ = create_statement_block(parser, $2);
110 | "if" TOKEN_DELIM conditional elifs "fi" {
111 $$ = create_statement_if(parser, $3, $4, NULL);
113 | "if" TOKEN_DELIM conditional
118 $$ = create_statement_if(parser, $3, $4, $7);
120 | "function" TOKEN_DELIM word TOKEN_DELIM '{' statements '}' {
121 $$ = create_statement_function(parser, $3, $6);
123 | "menuentry" TOKEN_DELIM words TOKEN_DELIM
125 $$ = create_statement_menuentry(parser, $3, $6);
127 | "submenu" TOKEN_DELIM words TOKEN_DELIM
129 /* we just flatten everything */
130 $$ = create_statement_block(parser, $6);
134 $$ = create_argv(parser);
137 | words TOKEN_DELIM word {
149 void yyerror(struct grub2_parser *parser, const char *fmt, ...)
155 str = talloc_vasprintf(parser, fmt, ap);
158 pb_log("parse error: %d('%s'): %s\n", yyget_lineno(parser->scanner),
159 yyget_text(parser->scanner), str);
162 struct grub2_statements *create_statements(struct grub2_parser *parser)
164 struct grub2_statements *stmts = talloc(parser,
165 struct grub2_statements);
166 list_init(&stmts->list);
170 struct grub2_statement *create_statement_simple(struct grub2_parser *parser,
171 struct grub2_argv *argv)
173 struct grub2_statement_simple *stmt =
174 talloc(parser, struct grub2_statement_simple);
175 stmt->st.type = STMT_TYPE_SIMPLE;
176 stmt->st.exec = statement_simple_execute;
181 struct grub2_statement *create_statement_menuentry(struct grub2_parser *parser,
182 struct grub2_argv *argv, struct grub2_statements *stmts)
184 struct grub2_statement_menuentry *stmt =
185 talloc(parser, struct grub2_statement_menuentry);
186 stmt->st.type = STMT_TYPE_MENUENTRY;
187 stmt->st.exec = statement_menuentry_execute;
189 stmt->statements = stmts;
193 struct grub2_statement *create_statement_conditional(
194 struct grub2_parser *parser,
195 struct grub2_statement *condition,
196 struct grub2_statements *statements)
198 struct grub2_statement_conditional *stmt =
199 talloc(parser, struct grub2_statement_conditional);
200 stmt->st.type = STMT_TYPE_CONDITIONAL;
201 stmt->condition = condition;
202 stmt->statements = statements;
206 struct grub2_statement *create_statement_if(struct grub2_parser *parser,
207 struct grub2_statement *conditional,
208 struct grub2_statements *elifs,
209 struct grub2_statements *else_case)
211 struct grub2_statement_if *stmt =
212 talloc(parser, struct grub2_statement_if);
214 list_add(&elifs->list, &conditional->list);
216 stmt->st.type = STMT_TYPE_IF;
217 stmt->st.exec = statement_if_execute;
218 stmt->conditionals = elifs;
219 stmt->else_case = else_case;
223 struct grub2_statement *create_statement_block(struct grub2_parser *parser,
224 struct grub2_statements *stmts)
226 struct grub2_statement_block *stmt =
227 talloc(parser, struct grub2_statement_block);
228 stmt->st.type = STMT_TYPE_BLOCK;
229 stmt->st.exec = statement_block_execute;
230 stmt->statements = stmts;
234 struct grub2_statement *create_statement_function(struct grub2_parser *parser,
235 struct grub2_word *name, struct grub2_statements *body)
237 struct grub2_statement_function *stmt =
238 talloc(parser, struct grub2_statement_function);
239 stmt->st.exec = statement_function_execute;
245 void statement_append(struct grub2_statements *stmts,
246 struct grub2_statement *stmt)
250 list_add_tail(&stmts->list, &stmt->list);
253 struct grub2_word *create_word_text(struct grub2_parser *parser,
256 struct grub2_word *word = talloc(parser, struct grub2_word);
257 word->type = GRUB2_WORD_TEXT;
259 word->text = talloc_strdup(word, text);
265 struct grub2_word *create_word_var(struct grub2_parser *parser,
266 const char *name, bool split)
268 struct grub2_word *word = talloc(parser, struct grub2_word);
269 word->type = GRUB2_WORD_VAR;
270 word->name = talloc_strdup(word, name);
277 struct grub2_argv *create_argv(struct grub2_parser *parser)
279 struct grub2_argv *argv = talloc(parser, struct grub2_argv);
280 list_init(&argv->words);
284 void argv_append(struct grub2_argv *argv, struct grub2_word *word)
286 list_add_tail(&argv->words, &word->argv_list);
289 void word_append(struct grub2_word *w1, struct grub2_word *w2)
295 struct grub2_parser *grub2_parser_create(struct discover_context *ctx)
297 struct grub2_parser *parser;
299 parser = talloc(ctx, struct grub2_parser);
300 yylex_init_extra(parser, &parser->scanner);
301 parser->script = create_script(parser, ctx);
306 void grub2_parser_parse(struct grub2_parser *parser, char *buf, int len)
308 YY_BUFFER_STATE bufstate;
311 bufstate = yy_scan_bytes(buf, len - 1, parser->scanner);
312 yyset_lineno(1, parser->scanner);
314 rc = yyparse(parser);
316 yy_delete_buffer(bufstate, parser->scanner);
319 script_execute(parser->script);