public class BasicTypeChecker<C,O,P,PM> extends AbstractTypeChecker<C,O,P,PM>
TypeChecker.Cached<C,O,P>
Constructor and Description |
---|
BasicTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env) |
Modifier and Type | Method and Description |
---|---|
protected C |
resolve(C type)
Resolves the specified template of a demand-created type to one that is
already defined in the current environment, or else a new one or even the
given type (which would usually then be added to the environment).
|
protected CollectionType<C,O> |
resolveCollectionType(CollectionKind kind,
C elementType)
Resolves the specified collection type to a collection type already
available in the current environment, or else a new one.
|
protected TupleType<O,P> |
resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves the specified signature of tuple parts to a tuple type already
available in the current environment, or else a new one.
|
checkMutuallyComparable, commonSuperType, commonSuperType, compatibleTypeMatch, exactTypeMatch, findAttribute, findOperationMatching, findSignalMatching, getAttributes, getBestMatchingOperations, getEnvironment, getOCLFactory, getOperations, getPropertyType, getRelationship, getRelationship, getResultType, getUMLReflection, isStandardLibraryFeature, matchArgs, matchArgsWithExactitude, resolveGenericSignature, resolveGenericType
public BasicTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env)
protected C resolve(C type)
AbstractTypeChecker
protected CollectionType<C,O> resolveCollectionType(CollectionKind kind, C elementType)
AbstractTypeChecker
resolveCollectionType
in class AbstractTypeChecker<C,O,P,PM>
kind
- the kind of collection type to obtainelementType
- the element type of the requisite collection typeprotected TupleType<O,P> resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
AbstractTypeChecker
resolveTupleType
in class AbstractTypeChecker<C,O,P,PM>
parts
- specification of the tuple type signature