src/typecheck.h File Reference

Performs typechecking on source. More...

#include "scope.h"

Go to the source code of this file.

Classes
class	ClassType
	Manages type information for a class. More...
struct	check_context
	Context information used for typechecking. More...
class	DeclReg
	Closure object used to register a declaration. More...
class	ClassReg
	Used for classes. More...
class	ScopeReg
	Used for methods and functions. More...
class	ContainerReg
	Used for structs and unions. More...
class	SymTableReg
	Used for structs and unions. More...
class	FormalReg
	Registers function formals at definition. More...
class	FormalWrapReg
	Wraps the formal reg in formal ASTNode. More...
class	NullReg
	Nop, for abstract declarators. More...
class	ASTNode(TypeCheck)
Variables
SymTable *	classEnv
	This is a symbol table of all the classes that are defined.

---

Detailed Description

Performs typechecking on source.

The TypeCheck categories provides methods to perform typechecking and type synthesis.

---

Variable Documentation

SymTable* classEnv

This is a symbol table of all the classes that are defined.

Specifically, this holds objects of type ClassType. ClassType also has a SymTable which has it's respective fields in that.

---