Make a function call point an expression type of its own, and
[smatch.git] / parse.h
blob6909efe8216313b8ec8322794f3d6913dd9ea809
1 #ifndef PARSE_H
2 #define PARSE_H
3 /*
4 * Basic parsing data structures. Statements and symbols.
6 * Copyright (C) 2003 Linus Torvalds, all rights reserved.
7 */
9 #include "symbol.h"
11 enum statement_type {
12 STMT_NONE,
13 STMT_EXPRESSION,
14 STMT_COMPOUND,
15 STMT_IF,
16 STMT_RETURN,
17 STMT_BREAK,
18 STMT_CONTINUE,
19 STMT_CASE,
20 STMT_SWITCH,
21 STMT_ITERATOR,
22 STMT_LABEL,
23 STMT_GOTO,
24 STMT_ASM,
27 struct statement {
28 enum statement_type type;
29 struct token *token;
30 struct statement *next;
31 union {
32 struct label_arg {
33 struct token *label;
34 struct statement *label_statement;
36 struct expression *expression;
37 struct if_statement {
38 struct expression *if_conditional;
39 struct statement *if_true;
40 struct statement *if_false;
42 struct compound_struct {
43 struct symbol_list *syms;
44 struct statement_list *stmts;
46 struct labeled_struct {
47 struct token *label_identifier;
48 struct statement *label_statement;
50 struct case_struct {
51 struct expression *case_expression;
52 struct expression *case_to;
53 struct statement *case_statement;
55 struct switch_struct {
56 struct expression *switch_expression;
57 struct statement *switch_statement;
59 struct iterator_struct {
60 struct statement *iterator_pre_statement;
61 struct expression *iterator_pre_condition;
63 struct statement *iterator_statement;
65 struct statement *iterator_post_statement;
66 struct expression *iterator_post_condition;
68 struct goto_struct {
69 struct token *goto_label;
70 struct expression *goto_expression;
75 extern struct token *parse_expression(struct token *, struct expression **);
76 extern struct token *statement_list(struct token *, struct statement_list **);
78 extern void show_statement(struct statement *);
79 extern void show_statement_list(struct statement_list *, const char *);
80 extern void show_expression(struct expression *);
81 extern void translation_unit(struct token *, struct symbol_list **);
83 extern struct symbol *ctype_integer(unsigned int spec);
84 extern struct symbol *ctype_fp(unsigned int spec);
86 #endif /* PARSE_H */