Uses of Interface
org.eclipse.ocl.examples.pivot.Operation

Packages that use Operation

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.delegate
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.helper
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.internal.operations
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.base.cs2pivot
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.base.scoping.pivot
org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST
org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl
org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot
org.eclipse.ocl.examples.xtext.essentialocl.scoping
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling
org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling

Uses of Operation in org.eclipse.ocl.examples.pivot

Subinterfaces of Operation in org.eclipse.ocl.examples.pivot

interface

Iteration A representation of the model object 'Iteration'.

Methods in org.eclipse.ocl.examples.pivot that return Operation

Operation	PivotFactory.createOperation() Returns a new object of class 'Operation'.
Operation	Class.createOwnedOperation() Creates a new Operation and appends it to the 'Owned Operation' containment reference list.
Operation	Class.createOwnedOperation(org.eclipse.emf.ecore.EClass eClass) Creates a new Operation and appends it to the 'Owned Operation' containment reference list.
Operation	CallOperationAction.getOperation() Returns the value of the 'Operation' reference.
Operation	Parameter.getOperation() Returns the value of the 'Operation' container reference.
Operation	MessageType.getReferredOperation() Returns the value of the 'Referred Operation' reference.
Operation	OperationCallExp.getReferredOperation() Returns the value of the 'Referred Operation' reference.

Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type Operation

org.eclipse.emf.common.util.EList<Operation>

Class.getOwnedOperations() Returns the value of the 'Owned Operation' containment reference list.

Methods in org.eclipse.ocl.examples.pivot with parameters of type Operation

Environment	AbstractEnvironmentFactory.createOperationContext(Environment parent, Operation operation)
Environment	EnvironmentFactory.createOperationContext(Environment parent, Operation operation) Creates an environment suitable for parsing OCL expressions on the specified operation, which is some operation in the client's metamodel.
MessageType	OCLFactory.createOperationMessageType(Operation operation) Creates the type for the messages representing invocation of the specified operation.
protected void	AbstractEnvironment.setContextOperation(Operation contextOperation) Assigns my context operation.
void	CallOperationAction.setOperation(Operation value) Sets the value of the 'Operation' reference.
void	Parameter.setOperation(Operation value) Sets the value of the 'Operation' container reference.
void	MessageType.setReferredOperation(Operation value) Sets the value of the 'Referred Operation' reference.
void	OperationCallExp.setReferredOperation(Operation value) Sets the value of the 'Referred Operation' reference.

Uses of Operation in org.eclipse.ocl.examples.pivot.delegate

Methods in org.eclipse.ocl.examples.pivot.delegate with parameters of type Operation

ExpressionInOcl

InvocationBehavior.getExpressionInOcl(TypeManager typeManager, Operation operation) Return the operation body associated with operation, if necessary using ocl to create the relevant parsing environment for a textual definition.

Uses of Operation in org.eclipse.ocl.examples.pivot.ecore

Methods in org.eclipse.ocl.examples.pivot.ecore that return Operation

Operation	Ecore2PivotDeclarationSwitch.caseEOperation(org.eclipse.emf.ecore.EOperation eObject)
protected Operation	Ecore2PivotDeclarationSwitch.createJavaComparisonOperation(java.lang.String operator, JavaComparisonOperation javaOperation)

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type Operation

org.eclipse.emf.ecore.EObject	Pivot2EcoreDeclarationVisitor.visitOperation(Operation pivotOperation)
org.eclipse.emf.ecore.EObject	Pivot2EcoreReferenceVisitor.visitOperation(Operation pivotOperation)

Uses of Operation in org.eclipse.ocl.examples.pivot.evaluation

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type Operation

protected Value	EvaluationVisitorImpl.handleCallExp(CallExp callExp, Operation staticOperation)
boolean	AbstractEvaluationEnvironment.overrides(Operation operation, int opcode) By default, a subclass will not support overriding the operations defined by the OCL Standard Library.
boolean	EvaluationEnvironment.overrides(Operation operation, int opcode) Queries whether this evaluation environment provides a custom implementation of the specified pre-defined OCL operation.

Uses of Operation in org.eclipse.ocl.examples.pivot.helper

Methods in org.eclipse.ocl.examples.pivot.helper with parameters of type Operation

void	OCLHelper.setInstanceOperationContext(java.lang.Object instance, Operation operation) Sets the operation context implied by the specified instance.
void	OCLHelper.setOperationContext(Type context, Operation operation) Sets the operation context of the OCL expression for which syntax or parsing help is to be provided.

Uses of Operation in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement Operation

class	IterationImpl An implementation of the model object 'Iteration'.
class	OperationImpl An implementation of the model object 'Operation'.

Fields in org.eclipse.ocl.examples.pivot.internal.impl declared as Operation

