NAME

languages/cola/semant.c

DESCRIPTION

Semantic and type checking phase.

Functions

void build_ast(AST *tree)

Walk the AST tree and resolve symbol types.

1) Resolve identifiers to symbol table references =item 2) Resolve typenames to type references =item 3) Check for invalid assignments and operations

void build_class_decl(AST *c)

TODO: Not yet documented!!!

void build_class_body(AST *b)

TODO: Not yet documented!!!

void build_field_decl(AST *d)

A class field declaration

void build_method_decl(AST *m)

A class method declaration

void build_var_decl(AST *d)

A block or method local variable declaration

void build_if(AST *i)

TODO: Not yet documented!!!

void build_conditional(AST *c)

TODO: Not yet documented!!!

void build_method_call(AST *c)

TODO: Not yet documented!!!

void build_new_expr(AST *n)

TODO: Not yet documented!!!

void build_loop(AST *l)

TODO: Not yet documented!!!

void build_return(AST *r)

TODO: Not yet documented!!!

void build_expr_list(AST *e)

TODO: Not yet documented!!!

void build_expr(AST *e)

TODO: Not yet documented!!!

void build_statement_list(AST *s)

TODO: Not yet documented!!!