X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast_t.h;h=fb677084c604851ad396616d3ed56d7dac4c9075;hb=3486fabdf20fb345ac0b0098071c0cfc56005568;hp=61c6c7800ba2c21d894a6a86ee32c5a6445c3db9;hpb=eb596cbe81cdddc1b68ed70ee927dc6037d2ef3c;p=cparser diff --git a/ast_t.h b/ast_t.h index 61c6c78..fb67708 100644 --- a/ast_t.h +++ b/ast_t.h @@ -20,8 +20,19 @@ typedef enum { EXPR_SELECT, EXPR_ARRAY_ACCESS, EXPR_SIZEOF, + + EXPR_FUNCTION, + EXPR_PRETTY_FUNCTION, + EXPR_STATEMENT } expresion_type_t; +struct context_t { + declaration_t *declarations; + compound_type_t *structs; + compound_type_t *unions; + enum_type_t *enums; +}; + struct expression_t { expresion_type_t type; type_t *datatype; @@ -39,9 +50,9 @@ struct string_literal_t { }; struct reference_expression_t { - expression_t expression; - symbol_t *symbol; - declaration_t *declaration; + expression_t expression; + symbol_t *symbol; + declaration_t *declaration; }; struct call_argument_t { @@ -106,7 +117,8 @@ typedef enum { BINEXPR_SHIFTRIGHT_ASSIGN, BINEXPR_BITWISE_AND_ASSIGN, BINEXPR_BITWISE_XOR_ASSIGN, - BINEXPR_BITWISE_OR_ASSIGN + BINEXPR_BITWISE_OR_ASSIGN, + BINEXPR_COMMA } binary_expression_type_t; struct binary_expression_t { @@ -117,11 +129,11 @@ struct binary_expression_t { }; struct select_expression_t { - expression_t expression; - expression_t *compound; - symbol_t *symbol; + expression_t expression; + expression_t *compound; + symbol_t *symbol; - compound_entry_t *compound_entry; + declaration_t *compound_entry; }; struct array_access_expression_t { @@ -133,6 +145,7 @@ struct array_access_expression_t { struct sizeof_expression_t { expression_t expression; type_t *type; + expression_t *size_expression; }; struct conditional_expression_t { @@ -142,14 +155,9 @@ struct conditional_expression_t { expression_t *false_expression; }; -struct expression_list_element_t { - expression_t *expression; - expression_t *next; -}; - -struct comma_expression_t { - expression_t expression; - expression_list_element_t *expressions; +struct statement_expression_t { + expression_t expression; + statement_t *statement; }; typedef enum { @@ -158,34 +166,38 @@ typedef enum { STORAGE_CLASS_EXTERN, STORAGE_CLASS_STATIC, STORAGE_CLASS_AUTO, - STORAGE_CLASS_REGISTER + STORAGE_CLASS_REGISTER, + STORAGE_CLASS_ENUM_ENTRY } storage_class_t; -struct method_parameter_t { - method_parameter_t *next; - symbol_t *symbol; - type_t *type; - int num; -}; - struct declaration_t { storage_class_t storage_class; type_t *type; symbol_t *symbol; - method_parameter_t *parameters; statement_t *statement; + expression_t *initializer; source_position_t source_position; + context_t context; + + declaration_t *next; }; typedef enum { STATEMENT_INVALID, - STATEMENT_BLOCK, + STATEMENT_COMPOUND, STATEMENT_RETURN, STATEMENT_DECLARATION, STATEMENT_IF, + STATEMENT_SWITCH, STATEMENT_EXPRESSION, + STATEMENT_CONTINUE, + STATEMENT_BREAK, STATEMENT_GOTO, - STATEMENT_LABEL + STATEMENT_LABEL, + STATEMENT_CASE_LABEL, + STATEMENT_WHILE, + STATEMENT_DO_WHILE, + STATEMENT_FOR } statement_type_t; struct statement_t { @@ -199,14 +211,16 @@ struct return_statement_t { expression_t *return_value; }; -struct block_statement_t { +struct compound_statement_t { statement_t statement; - statement_t *first_statement; + statement_t *statements; + context_t context; }; struct declaration_statement_t { statement_t statement; - declaration_t declaration; + declaration_t *declarations_begin; + declaration_t *declarations_end; int value_number; /**< filled in by semantic phase */ int refs; @@ -219,12 +233,23 @@ struct if_statement_t { statement_t *false_statement; }; +struct switch_statement_t { + statement_t statement; + expression_t *expression; + statement_t *body; +}; + struct goto_statement_t { statement_t statement; symbol_t *label_symbol; label_statement_t *label; }; +struct case_label_statement_t { + statement_t statement; + expression_t *expression; +}; + struct label_statement_t { statement_t statement; symbol_t *symbol; @@ -235,13 +260,29 @@ struct expression_statement_t { expression_t *expression; }; -struct unit_entry_t { - declaration_t declaration; - unit_entry_t *next; +struct while_statement_t { + statement_t statement; + expression_t *condition; + statement_t *body; +}; + +struct do_while_statement_t { + statement_t statement; + expression_t *condition; + statement_t *body; +}; + +struct for_statement_t { + statement_t statement; + expression_t *initialisation; + expression_t *condition; + expression_t *step; + statement_t *body; + context_t context; }; struct translation_unit_t { - unit_entry_t *entries; + context_t context; }; static inline