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 ()
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)
Variables
symboltable *	Clib_functions
symboltable *	basic_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

---