TypeCheck_ Class Reference

#include <type_check.hpp>

Public Member Functions
	TypeCheck_ (TypeSymbolTable, VarSymbolTable)
Type	check_expression (AST_Expression t)

Private Member Functions
Type	check_binop (AST_Expression l, AST_Expression r, BinOpType op)
bool	check_equal (Type t1, Type t2)

Private Attributes
TypeSymbolTable	tyEnv
VarSymbolTable	varEnv

Detailed Description

Definition at line 30 of file type_check.hpp.

Constructor & Destructor Documentation

TypeCheck_()

TypeCheck_::TypeCheck_	(	TypeSymbolTable	t,
		VarSymbolTable	v
	)

Parameters

Definition at line 32 of file type_check.cpp.

Member Function Documentation

check_binop()

Type TypeCheck_::check_binop ( AST_Expression  l, AST_Expression  r, BinOpType  op  )

private

Definition at line 51 of file type_check.cpp.

References BINOPADD, BINOPAND, BINOPCOMPEQ, BINOPCOMPNE, BINOPDIV, BINOPELADD, BINOPELDIV, BINOPELEXP, BINOPELMULT, BINOPELSUB, BINOPEXP, BINOPGREATER, BINOPGREATEREQ, BINOPLOWER, BINOPLOWEREQ, BINOPMULT, BINOPOR, BINOPSUB, check_equal(), check_expression(), and T.

Referenced by check_expression().

Here is the call graph for this function:

check_equal()

bool TypeCheck_::check_equal ( Type  t1, Type  t2  )

private

Definition at line 34 of file type_check.cpp.

References T.

Referenced by check_binop(), and check_expression().

check_expression()

Type TypeCheck_::check_expression

(

AST_Expression

t

)

Parameters

t

Returns

Definition at line 88 of file type_check.cpp.

References check_binop(), check_equal(), EXPBINOP, EXPBOOLEAN, EXPBOOLEANNOT, EXPCALL, EXPCOMPREF, EXPDERIVATIVE, EXPIF, EXPINTEGER, EXPOUTPUT, EXPREAL, EXPSTRING, EXPUMINUS, T, toStr, TYARRAY, and varEnv.

Referenced by check_binop().

Here is the call graph for this function:

Member Data Documentation

tyEnv

TypeSymbolTable TypeCheck_::tyEnv

private

Definition at line 63 of file type_check.hpp.

varEnv

VarSymbolTable TypeCheck_::varEnv

private

Definition at line 64 of file type_check.hpp.

Referenced by check_expression().

---

The documentation for this class was generated from the following files:

• util/type_check.hpp
• util/type_check.cpp