Package Semantic

The semantic analysis phase (type load, type definition, symbol identification and type inference). More...

Namespaces
package	SSAAlgorithm
	To transform the AST to a Single Static Assignment AST representation.

Classes
class	VisitorSymbolIdentification
	This class visits the AST to assign symbol information to identifier expression. More...
class	VisitorTypeDefinition
	This class visits the AST to store the type of each declaration. Includes methods, fields and inheritance. More...
class	VisitorTypeInference
	This class visits the AST to make the type inference of all expressiones in the source code. More...
class	VisitorTypeLoad
	This class visits the AST to store the type of each defined class or inteface. More...

Detailed Description

The semantic analysis phase (type load, type definition, symbol identification and type inference).