Package net.sourceforge.nrl.parser.type

Abstract type assignment and type checking for the completed AST.

See:
Description

Interface Summary

ITypeChecker	A type checker traverses an AST and assigns a data type to every node.
ITypeMapping	A mapping from model elements to types.

Class Summary

ActionTypeChecker	An extension of the type checker for the action language.
ConstraintTypeChecker	Default type checker implementation.
TypeMapping	A default type mapping implementation.
TypeMappingEntry	An entry for the TypeMapping class.
XmlTypeMapping	A type mapping that can be loaded from and saved to an XML file.

Package net.sourceforge.nrl.parser.type Description

Abstract type assignment and type checking for the completed AST. The classes in this package work with the ast package to assign data types once the AST is loaded and has model information associated with it.

The TypeChecker class performs as a recursive visitor that assigns types from the bottom up. It makes use of an ITypeMapping to map model elements to primitive types where necessary.