docs: reworked parser header to fully comply with the given grammar and added a language representation for each parse_* function

This commit is contained in:
Gu://em_ 2026-01-17 16:40:53 +01:00
parent 1fc54e2bf3
commit 346ad17e26
2 changed files with 73 additions and 22 deletions

View file

@ -47,6 +47,11 @@ static bool is_end_of_list(struct token *token)
// === Functions // === Functions
struct ast *parse_input(void)
{
return parse_list();
}
/* Parses a simple list of words (command and arguments) /* Parses a simple list of words (command and arguments)
* and returns the resulting ast * and returns the resulting ast
*/ */
@ -55,7 +60,7 @@ struct ast *parse_simple_command(void)
struct list *command_elements = NULL; struct list *command_elements = NULL;
struct token *token = PEEK_TOKEN(); struct token *token = PEEK_TOKEN();
while (!isterminator(token)) while (token->type == TOKEN_WORD)
{ {
token = POP_TOKEN(); token = POP_TOKEN();
command_elements = list_append(command_elements, token->data); command_elements = list_append(command_elements, token->data);

View file

@ -19,33 +19,79 @@
return NULL; \ return NULL; \
} }
/* @brief: parses a list of [and_or] rules, separated by semicolons. /* @brief Acts as the entry point of the parser, calls parse_list
*/
struct ast* parse_input(void);
/* @brief: parses a list of [and_or] rules separated by semicolons and that
* ends by a newline
*
* @code input = list '\n'
* | list EOF
* | '\n'
* | EOF
* ;
*/ */
struct ast *parse_list(void); struct ast *parse_list(void);
/* @brief Parses a simple list of words (command and arguments) /* @brief Only parses a pipeline rule for the moment
* and returns the resulting ast *
*/ * @code and_or = pipeline ;
struct ast *parse_simple_command(void);
/*
*/
struct ast *parse_if_rule(void);
/*
*/
struct ast *parse_shell_command(void);
/* @brief parses commands inside if/else clauses and returns the corresponding
* AST list
*/
struct ast* parse_compound_list(void);
/*
*/ */
struct ast* parse_and_or(void); struct ast* parse_and_or(void);
/* /* @brief Only parses a command rule for the moment
*
* @code pipeline = command ;
*/
struct ast* parse_pipeline(void);
/* @brief Parses a simple command rule or a shell command rule depending on
* the first token.
* @note
* TOKEN_WORD => simple_command
* TOKEN_IF => shell_command
*
* @code command = simple_command
* | shell_command
* ;
*/
struct ast* parse_command(void);
/* @brief Parses a simple list of words (command and arguments)
* ending by a separator
*
* @code simple_command = WORD { element } ;
*/
struct ast *parse_simple_command(void);
/* @brief Only parses if rules for the moment
*
* @code shell_command = if_rule ;
*/
struct ast *parse_shell_command(void);
/* @brief Parses a if rule (condition, then-clause, elif-clause, else-clause)
*
* @code if_rule = 'if' compound_list 'then' compound_list [else_clause] 'fi' ;
*/
struct ast *parse_if_rule(void);
/* @brief parses commands inside if/else clauses and returns the corresponding
* AST list
*
* @code compound_list = {'\n'} and_or { ( ';' | '\n' ) {'\n'} and_or } [';'] {'\n'} ;
*/
struct ast* parse_compound_list(void);
/* @brief
*
* @code else_clause = 'else' compound_list
* | 'elif' compound_list 'then' compound_list [else_clause]
* ;
*/ */
struct ast* parse_else_clause(void); struct ast* parse_else_clause(void);