#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