|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot |
|---|
| Subinterfaces of ParameterableElement in org.eclipse.ocl.examples.pivot | |
|---|---|
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'. |
| Methods in org.eclipse.ocl.examples.pivot that return ParameterableElement | |
|---|---|
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. |
| Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type ParameterableElement | |
|---|---|
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. |
| Methods in org.eclipse.ocl.examples.pivot with parameters of type ParameterableElement | |
|---|---|
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. |
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.internal.impl |
|---|
| Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement ParameterableElement | |
|---|---|
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'. |
| Fields in org.eclipse.ocl.examples.pivot.internal.impl declared as ParameterableElement | |
|---|---|
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. |
| Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type ParameterableElement | |
|---|---|
java.util.List<ParameterableElement> |
OperationImpl.parameterableElements()
|
java.util.List<ParameterableElement> |
PackageImpl.parameterableElements()
|
java.util.List<ParameterableElement> |
TemplateableElementImpl.parameterableElements()
|
java.util.List<ParameterableElement> |
TypeImpl.parameterableElements()
|
| Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type ParameterableElement | |
|---|---|
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)
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.manager |
|---|
| Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type ParameterableElement | |
|---|---|
static TemplateParameterSubstitution |
AbstractTypeServer.createTemplateParameterSubstitution(TemplateParameter formalParameter,
ParameterableElement type)
|
boolean |
MetaModelManager.isUnderspecified(ParameterableElement type)
Retyurn true if this type involves an UnspecifiedType. |
| Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type ParameterableElement | ||
|---|---|---|
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)
|
|
|
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)
|
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.model |
|---|
| Methods in org.eclipse.ocl.examples.pivot.model with parameters of type ParameterableElement | |
|---|---|
protected TemplateParameterSubstitution |
AbstractContents.createTemplateParameterSubstitution(TemplateParameter formal,
ParameterableElement actual)
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.scoping |
|---|
| Method parameters in org.eclipse.ocl.examples.pivot.scoping with type arguments of type ParameterableElement | |
|---|---|
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)
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.util |
|---|
| Methods in org.eclipse.ocl.examples.pivot.util with parameters of type ParameterableElement | |
|---|---|
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)
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.pivot.utilities |
|---|
| Fields in org.eclipse.ocl.examples.pivot.utilities with type parameters of type ParameterableElement | |
|---|---|
protected java.util.Map<TemplateParameter,ParameterableElement> |
Pivot2MonikerVisitor.templateBindings
|
| Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type ParameterableElement | |
|---|---|
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)
|
| Method parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type ParameterableElement | |
|---|---|
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 parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type ParameterableElement | |
|---|---|
Pivot2MonikerVisitor(Abstract2Moniker context,
java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
|
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.xtext.completeocl.attributes |
|---|
| Method parameters in org.eclipse.ocl.examples.xtext.completeocl.attributes with type arguments of type ParameterableElement | |
|---|---|
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)
|
| Uses of ParameterableElement in org.eclipse.ocl.examples.xtext.essentialocl.attributes |
|---|
| Methods in org.eclipse.ocl.examples.xtext.essentialocl.attributes that return types with arguments of type ParameterableElement | |
|---|---|
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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||