Modifier and Type | Method and Description |
---|---|
boolean |
CompleteModel.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
LambdaType |
CompleteEnvironment.getLambdaType(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteEnvironment.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteEnvironment.getTupleType(String typeName,
Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Method and Description |
---|---|
boolean |
CompleteModelImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
boolean |
CompleteEnvironmentImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
LambdaType |
CompleteModelImpl.getLambdaType(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
LambdaType |
CompleteEnvironmentImpl.getLambdaType(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteModelImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
CompleteEnvironmentImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteModelImpl.getTupleType(String typeName,
Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
TupleType |
CompleteEnvironmentImpl.getTupleType(String typeName,
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(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
CompleteModelInternal.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
CompleteModelInternal.getTupleType(String typeName,
Collection<? extends TypedElement> parts,
TemplateParameterSubstitutions bindings) |
Modifier and Type | Method and Description |
---|---|
LambdaType |
ExecutableStandardLibrary.getLambdaType(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Type |
ExecutableStandardLibrary.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TupleType |
ExecutableStandardLibrary.getTupleType(String typeName,
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.
|
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(String typeName,
Type contextType,
List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
TupleType |
TupleTypeManager.getTupleType(String tupleName,
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 |
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.