|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
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. |
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.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||