protected Operation	CallOperationActionImpl.operation The cached value of the 'Operation' reference.
protected Operation	MessageTypeImpl.referredOperation The cached value of the 'Referred Operation' reference.
protected Operation	OperationCallExpImpl.referredOperation The cached value of the 'Referred Operation' reference.

Fields in org.eclipse.ocl.examples.pivot.internal.impl with type parameters of type Operation

protected org.eclipse.emf.common.util.EList<Operation>

ClassImpl.ownedOperations The cached value of the 'Owned Operation' containment reference list.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return Operation

Operation	CallOperationActionImpl.basicGetOperation()
Operation	MessageTypeImpl.basicGetReferredOperation()
Operation	OperationCallExpImpl.basicGetReferredOperation()
Operation	PivotFactoryImpl.createOperation()
Operation	ClassImpl.createOwnedOperation()
Operation	ClassImpl.createOwnedOperation(org.eclipse.emf.ecore.EClass eClass)
Operation	CallOperationActionImpl.getOperation()
Operation	ParameterImpl.getOperation()
Operation	MessageTypeImpl.getReferredOperation()
Operation	OperationCallExpImpl.getReferredOperation()

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type Operation

org.eclipse.emf.common.util.EList<Operation>	ClassImpl.getOwnedOperations()
java.util.Iterator<Operation>	OperationImpl.iterator()

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type Operation

org.eclipse.emf.common.notify.NotificationChain	ParameterImpl.basicSetOperation(Operation newOperation, org.eclipse.emf.common.notify.NotificationChain msgs)
void	CallOperationActionImpl.setOperation(Operation newOperation)
void	ParameterImpl.setOperation(Operation newOperation)
void	MessageTypeImpl.setReferredOperation(Operation newReferredOperation)
void	OperationCallExpImpl.setReferredOperation(Operation newReferredOperation)

Uses of Operation in org.eclipse.ocl.examples.pivot.internal.operations

Methods in org.eclipse.ocl.examples.pivot.internal.operations with parameters of type Operation

static boolean

