type_check.c File Reference

#include <string.h>
#include "type_check.h"
#include "ptree.h"
#include "parse.h"
#include "symboldef.h"
#include "standardtypes.h"
#include "util.h"
#include "subtype.h"

Include dependency graph for type_check.c:


Functions

char * g_tokstr ()
typextc_expr ()
typexroottype (typex *tp)
typextc_var (parsex *var)
typextc_atomic (parsex *at_expr)
typextc_send (parsex *send_expr)
typextc_func_call (parsex *func_call)
typextc_block (parsex *block_expr)
typextc_blockt (parsex *blockt_expr)
typextc_if (parsex *if_expr, bool break_ok, bool return_ok, bool reply_ok)
typextc_for (parsex *for_expr, bool return_ok, bool reply_ok)
typextc_while (parsex *while_expr, bool return_ok, bool reply_ok)
void tc_labels (parsex *labels, typex *sw_type, bool *with_default)
typextc_choices (parsex *choices, typex *sw_type, bool *with_default, bool return_ok, bool reply_ok)
typextc_switch (parsex *sw_expr, bool return_ok, bool reply_ok)
typextc_expr (parsex *expr, bool break_ok, bool return_ok, bool reply_ok)
void tc_var_inits (symboltable *variables)
void tc_func_meth (symboltable *func_meths)
void type_check (symboltable *classes, symboltable *functions, symboltable *variables)

Variables

symboltableClib_functions
symboltablebasic_types
int max_meth

Function Documentation

char* g_tokstr  ) 
 

typex* tc_expr  ) 
 

typex* roottype typex tp  ) 
 

typex* tc_var parsex var  ) 
 

typex* tc_atomic parsex at_expr  ) 
 

typex* tc_send parsex send_expr  ) 
 

typex* tc_func_call parsex func_call  ) 
 

typex* tc_block parsex block_expr  ) 
 

typex* tc_blockt parsex blockt_expr  ) 
 

typex* tc_if parsex if_expr,
bool  break_ok,
bool  return_ok,
bool  reply_ok
 

typex* tc_for parsex for_expr,
bool  return_ok,
bool  reply_ok
 

typex* tc_while parsex while_expr,
bool  return_ok,
bool  reply_ok
 

void tc_labels parsex labels,
typex sw_type,
bool with_default
 

typex* tc_choices parsex choices,
typex sw_type,
bool with_default,
bool  return_ok,
bool  reply_ok
 

typex* tc_switch parsex sw_expr,
bool  return_ok,
bool  reply_ok
 

typex* tc_expr parsex expr,
bool  break_ok,
bool  return_ok,
bool  reply_ok
 

void tc_var_inits symboltable variables  ) 
 

void tc_func_meth symboltable func_meths  ) 
 

void type_check symboltable classes,
symboltable functions,
symboltable variables
 


Variable Documentation

symboltable* Clib_functions
 

symboltable* basic_types
 

int max_meth
 


Generated on Wed Apr 5 21:02:50 2006 for Sesame by  doxygen 1.4.6