Modifier and Type | Method and Description |
---|---|
boolean |
CompleteModel.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
LambdaType |
CompleteEnvironment.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteEnvironment.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteEnvironment.getTupleType(java.lang.String typeName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Method and Description |
---|---|
boolean |
CompleteEnvironmentImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
boolean |
CompleteModelImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
protected boolean |
CompleteEnvironmentImpl.conformsToCollectionType(CollectionType firstType,
TemplateParameterSubstitutions firstSubstitutions,
CollectionType secondType,
TemplateParameterSubstitutions secondSubstitutions) |
protected boolean |
CompleteEnvironmentImpl.conformsToLambdaType(LambdaType actualType,
TemplateParameterSubstitutions actualSubstitutions,
LambdaType requiredType,
TemplateParameterSubstitutions requiredSubstitutions) |
protected boolean |
CompleteEnvironmentImpl.conformsToMapType(MapType firstType,
TemplateParameterSubstitutions firstSubstitutions,
MapType secondType,
TemplateParameterSubstitutions secondSubstitutions) |
protected boolean |
CompleteEnvironmentImpl.conformsToTupleType(TupleType actualType,
TemplateParameterSubstitutions actualSubstitutions,
TupleType requiredType,
TemplateParameterSubstitutions requiredSubstitutions) |
LambdaType |
CompleteEnvironmentImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
LambdaType |
CompleteModelImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteEnvironmentImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
CompleteModelImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteEnvironmentImpl.getTupleType(java.lang.String typeName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
TupleType |
CompleteModelImpl.getTupleType(java.lang.String typeName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Method and Description |
---|---|
boolean |
CompleteEnvironmentInternal.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
LambdaType |
CompleteModelInternal.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteModelInternal.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteModelInternal.getTupleType(java.lang.String typeName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Method and Description |
---|---|
LambdaType |
ExecutableStandardLibrary.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
ExecutableStandardLibrary.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
ExecutableStandardLibrary.getTupleType(java.lang.String typeName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Class and Description |
---|---|
class |
TemplateParameterSubstitutionVisitor
A TemplateParameterSubstitutionVisitor traverses a CallExp to identify the formal/actual TemplateParameterSubstitutions
associated with that CallExp.
|
protected static class |
TupleTypeManager.TemplateParameterReferencesVisitor
The TemplateParameterReferencesVisitor remembers the formal TemplateParameter for re-uyse during Tuple instantiation.
|
Modifier and Type | Method and Description |
---|---|
static TemplateParameterSubstitutions |
TemplateParameterSubstitutionVisitor.createBindings(EnvironmentFactoryInternal environmentFactory,
Type formalType,
Type actualType) |
static TemplateParameterSubstitutions |
TemplateParameterSubstitutionVisitor.createBindings(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue,
Operation candidateOperation) |
Modifier and Type | Method and Description |
---|---|
int |
PivotMetamodelManager.compareOperationMatches(Operation reference,
TemplateParameterSubstitutions referenceBindings,
Operation candidate,
TemplateParameterSubstitutions candidateBindings)
Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or
zero if both matches are of equal validity.
|
boolean |
MetamodelManagerInternal.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
boolean |
PivotMetamodelManager.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
Type |
TupleTypeManager.getCommonType(TupleType leftType,
TemplateParameterSubstitutions leftSubstitutions,
TupleType rightType,
TemplateParameterSubstitutions rightSubstitutions) |
Type |
PivotMetamodelManager.getCommonType(Type leftType,
TemplateParameterSubstitutions leftSubstitutions,
Type rightType,
TemplateParameterSubstitutions rightSubstitutions) |
LambdaType |
LambdaTypeManager.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
TupleType |
TupleTypeManager.getTupleType(java.lang.String tupleName,
java.util.Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions usageBindings) |
TupleType |
TupleTypeManager.getTupleType(TupleType type,
TemplateParameterSubstitutions usageBindings) |
Modifier and Type | Class and Description |
---|---|
class |
PivotTemplateParameterSubstitutionVisitor |
Modifier and Type | Class and Description |
---|---|
static class |
TemplateParameterSubstitutions.Empty |
Modifier and Type | Field and Description |
---|---|
static TemplateParameterSubstitutions |
TemplateParameterSubstitutions.EMPTY |
Modifier and Type | Method and Description |
---|---|
protected TemplateParameterSubstitutions |
AbstractOperationMatcher.matches(Operation candidateOperation,
boolean useCoercions) |
Modifier and Type | Method and Description |
---|---|
protected int |
AbstractOperationMatcher.compareMatches(java.lang.Object match1,
TemplateParameterSubstitutions referenceBindings,
java.lang.Object match2,
TemplateParameterSubstitutions candidateBindings,
boolean useCoercions) |