Modifier and Type | Interface and Description |
---|---|
interface |
AnyType
A representation of the model object 'Any Type'.
|
interface |
AssociationClass
A representation of the model object 'Association Class'.
|
interface |
BagType
A representation of the model object 'Bag Type'.
|
interface |
Behavior
A representation of the model object 'Behavior'.
|
interface |
Class
A representation of the model object 'Class'.
|
interface |
CollectionType
A representation of the model object 'Collection Type'.
|
interface |
DataType
A representation of the model object 'Data Type'.
|
interface |
DynamicType
A representation of the model object 'Dynamic Type'.
|
interface |
ElementExtension
A representation of the model object 'Applied Stereotype'.
|
interface |
Enumeration
A representation of the model object 'Enumeration'.
|
interface |
ExpressionInOCL
A representation of the model object 'Expression In Ocl'.
|
interface |
InvalidType
A representation of the model object 'Invalid Type'.
|
interface |
Iteration
A representation of the model object 'Iteration'.
|
interface |
LambdaType
A representation of the model object 'Lambda Type'.
|
interface |
MessageType
A representation of the model object 'Message Type'.
|
interface |
Metaclass
A representation of the model object 'Classifier Type'.
|
interface |
OpaqueExpression
A representation of the model object 'Opaque Expression'.
|
interface |
Operation
A representation of the model object 'Operation'.
|
interface |
OrderedSetType
A representation of the model object 'Ordered Set Type'.
|
interface |
PackageableElement
A representation of the model object 'Packageable Element'.
|
interface |
PrimitiveType
A representation of the model object 'Primitive Type'.
|
interface |
Property
A representation of the model object 'Property'.
|
interface |
SelfType
A representation of the model object 'Self Type'.
|
interface |
SequenceType
A representation of the model object 'Sequence Type'.
|
interface |
SetType
A representation of the model object 'Set Type'.
|
interface |
StateMachine
A representation of the model object 'State Machine'.
|
interface |
Stereotype
A representation of the model object 'Stereotype'.
|
interface |
TemplateParameterType
A representation of the model object 'Template Parameter Type'.
|
interface |
TupleType
A representation of the model object 'Tuple Type'.
|
interface |
Type
A representation of the model object 'Type'.
|
interface |
UnspecifiedType
A representation of the model object 'Unspecified Type'.
|
interface |
ValueSpecification
A representation of the model object 'Value Specification'.
|
interface |
VoidType
A representation of the model object 'Void Type'.
|
Modifier and Type | Method and Description |
---|---|
ParameterableElement |
TemplateParameterSubstitution.createOwnedActual(org.eclipse.emf.ecore.EClass eClass)
Creates a new
ParameterableElement and sets the 'Owned Actual' containment reference. |
ParameterableElement |
TemplateParameter.createOwnedDefault(org.eclipse.emf.ecore.EClass eClass)
Creates a new
ParameterableElement and sets the 'Owned Default' containment reference. |
ParameterableElement |
TemplateParameter.createOwnedParameteredElement(org.eclipse.emf.ecore.EClass eClass)
Creates a new
ParameterableElement and sets the 'Owned Parametered Element' containment reference. |
ParameterableElement |
TemplateParameterSubstitution.getActual()
Returns the value of the 'Actual' reference.
|
ParameterableElement |
TemplateParameter.getDefault()
Returns the value of the 'Default' reference.
|
ParameterableElement |
TemplateParameterSubstitution.getOwnedActual()
Returns the value of the 'Owned Actual' containment reference.
|
ParameterableElement |
TemplateParameter.getOwnedDefault()
Returns the value of the 'Owned Default' containment reference.
|
ParameterableElement |
TemplateParameter.getOwnedParameteredElement()
Returns the value of the 'Owned Parametered Element' containment reference.
|
ParameterableElement |
TemplateParameter.getParameteredElement()
Returns the value of the 'Parametered Element' reference.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<ParameterableElement> |
TemplateableElement.parameterableElements()
The query parameterableElements() returns the set of elements that may be used as the parametered elements for a template parameter of this templateable element.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ParameterableElement.isCompatibleWith(ParameterableElement p) |
void |
TemplateParameterSubstitution.setActual(ParameterableElement value)
Sets the value of the '
Actual ' reference. |
void |
TemplateParameter.setDefault(ParameterableElement value)
Sets the value of the '
Default ' reference. |
void |
TemplateParameterSubstitution.setOwnedActual(ParameterableElement value)
Sets the value of the '
Owned Actual ' containment reference. |
void |
TemplateParameter.setOwnedDefault(ParameterableElement value)
Sets the value of the '
Owned Default ' containment reference. |
void |
TemplateParameter.setOwnedParameteredElement(ParameterableElement value)
Sets the value of the '
Owned Parametered Element ' containment reference. |
void |
TemplateParameter.setParameteredElement(ParameterableElement value)
Sets the value of the '
Parametered Element ' reference. |
Modifier and Type | Class and Description |
---|---|
class |
AnyTypeImpl
An implementation of the model object 'Any Type'.
|
class |
AssociationClassImpl
An implementation of the model object 'Association Class'.
|
class |
BagTypeImpl
An implementation of the model object 'Bag Type'.
|
class |
BehaviorImpl
An implementation of the model object 'Behavior'.
|
class |
ClassImpl
An implementation of the model object 'Class'.
|
class |
CollectionTypeImpl
An implementation of the model object 'Collection Type'.
|
class |
DataTypeImpl
An implementation of the model object 'Data Type'.
|
class |
DynamicTypeImpl
An implementation of the model object 'Dynamic Type'.
|
class |
ElementExtensionImpl
An implementation of the model object 'Applied Stereotype'.
|
class |
EnumerationImpl
An implementation of the model object 'Enumeration'.
|
class |
ExpressionInOCLImpl
An implementation of the model object 'Expression In Ocl'.
|
class |
InvalidTypeImpl
An implementation of the model object 'Invalid Type'.
|
class |
IterationImpl
An implementation of the model object 'Iteration'.
|
class |
LambdaTypeImpl
An implementation of the model object 'Lambda Type'.
|
class |
MessageTypeImpl
An implementation of the model object 'Message Type'.
|
class |
MetaclassImpl
An implementation of the model object 'Classifier Type'.
|
class |
OpaqueExpressionImpl
An implementation of the model object 'Opaque Expression'.
|
class |
OperationImpl
An implementation of the model object 'Operation'.
|
class |
OrderedSetTypeImpl
An implementation of the model object 'Ordered Set Type'.
|
class |
PackageableElementImpl
An implementation of the model object 'Packageable Element'.
|
class |
ParameterableElementImpl
An implementation of the model object 'Parameterable Element'.
|
class |
PrimitiveTypeImpl
An implementation of the model object 'Primitive Type'.
|
class |
PropertyImpl
An implementation of the model object 'Property'.
|
class |
SelfTypeImpl
An implementation of the model object 'Self Type'.
|
class |
SequenceTypeImpl
An implementation of the model object 'Sequence Type'.
|
class |
SetTypeImpl
An implementation of the model object 'Set Type'.
|
class |
StateMachineImpl
An implementation of the model object 'State Machine'.
|
class |
StereotypeImpl
An implementation of the model object 'Stereotype'.
|
class |
TemplateParameterTypeImpl
An implementation of the model object 'Template Parameter Type'.
|
class |
TuplePartImpl |
class |
TupleTypeImpl
An implementation of the model object 'Tuple Type'.
|
class |
TypeImpl
An implementation of the model object 'Type'.
|
class |
UnspecifiedTypeImpl
An implementation of the model object 'Unspecified Type'.
|
class |
ValueSpecificationImpl
An implementation of the model object 'Value Specification'.
|
class |
VoidTypeImpl
An implementation of the model object 'Void Type'.
|
Modifier and Type | Field and Description |
---|---|
protected ParameterableElement |
TemplateParameterSubstitutionImpl.actual
The cached value of the '
Actual ' reference. |
protected ParameterableElement |
TemplateParameterImpl.default_
The cached value of the '
Default ' reference. |
protected ParameterableElement |
TemplateParameterSubstitutionImpl.ownedActual
The cached value of the '
Owned Actual ' containment reference. |
protected ParameterableElement |
TemplateParameterImpl.ownedDefault
The cached value of the '
Owned Default ' containment reference. |
protected ParameterableElement |
TemplateParameterImpl.ownedParameteredElement
The cached value of the '
Owned Parametered Element ' containment reference. |
protected ParameterableElement |
TemplateParameterImpl.parameteredElement
The cached value of the '
Parametered Element ' reference. |
Modifier and Type | Method and Description |
---|---|
java.util.List<ParameterableElement> |
OperationImpl.parameterableElements() |
java.util.List<ParameterableElement> |
PackageImpl.parameterableElements() |
java.util.List<ParameterableElement> |
TemplateableElementImpl.parameterableElements() |
java.util.List<ParameterableElement> |
TypeImpl.parameterableElements() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
TemplateParameterSubstitutionImpl.basicSetOwnedActual(ParameterableElement newOwnedActual,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TemplateParameterImpl.basicSetOwnedDefault(ParameterableElement newOwnedDefault,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TemplateParameterImpl.basicSetOwnedParameteredElement(ParameterableElement newOwnedParameteredElement,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
OperationTemplateParameterImpl.basicSetParameteredElement(ParameterableElement newParameteredElement,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TemplateParameterImpl.basicSetParameteredElement(ParameterableElement newParameteredElement,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TypeTemplateParameterImpl.basicSetParameteredElement(ParameterableElement newParameteredElement,
org.eclipse.emf.common.notify.NotificationChain msgs) |
boolean |
OperationImpl.isCompatibleWith(ParameterableElement p) |
boolean |
ParameterableElementImpl.isCompatibleWith(ParameterableElement p) |
boolean |
PropertyImpl.isCompatibleWith(ParameterableElement p) |
boolean |
TypeImpl.isCompatibleWith(ParameterableElement p) |
boolean |
ValueSpecificationImpl.isCompatibleWith(ParameterableElement p) |
void |
TemplateParameterSubstitutionImpl.setActual(ParameterableElement newActual) |
void |
TemplateParameterImpl.setDefault(ParameterableElement newDefault) |
void |
TemplateParameterSubstitutionImpl.setOwnedActual(ParameterableElement newOwnedActual) |
void |
TemplateParameterImpl.setOwnedDefault(ParameterableElement newOwnedDefault) |
void |
TemplateParameterImpl.setOwnedParameteredElement(ParameterableElement newOwnedParameteredElement) |
void |
OperationTemplateParameterImpl.setParameteredElement(ParameterableElement newParameteredElement) |
void |
TemplateParameterImpl.setParameteredElement(ParameterableElement newParameteredElement) |
void |
TypeTemplateParameterImpl.setParameteredElement(ParameterableElement newParameteredElement) |
Modifier and Type | Method and Description |
---|---|
static TemplateParameterSubstitution |
AbstractTypeServer.createTemplateParameterSubstitution(TemplateParameter formalParameter,
ParameterableElement type) |
boolean |
MetaModelManager.isUnderspecified(ParameterableElement type)
Retyurn true if this type involves an UnspecifiedType.
|
Modifier and Type | Method and Description |
---|---|
int |
MetaModelManager.compareOperationMatches(Operation reference,
java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
Operation candidate,
java.util.Map<TemplateParameter,ParameterableElement> 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.
|
int |
MetaModelManager.compareOperationMatches(Operation reference,
java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
Operation candidate,
java.util.Map<TemplateParameter,ParameterableElement> 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 |
MetaModelManager.conformsTo(Type firstType,
Type secondType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
protected boolean |
MetaModelManager.conformsToCollectionType(CollectionType firstType,
CollectionType secondType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
protected boolean |
MetaModelManager.conformsToLambdaType(LambdaType actualType,
LambdaType requiredType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
protected boolean |
MetaModelManager.conformsToMetaclass(Metaclass firstType,
Metaclass secondType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
protected boolean |
MetaModelManager.conformsToTupleType(TupleType actualType,
TupleType requiredType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
Type |
TupleTypeManager.getCommonType(TupleType leftType,
TupleType rightType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
Type |
MetaModelManager.getCommonType(Type leftType,
Type rightType,
java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions) |
LambdaType |
LambdaTypeManager.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
LambdaType |
MetaModelManager.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
Type |
MetaModelManager.getLibraryType(java.lang.String string,
java.util.List<? extends ParameterableElement> templateArguments) |
<T extends Type> |
MetaModelManager.getLibraryType(T libraryType,
java.util.List<? extends ParameterableElement> templateArguments) |
protected CollectionType |
MetaModelManager.getSpecializedCollectionType(CollectionType type,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
protected Type |
MetaModelManager.getSpecializedLambdaType(LambdaType type,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
protected Metaclass |
MetaModelManager.getSpecializedMetaclass(Metaclass type,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
Type |
MetaModelManager.getSpecializedType(Type type,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
TupleType |
MetaModelManager.getTupleType(java.lang.String typeName,
java.util.Collection<? extends DomainTypedElement> parts,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
TupleType |
TupleTypeManager.getTupleType(java.lang.String tupleName,
java.util.Collection<? extends DomainTypedElement> parts,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
TupleType |
MetaModelManager.getTupleType(TupleType tupleType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
TupleType |
TupleTypeManager.getTupleType(TupleType type,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
protected boolean |
MetaModelManager.isUnspecialized(java.util.List<TemplateParameter> templateParameters,
java.util.List<? extends ParameterableElement> templateArguments) |
protected void |
MetaModelManager.rebindTemplateBindings(java.util.Map<TemplateParameter,ParameterableElement> typeBindings,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
protected void |
MetaModelManager.rebindTemplateBindings(java.util.Map<TemplateParameter,ParameterableElement> typeBindings,
java.util.Map<TemplateParameter,ParameterableElement> usageBindings) |
Modifier and Type | Method and Description |
---|---|
protected TemplateParameterSubstitution |
AbstractContents.createTemplateParameterSubstitution(TemplateParameter formal,
ParameterableElement actual) |
Modifier and Type | Method and Description |
---|---|
int |
ScopeFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2)
Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or
zero if both matches are of equal validity.
|
int |
ScopeFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2)
Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or
zero if both matches are of equal validity.
|
void |
EnvironmentView.setBindings(DomainElement eObject,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
Modifier and Type | Method and Description |
---|---|
T |
PivotSwitch.caseParameterableElement(ParameterableElement object)
Returns the result of interpreting the object as an instance of 'Parameterable Element'.
|
boolean |
PivotValidator.validateParameterableElement(ParameterableElement parameterableElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
R |
AbstractDelegatingVisitor.visitParameterableElement(ParameterableElement object) |
R |
AbstractExtendingVisitor.visitParameterableElement(ParameterableElement object) |
R |
AbstractNullVisitor.visitParameterableElement(ParameterableElement object) |
R |
Visitor.visitParameterableElement(ParameterableElement object) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<TemplateParameter,ParameterableElement> |
Pivot2MonikerVisitor.templateBindings |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<TemplateParameter,ParameterableElement> |
PivotUtil.getAllTemplateParametersAsBindings(org.eclipse.emf.ecore.EObject eObject) |
static java.util.Map<TemplateParameter,ParameterableElement> |
PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> map,
TemplateableElement templateableElement) |
static java.util.Map<TemplateParameter,ParameterableElement> |
PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings,
Type argumentType,
LambdaType lambdaType) |
static java.util.List<ParameterableElement> |
PivotUtil.getTemplateParameterables(TemplateableElement templateableElement) |
Modifier and Type | Method and Description |
---|---|
void |
Abstract2Moniker.appendElement(Element element,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings) |
void |
Abstract2Moniker.appendLambdaType(Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
void |
Abstract2Moniker.appendParameters(Operation operation,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings) |
void |
Pivot2Moniker.appendTemplateArguments(java.util.List<? extends ParameterableElement> templateArguments,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings) |
void |
Pivot2Moniker.appendTemplateArguments(java.util.List<? extends ParameterableElement> templateArguments,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings) |
void |
Abstract2Moniker.appendTemplateBindings(TemplateableElement templateableElement,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
static java.util.Map<TemplateParameter,ParameterableElement> |
PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> map,
TemplateableElement templateableElement) |
static java.util.Map<TemplateParameter,ParameterableElement> |
PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings,
Type argumentType,
LambdaType lambdaType) |
protected boolean |
Abstract2Moniker.isSpecialized(java.util.List<TemplateBinding> templateBindings,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
Constructor and Description |
---|
Pivot2MonikerVisitor(Abstract2Moniker context,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings) |
Modifier and Type | Method and Description |
---|---|
int |
OperationContextFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2) |
int |
OperationContextFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<TemplateParameter,ParameterableElement> |
OperationFilter.getIterationBindings(MetaModelManager metaModelManager,
Iteration candidateIteration) |
protected java.util.Map<TemplateParameter,ParameterableElement> |
AbstractOperationFilter.getOperationBindings(MetaModelManager metaModelManager,
Operation candidateOperation) |
protected java.util.Map<TemplateParameter,ParameterableElement> |
OperationFilter.getOperationBindings(MetaModelManager metaModelManager,
Operation candidateOperation) |
Modifier and Type | Method and Description |
---|---|
int |
AbstractOperationFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2) |
int |
AbstractOperationFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> bindings1,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> bindings2) |
int |
OperationFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> candidateBindings) |
int |
OperationFilter.compareMatches(MetaModelManager metaModelManager,
DomainElement match1,
java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
DomainElement match2,
java.util.Map<TemplateParameter,ParameterableElement> candidateBindings) |
protected void |
AbstractOperationFilter.installBindings(EnvironmentView environmentView,
DomainElement eObject,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |
protected void |
OperationFilter.installBindings(EnvironmentView environmentView,
DomainElement eObject,
java.util.Map<TemplateParameter,ParameterableElement> bindings) |