3 %lex-param { yyscan_t scanner }
4 %parse-param { struct grub2_parser *parser }
5 %parse-param { void *scanner }
9 #include <talloc/talloc.h>
14 void yyerror(struct grub2_parser *parser, const char *fmt, ...);
18 struct grub2_word *word;
19 struct grub2_argv *argv;
20 struct grub2_statement *statement;
21 struct grub2_statements *statements;
25 %token TOKEN_LDSQBRACKET "[["
26 %token TOKEN_RDSQBRACKET "]]"
27 %token TOKEN_CASE "case"
29 %token TOKEN_DONE "done"
30 %token TOKEN_ELIF "elif"
31 %token TOKEN_ELSE "else"
32 %token TOKEN_ESAC "esac"
34 %token TOKEN_FOR "for"
35 %token TOKEN_FUNCTION "function"
38 %token TOKEN_MENUENTRY "menuentry"
39 %token TOKEN_SELECT "select"
40 %token TOKEN_SUBMENU "submenu"
41 %token TOKEN_THEN "then"
42 %token TOKEN_TIME "time"
43 %token TOKEN_UTIL "until"
44 %token TOKEN_WHILE "while"
46 %type <statement> statement
47 %type <statements> statements
48 %type <statement> conditional
49 %type <statement> elif
50 %type <statements> elifs
57 %token <word> TOKEN_WORD
70 parser->script->statements = $1;
73 eol: TOKEN_EOL | TOKEN_EOF;
75 statements: /* empty */ {
76 $$ = create_statements(parser);
78 | statements statement eol {
79 statement_append($1, $2);
82 | statements TOKEN_EOL {
86 sep: TOKEN_DELIM | TOKEN_EOL;
88 conditional: statement TOKEN_EOL "then" sep statements {
89 $$ = create_statement_conditional(parser, $1, $5);
92 elif: "elif" TOKEN_DELIM conditional {
97 $$ = create_statements(parser);
100 statement_append($1, $2);
106 $$ = create_statement_simple(parser, $1);
108 | '{' statements '}' {
109 $$ = create_statement_block(parser, $2);
111 | "if" TOKEN_DELIM conditional elifs "fi" {
112 $$ = create_statement_if(parser, $3, $4, NULL);
114 | "if" TOKEN_DELIM conditional
119 $$ = create_statement_if(parser, $3, $4, $7);
121 | "function" TOKEN_DELIM word TOKEN_DELIM '{' statements '}' {
122 $$ = create_statement_function(parser, $3, $6);
124 | "menuentry" TOKEN_DELIM words TOKEN_DELIM
126 $$ = create_statement_menuentry(parser, $3, $6);
128 | "submenu" TOKEN_DELIM words TOKEN_DELIM
130 /* we just flatten everything */
131 $$ = create_statement_block(parser, $6);
133 | "for" TOKEN_DELIM word TOKEN_DELIM "in" TOKEN_DELIM words TOKEN_EOL
137 $$ = create_statement_for(parser, $3, $7, $11);
141 $$ = create_argv(parser);
144 | words TOKEN_DELIM word {
156 void yyerror(struct grub2_parser *parser, const char *fmt, ...)
162 str = talloc_vasprintf(parser, fmt, ap);
165 pb_log("parse error: %d('%s'): %s\n", yyget_lineno(parser->scanner),
166 yyget_text(parser->scanner), str);
169 struct grub2_statements *create_statements(struct grub2_parser *parser)
171 struct grub2_statements *stmts = talloc(parser,
172 struct grub2_statements);
173 list_init(&stmts->list);
177 struct grub2_statement *create_statement_simple(struct grub2_parser *parser,
178 struct grub2_argv *argv)
180 struct grub2_statement_simple *stmt =
181 talloc(parser, struct grub2_statement_simple);
182 stmt->st.type = STMT_TYPE_SIMPLE;
183 stmt->st.exec = statement_simple_execute;
188 struct grub2_statement *create_statement_menuentry(struct grub2_parser *parser,
189 struct grub2_argv *argv, struct grub2_statements *stmts)
191 struct grub2_statement_menuentry *stmt =
192 talloc(parser, struct grub2_statement_menuentry);
193 stmt->st.type = STMT_TYPE_MENUENTRY;
194 stmt->st.exec = statement_menuentry_execute;
196 stmt->statements = stmts;
200 struct grub2_statement *create_statement_conditional(
201 struct grub2_parser *parser,
202 struct grub2_statement *condition,
203 struct grub2_statements *statements)
205 struct grub2_statement_conditional *stmt =
206 talloc(parser, struct grub2_statement_conditional);
207 stmt->st.type = STMT_TYPE_CONDITIONAL;
208 stmt->condition = condition;
209 stmt->statements = statements;
213 struct grub2_statement *create_statement_if(struct grub2_parser *parser,
214 struct grub2_statement *conditional,
215 struct grub2_statements *elifs,
216 struct grub2_statements *else_case)
218 struct grub2_statement_if *stmt =
219 talloc(parser, struct grub2_statement_if);
221 list_add(&elifs->list, &conditional->list);
223 stmt->st.type = STMT_TYPE_IF;
224 stmt->st.exec = statement_if_execute;
225 stmt->conditionals = elifs;
226 stmt->else_case = else_case;
230 struct grub2_statement *create_statement_block(struct grub2_parser *parser,
231 struct grub2_statements *stmts)
233 struct grub2_statement_block *stmt =
234 talloc(parser, struct grub2_statement_block);
235 stmt->st.type = STMT_TYPE_BLOCK;
236 stmt->st.exec = statement_block_execute;
237 stmt->statements = stmts;
241 struct grub2_statement *create_statement_function(struct grub2_parser *parser,
242 struct grub2_word *name, struct grub2_statements *body)
244 struct grub2_statement_function *stmt =
245 talloc(parser, struct grub2_statement_function);
246 stmt->st.exec = statement_function_execute;
252 struct grub2_statement *create_statement_for(struct grub2_parser *parser,
253 struct grub2_word *var, struct grub2_argv *list,
254 struct grub2_statements *body)
256 struct grub2_statement_for *stmt =
257 talloc(parser, struct grub2_statement_for);
258 stmt->st.exec = statement_for_execute;
265 void statement_append(struct grub2_statements *stmts,
266 struct grub2_statement *stmt)
270 list_add_tail(&stmts->list, &stmt->list);
273 struct grub2_word *create_word_text(struct grub2_parser *parser,
276 struct grub2_word *word = talloc(parser, struct grub2_word);
277 word->type = GRUB2_WORD_TEXT;
279 word->text = talloc_strdup(word, text);
285 struct grub2_word *create_word_var(struct grub2_parser *parser,
286 const char *name, bool split)
288 struct grub2_word *word = talloc(parser, struct grub2_word);
289 word->type = GRUB2_WORD_VAR;
290 word->name = talloc_strdup(word, name);
297 struct grub2_argv *create_argv(struct grub2_parser *parser)
299 struct grub2_argv *argv = talloc(parser, struct grub2_argv);
300 list_init(&argv->words);
304 void argv_append(struct grub2_argv *argv, struct grub2_word *word)
306 list_add_tail(&argv->words, &word->argv_list);
309 void word_append(struct grub2_word *w1, struct grub2_word *w2)
315 struct grub2_parser *grub2_parser_create(struct discover_context *ctx)
317 struct grub2_parser *parser;
319 parser = talloc(ctx, struct grub2_parser);
320 yylex_init_extra(parser, &parser->scanner);
321 parser->script = create_script(parser, ctx);
326 void grub2_parser_parse(struct grub2_parser *parser, const char *filename,
329 YY_BUFFER_STATE bufstate;
335 parser->script->filename = filename;
337 bufstate = yy_scan_bytes(buf, len - 1, parser->scanner);
338 yyset_lineno(1, parser->scanner);
340 rc = yyparse(parser, parser->scanner);
342 yy_delete_buffer(bufstate, parser->scanner);
345 script_execute(parser->script);