Package org.eclipse.viatra.query.patternlanguage.emf.types
-
Interface Summary 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 Summary 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