type_check.h File Reference

#include "symboldef.h"

Include dependency graph for type_check.h:

Go to the source code of this file.

Functions
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)

---

Function Documentation

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 )

---