OperationOperations.validateTestConstraint(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.ownedParameter->size() = 1

Uses of Operation in org.eclipse.ocl.examples.pivot.prettyprint

Methods in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type Operation

protected void	PrettyPrintTypeVisitor.appendParameters(Operation operation)
java.lang.Object	PrettyPrintNameVisitor.visitOperation(Operation object)
java.lang.Object	PrettyPrintTypeVisitor.visitOperation(Operation operation)

Uses of Operation in org.eclipse.ocl.examples.pivot.uml

Methods in org.eclipse.ocl.examples.pivot.uml that return Operation

Operation	UML2PivotDeclarationSwitch.caseOperation(org.eclipse.uml2.uml.Operation umlOperation)
Operation	UML2PivotReferenceSwitch.caseOperation(org.eclipse.uml2.uml.Operation umlOperation)

Methods in org.eclipse.ocl.examples.pivot.uml with parameters of type Operation

org.eclipse.uml2.uml.Operation	Pivot2UMLDeclarationVisitor.visitOperation(Operation pivotOperation)
org.eclipse.emf.ecore.EObject	Pivot2UMLReferenceVisitor.visitOperation(Operation pivotOperation)

Uses of Operation in org.eclipse.ocl.examples.pivot.util

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type Operation

T	PivotSwitch.caseOperation(Operation object) Returns the result of interpreting the object as an instance of 'Operation'.
boolean	PivotValidator.validateOperation_validateTestConstraint(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateTestConstraint constraint of 'Operation'.
boolean	PivotValidator.validateOperation(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitOperation(Operation object)
R	AbstractExtendingVisitor.visitOperation(Operation object)
R	AbstractNullVisitor.visitOperation(Operation object)
R	Visitor.visitOperation(Operation object)

Uses of Operation in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities with type parameters of type Operation

protected <T extends Operation> T	TypeCaches.findOrphanOperation(java.lang.Class<T> unspecializedOperation, java.lang.String moniker)
<T extends Operation> T	TypeManager.getSpecializedOperation(T unspecializedOperation, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
protected <T extends Operation> T	PivotSaver.PivotSaveResolveVisitor.resolveOperation(T referredOperation) Return the resolved variant of referredType, which may require creation of a local copy of a specialization.

Methods in org.eclipse.ocl.examples.pivot.utilities that return Operation

Operation	TypeCaches.getDynamicOperation(Type dynamicType, Operation staticOperation)
protected Operation	TypeCaches.CompleteClassOperationsIterable.getInnerValue(Operation element)
Operation	TypeCaches.getPrimaryOperation(Operation pivotOperation)
Operation	TypeCaches.getPrimaryOperation(java.lang.String moniker)
static Operation	PivotUtil.getReferredOperation(CallExp callExp)
Operation	TypeManager.resolveOperation(Type leftType, java.lang.String operationName, Type... rightTypes)

Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type Operation

java.lang.Iterable<Operation>	TypeCaches.getAllOperations(Operation operation)
protected java.lang.Iterable<Operation>	TypeCaches.CompleteClassOperationsIterable.getInnerIterable(Class model)
java.lang.Iterable<Operation>	TypeCaches.getLocalOperations(Type type, java.lang.Boolean selectStatic)
java.util.Set<Operation>	TypeManager.resolveLocalOperation(Class pivotClass, java.lang.String operationName, Type... pivotArguments) Add a resource-specific map of elements to preferred aliases, updating the internal pivot-resource-set-wide map of elements to pivot-aliases and vice-versa.
java.util.Set<Operation>	TypeManager.resolveOperations(Class pivotClass, java.lang.String operationName, Type... pivotArguments)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type Operation

void	TypeCaches.addOrphanOperation(Operation pivotElement)
protected void	ToStringVisitor.appendOperationSignature(Operation operation)
void	Abstract2Moniker.appendParameters(Operation operation, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
int	TypeManager.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.
protected void	TypeManager.compilePrecedenceOperation(Operation operation)
protected CallableImplementation	TypeManager.computeOperationImplementation(Operation operation)
MessageType	OCLFactoryImpl.createOperationMessageType(Operation operation)
java.lang.Iterable<Operation>	TypeCaches.getAllOperations(Operation operation)
Operation	TypeCaches.getDynamicOperation(Type dynamicType, Operation staticOperation)
CallableImplementation	TypeManager.getImplementation(Operation operation)
protected Operation	TypeCaches.CompleteClassOperationsIterable.getInnerValue(Operation element)
java.lang.Iterable<Constraint>	TypeCaches.getLocalConstraints(Operation operation)
Operation	TypeCaches.getPrimaryOperation(Operation pivotOperation)
protected java.lang.String	TypeManager.getSpecializedOperationMoniker(Operation operation, java.util.List<? extends ParameterableElement> templateArguments, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
protected boolean	PivotSaver.isOrphanOperation(Operation operation)
java.lang.Object	Pivot2MonikerVisitor.visitOperation(Operation object)
java.lang.String	ToStringVisitor.visitOperation(Operation operation)

Uses of Operation in org.eclipse.ocl.examples.xtext.base.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot with parameters of type Operation

void	CS2PivotConversion.setReferredOperation(OperationCallExp expression, Operation operation)
ScopeAdapter	PivotScopeVisitor.visitOperation(Operation pivotElement)

Uses of Operation in org.eclipse.ocl.examples.xtext.base.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.base.pivot2cs with parameters of type Operation

ElementCS

BaseDeclarationVisitor.visitOperation(Operation object)

Uses of Operation in org.eclipse.ocl.examples.xtext.base.scoping.pivot

Constructors in org.eclipse.ocl.examples.xtext.base.scoping.pivot with parameters of type Operation

OperationScopeAdapter(TypeManager typeManager, Operation pivotElement)

Uses of Operation in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST that return Operation

Operation

OperationContextDeclCS.getOperation() Returns the value of the 'Operation' reference.

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST with parameters of type Operation

void	OperationContextDeclCS.setOperation(Operation value) Sets the value of the 'Operation' reference.

Uses of Operation in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl

Fields in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl declared as Operation

protected Operation

OperationContextDeclCSImpl.operation The cached value of the 'Operation' reference.

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl that return Operation

Operation	OperationContextDeclCSImpl.basicGetOperation()
Operation	OperationContextDeclCSImpl.getOperation()

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl with parameters of type Operation

void	OperationContextDeclCSImpl.setOperation(Operation newOperation)

Uses of Operation in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot that return Operation

protected Operation

EssentialOCLLeft2RightVisitor.getBadOperation()

Methods in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot with parameters of type Operation

protected void

EssentialOCLLeft2RightVisitor.resolveOperationArguments(NavigatingExpCS csNavigatingExp, OclExpression source, Operation operation, OperationCallExp expression) Complete the installation of each operation argument in its operation call.

Uses of Operation in org.eclipse.ocl.examples.xtext.essentialocl.scoping

Methods in org.eclipse.ocl.examples.xtext.essentialocl.scoping with parameters of type Operation

protected java.util.Map<TemplateParameter,ParameterableElement>	AbstractOperationFilter.getOperationBindings(Operation candidateOperation)
protected java.util.Map<TemplateParameter,ParameterableElement>	OperationFilter.getOperationBindings(Operation candidateOperation)

Uses of Operation in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with parameters of type Operation

protected java.lang.String	BaseLabelProvider.image(Operation ele)
protected java.lang.String	BaseLabelProvider.text(Operation ele)

Uses of Operation in org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling with parameters of type Operation

protected java.lang.String

OCLinEcoreLabelProvider.image(Operation ele)