- add empty and invalid statements
[cparser] / ast.h
1 /*
2  * This file is part of cparser.
3  * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
4  *
5  * This program is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU General Public License
7  * as published by the Free Software Foundation; either version 2
8  * of the License, or (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with this program; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
18  * 02111-1307, USA.
19  */
20 #ifndef AST_H
21 #define AST_H
22
23 #include <stdio.h>
24 #include <stdbool.h>
25
26 typedef struct scope_t                          scope_t;
27
28 typedef struct expression_base_t                expression_base_t;
29 typedef struct const_expression_t               const_expression_t;
30 typedef struct string_literal_expression_t      string_literal_expression_t;
31 typedef struct wide_string_literal_expression_t wide_string_literal_expression_t;
32 typedef struct compound_literal_expression_t    compound_literal_expression_t;
33 typedef struct reference_expression_t           reference_expression_t;
34 typedef struct cast_expression_t                cast_expression_t;
35 typedef struct call_argument_t                  call_argument_t;
36 typedef struct type_argument_t                  type_argument_t;
37 typedef struct call_expression_t                call_expression_t;
38 typedef struct binary_expression_t              binary_expression_t;
39 typedef struct unary_expression_t               unary_expression_t;
40 typedef struct select_expression_t              select_expression_t;
41 typedef struct array_access_expression_t        array_access_expression_t;
42 typedef struct typeprop_expression_t            typeprop_expression_t;
43 typedef struct conditional_expression_t         conditional_expression_t;
44 typedef struct expression_list_element_t        expression_list_element_t;
45 typedef struct comma_expression_t               comma_expression_t;
46 typedef struct statement_expression_t           statement_expression_t;
47 typedef struct designator_t                     designator_t;
48 typedef struct offsetof_expression_t            offsetof_expression_t;
49 typedef struct va_start_expression_t            va_start_expression_t;
50 typedef struct va_arg_expression_t              va_arg_expression_t;
51 typedef struct builtin_symbol_expression_t      builtin_symbol_expression_t;
52 typedef struct builtin_constant_expression_t    builtin_constant_expression_t;
53 typedef struct builtin_prefetch_expression_t    builtin_prefetch_expression_t;
54 typedef struct classify_type_expression_t       classify_type_expression_t;
55 typedef struct bitfield_extract_expression_t    bitfield_extract_expression_t;
56 typedef union  expression_t                     expression_t;
57
58 typedef struct initializer_base_t           initializer_base_t;
59 typedef struct initializer_list_t           initializer_list_t;
60 typedef struct initializer_value_t          initializer_value_t;
61 typedef struct initializer_string_t         initializer_string_t;
62 typedef struct initializer_wide_string_t    initializer_wide_string_t;
63 typedef struct initializer_designator_t     initializer_designator_t;
64 typedef union  initializer_t                initializer_t;
65
66 typedef struct declaration_t                declaration_t;
67
68 typedef struct statement_base_t             statement_base_t;
69 typedef struct invalid_statement_t          invalid_statement_t;
70 typedef struct empty_statement_t            empty_statement_t;
71 typedef struct compound_statement_t         compound_statement_t;
72 typedef struct return_statement_t           return_statement_t;
73 typedef struct if_statement_t               if_statement_t;
74 typedef struct switch_statement_t           switch_statement_t;
75 typedef struct declaration_statement_t      declaration_statement_t;
76 typedef struct expression_statement_t       expression_statement_t;
77 typedef struct goto_statement_t             goto_statement_t;
78 typedef struct label_statement_t            label_statement_t;
79 typedef struct case_label_statement_t       case_label_statement_t;
80 typedef struct while_statement_t            while_statement_t;
81 typedef struct do_while_statement_t         do_while_statement_t;
82 typedef struct for_statement_t              for_statement_t;
83 typedef struct asm_constraint_t             asm_constraint_t;
84 typedef struct asm_clobber_t                asm_clobber_t;
85 typedef struct asm_statement_t              asm_statement_t;
86 typedef union  statement_t                  statement_t;
87
88 typedef struct translation_unit_t           translation_unit_t;
89
90 void  init_ast(void);
91 void  exit_ast(void);
92
93 void  ast_set_output(FILE *out);
94 void  print_expression(const expression_t *expression);
95 void  print_initializer(const initializer_t *initializer);
96 void  print_ast(const translation_unit_t *unit);
97 void  print_indent(void);
98 void  print_declaration(const declaration_t *declaration);
99 void  change_indent(int delta);
100 void *allocate_ast(size_t size);
101
102 /**
103  * Returns true if a given expression is a compile time
104  * constant.
105  *
106  * @param expression  the expression to check
107  */
108 bool is_constant_initializer(const initializer_t *initializer);
109
110 /**
111  * Returns true if a given expression is a compile time
112  * constant.
113  *
114  * @param expression  the expression to check
115  */
116 bool is_constant_expression(const expression_t *expression);
117
118 bool is_address_constant(const expression_t *expression);
119
120 long fold_constant(const expression_t *expression);
121
122 #endif