| 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
|