TypeCheck Class Reference

Inheritance diagram for TypeCheck:

Classes
class	AssignActionArgTypes
class	AssignInitialTypes
class	InferActionArgsBottomUp
class	InferActionArgsTopDown
class	InferExpressionsBottomUp
	Bottom up type inferencing – set the types of expression nodes based on operands. More...
class	InferExpressionsTopDown
	Top down type inferencing – set the type of expression nodes based on their uses. More...
class	MakeImplicitCastsExplicit

Public Member Functions
const IR::Node *	apply_visitor (const IR::Node *, const char *) override