See: Description
| Interface | Description |
|---|---|
| ITypeChecker |
A type checker traverses an AST and assigns a data type to every node.
|
| ITypeMapping |
A mapping from model elements to types.
|
| Class | Description |
|---|---|
| ActionTypeChecker |
An extension of the type checker for the action language.
|
| ConstraintTypeChecker |
Default type checker implementation.
|
| DefaultTypeMappingFactory |
Load the default type mapping, which is shipped in the NRL parser JAR.
|
| 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.
|
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.
Copyright © 2006-2013. All Rights Reserved.