blob: 3dbce29fa83942f92e3c75f7ba2e6113332e2bb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#ifndef EVALUATE_H
#define EVALUATE_H
struct expression;
struct expression_list;
struct statement;
struct symbol;
struct symbol_list;
///
// evaluate the type of an expression
// @expr: the expression to be evaluated
// @return: the type of the expression or ``NULL``
// if the expression can't be evaluated
struct symbol *evaluate_expression(struct expression *expr);
///
// evaluate the type of a statement
// @stmt: the statement to be evaluated
// @return: the type of the statement or ``NULL``
// if it can't be evaluated
struct symbol *evaluate_statement(struct statement *stmt);
///
// evaluate the type of a set of symbols
// @list: the list of the symbol to be evaluated
void evaluate_symbol_list(struct symbol_list *list);
///
// evaluate the arguments of a function
// @fn: the symbol of the prototype
// @argtypes: the list of the types in the prototype
// @args: the list of the effective arguments
int evaluate_arguments(struct symbol *fn, struct symbol_list *argtypes, struct expression_list *args);
///
// check if assignment types are compatible
// @target: the type of the right-hand side
// @rp: the expression corresponding to the left-hand side
// @typediff: a pointer for details about the type difference, if any
// @return: a non-zero value of the types are compatible, 0 otherwise
int check_assignment_types(struct symbol *target, struct expression **rp, const char **typediff);
#endif
|
