Interface | Description |
---|---|
ITypeInferrer |
The type inferrer calculates the types of variables and variable references of the pattern model.
|
ITypeSystem |
A type system represents the types (classes, or references) provided by a modeling backend.
|
Class | Description |
---|---|
AbstractTypeInferrer | |
AbstractTypeSystem | |
BottomTypeKey |
A type key representing an erroneous type, e.g.
|
EMFPatternLanguageTypeRules | |
EMFTypeInferrer | |
EMFTypeSystem | |
PatternLanguageTypeRules | |
TypeInformation |
This class is used to store type information for selected patterns
|