Uses of Interface
org.eclipse.ocl.examples.domain.elements.DomainOperation

Packages that use DomainOperation

org.eclipse.ocl.examples.codegen.generator
org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.ids
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.domain.utilities
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.xtext.essentialocl.cs2as

Uses of DomainOperation in org.eclipse.ocl.examples.codegen.generator

Methods in org.eclipse.ocl.examples.codegen.generator that return DomainOperation

DomainOperation	AbstractCodeGenerator.isFinal(Operation anOperation, Type staticType)
DomainOperation	CodeGenerator.isFinal(Operation anOperation, Type staticType)

Uses of DomainOperation in org.eclipse.ocl.examples.domain.elements

Subinterfaces of DomainOperation in org.eclipse.ocl.examples.domain.elements

interface

DomainIteration

Methods in org.eclipse.ocl.examples.domain.elements that return DomainOperation

DomainOperation	DomainFragment.getLocalOperation(DomainOperation staticOperation) Return the operation within this fragment that has the same signature as staticOperation.
DomainOperation	DomainInheritance.getMemberOperation(OperationId id)
DomainOperation	DomainInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)

Methods in org.eclipse.ocl.examples.domain.elements that return types with arguments of type DomainOperation

java.lang.Iterable<? extends DomainOperation>	DomainInheritance.getAllOperations(FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	DomainFragment.getLocalOperations() Return the operations within this fragment in operation index order.
java.util.List<? extends DomainOperation>	DomainType.getLocalOperations()
java.util.List<? extends DomainOperation>	DomainType.getOwnedOperation()

Methods in org.eclipse.ocl.examples.domain.elements with parameters of type DomainOperation

LibraryFeature	DomainFragment.getImplementation(DomainOperation staticOperation) Return the implementation of the operation within this fragment that has the same signature as staticOperation.
DomainOperation	DomainFragment.getLocalOperation(DomainOperation staticOperation) Return the operation within this fragment that has the same signature as staticOperation.
DomainElement	DomainStandardLibrary.getOperationTemplateParameter(DomainOperation anOperation, int index)
LibraryFeature	DomainType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Uses of DomainOperation in org.eclipse.ocl.examples.domain.ids

Methods in org.eclipse.ocl.examples.domain.ids with parameters of type DomainOperation

static OperationId

IdManager.getOperationId(DomainOperation anOperation) Return the OperationId for anOperation.

Uses of DomainOperation in org.eclipse.ocl.examples.domain.types

Fields in org.eclipse.ocl.examples.domain.types with type parameters of type DomainOperation

protected java.util.Map<java.lang.String,DomainOperation>

AbstractInheritance.operationMap

Methods in org.eclipse.ocl.examples.domain.types that return DomainOperation

DomainOperation	AbstractInheritance.getMemberOperation(OperationId operationId)
DomainOperation	IdResolver.getOperation(OperationId operationId)
DomainOperation	AbstractInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)

Methods in org.eclipse.ocl.examples.domain.types that return types with arguments of type DomainOperation

java.util.List<? extends DomainOperation>	AbstractType.getLocalOperations()
java.util.List<? extends DomainOperation>	AbstractCollectionType.getOwnedOperation()
java.util.List<? extends DomainOperation>	AbstractType.getOwnedOperation()

Methods in org.eclipse.ocl.examples.domain.types with parameters of type DomainOperation

DomainElement	AbstractStandardLibrary.getOperationTemplateParameter(DomainOperation anOperation, int index)
LibraryFeature	AbstractInheritance.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	AbstractSpecializedType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	AbstractTupleType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	DomainInvalidTypeImpl.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)

Uses of DomainOperation in org.eclipse.ocl.examples.domain.utilities

Methods in org.eclipse.ocl.examples.domain.utilities with parameters of type DomainOperation

static DomainType[]

DomainUtil.getOperationParameterTypes(DomainOperation anOperation)

Uses of DomainOperation in org.eclipse.ocl.examples.library.ecore

Methods in org.eclipse.ocl.examples.library.ecore that return DomainOperation

DomainOperation

EcoreReflectiveFragment.getLocalOperation(DomainOperation baseOperation)

Methods in org.eclipse.ocl.examples.library.ecore that return types with arguments of type DomainOperation

java.lang.Iterable<? extends DomainOperation>	EcoreReflectiveType.getAllOperations(FeatureFilter featureFilter)
java.util.List<? extends DomainOperation>	EcoreReflectiveType.getLocalOperations()
java.util.List<? extends DomainOperation>	EcoreReflectiveType.getOwnedOperation()

Methods in org.eclipse.ocl.examples.library.ecore with parameters of type DomainOperation

DomainOperation

EcoreReflectiveFragment.getLocalOperation(DomainOperation baseOperation)

Uses of DomainOperation in org.eclipse.ocl.examples.library.executor

Classes in org.eclipse.ocl.examples.library.executor that implement DomainOperation

class

ExecutorOperation

Fields in org.eclipse.ocl.examples.library.executor with type parameters of type DomainOperation

protected java.util.Map<DomainOperation,LibraryFeature>

ReflectiveFragment.operationMap

Methods in org.eclipse.ocl.examples.library.executor that return DomainOperation

DomainOperation	DomainReflectiveFragment.getLocalOperation(DomainOperation baseOperation)
DomainOperation	ExecutorFragment.getLocalOperation(DomainOperation staticOperation)
DomainOperation	AbstractIdResolver.getOperation(OperationId operationId)
DomainOperation	ExecutorLambdaType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorSpecializedType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorTupleType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorTypeParameter.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	AbstractIdResolver.visitOperationId(OperationId id)

Methods in org.eclipse.ocl.examples.library.executor that return types with arguments of type DomainOperation

java.lang.Iterable<? extends DomainOperation>	DomainReflectiveType.getAllOperations(FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	ExecutorType.getAllOperations(FeatureFilter featureFilter)
java.util.List<? extends DomainOperation>	DomainReflectiveType.getLocalOperations()
java.util.List<? extends DomainOperation>	ExecutorFragment.getLocalOperations()
java.util.List<? extends DomainOperation>	ExecutorType.getLocalOperations()
java.lang.Iterable<? extends DomainOperation>	ReflectiveFragment.getLocalOperations()
java.util.List<? extends DomainOperation>	DomainReflectiveType.getOwnedOperation()
java.util.List<? extends DomainOperation>	ExecutorType.getOwnedOperation()

Methods in org.eclipse.ocl.examples.library.executor with parameters of type DomainOperation

LibraryFeature	ExecutorFragment.getImplementation(DomainOperation staticOperation)
LibraryFeature	ReflectiveFragment.getImplementation(DomainOperation baseOperation)
DomainOperation	DomainReflectiveFragment.getLocalOperation(DomainOperation baseOperation)
DomainOperation	ExecutorFragment.getLocalOperation(DomainOperation staticOperation)
LibraryFeature	ExecutorLambdaType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	ExecutorSpecializedType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	ExecutorTupleType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	ExecutorTypeParameter.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	JavaType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)

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

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

interface	Iteration A representation of the model object 'Iteration'.
interface	Operation A representation of the model object 'Operation'.

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

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

LibraryFeature

EvaluationVisitorImpl.lookupImplementation(DomainType dynamicType, DomainOperation staticOperation)

Uses of DomainOperation in org.eclipse.ocl.examples.pivot.executor

Classes in org.eclipse.ocl.examples.pivot.executor that implement DomainOperation

class

PivotExecutorOperation

Methods in org.eclipse.ocl.examples.pivot.executor that return DomainOperation

DomainOperation

PivotReflectiveFragment.getLocalOperation(DomainOperation baseOperation)

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

DomainOperation

PivotReflectiveFragment.getLocalOperation(DomainOperation baseOperation)

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

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

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

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

java.util.List<? extends DomainOperation>

TypeImpl.getLocalOperations()

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

LibraryFeature

TypeImpl.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)

Uses of DomainOperation in org.eclipse.ocl.examples.pivot.manager

Methods in org.eclipse.ocl.examples.pivot.manager that return DomainOperation

DomainOperation	AbstractTypeServer.BestOperation.apply(java.util.List<DomainOperation> operations)
DomainOperation	AbstractTypeServer.getMemberOperation(DomainOperation pivotOperation)
DomainOperation	TypeServer.getMemberOperation(DomainOperation pivotOperation)
DomainOperation	AbstractTypeServer.getMemberOperation(OperationId operationId)
DomainOperation	MetaModelManager.getPrimaryOperation(DomainOperation pivotOperation)
DomainOperation	FinalAnalysis.isFinal(DomainOperation operation, DomainInheritance domainInheritance)

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

java.lang.Iterable<java.util.List<DomainOperation>>	AbstractTypeServer.MapValues.apply(java.util.Map<ParametersId,java.util.List<DomainOperation>> operations)
java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainOperation pivotOperation)
java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainType type, FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainType type, FeatureFilter featureFilter, java.lang.String name)
java.lang.Iterable<? extends DomainOperation>	AbstractTypeServer.getAllOperations(FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	ExtensionTypeServer.getAllOperations(FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	TypeServer.getAllOperations(FeatureFilter featureFilter)
java.lang.Iterable<? extends DomainOperation>	AbstractTypeServer.getAllOperations(FeatureFilter featureFilter, java.lang.String name)
java.lang.Iterable<? extends DomainOperation>	ExtensionTypeServer.getAllOperations(FeatureFilter featureFilter, java.lang.String name)
java.lang.Iterable<? extends DomainOperation>	TypeServer.getAllOperations(FeatureFilter featureFilter, java.lang.String name)
java.util.List<? extends DomainOperation>	AbstractTypeServer.getLocalOperations()
java.lang.Iterable<DomainOperation>	AbstractTypeServer.getMemberOperations(DomainOperation pivotOperation)
java.lang.Iterable<? extends DomainOperation>	TypeServer.getMemberOperations(DomainOperation pivotOperation)
java.util.List<? extends DomainOperation>	AbstractTypeServer.getOwnedOperation()

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

java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainOperation pivotOperation)
DomainOperation	AbstractTypeServer.getMemberOperation(DomainOperation pivotOperation)
DomainOperation	TypeServer.getMemberOperation(DomainOperation pivotOperation)
java.lang.Iterable<DomainOperation>	AbstractTypeServer.getMemberOperations(DomainOperation pivotOperation)
java.lang.Iterable<? extends DomainOperation>	TypeServer.getMemberOperations(DomainOperation pivotOperation)
DomainElement	MetaModelManager.getOperationTemplateParameter(DomainOperation anOperation, int index)
DomainOperation	MetaModelManager.getPrimaryOperation(DomainOperation pivotOperation)
boolean	FinalAnalysis.isFinal(DomainOperation operation)
DomainOperation	FinalAnalysis.isFinal(DomainOperation operation, DomainInheritance domainInheritance)
LibraryFeature	MetaModelManager.lookupImplementation(DomainOperation dynamicOperation)

Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type DomainOperation

DomainOperation	AbstractTypeServer.BestOperation.apply(java.util.List<DomainOperation> operations)
java.lang.Iterable<java.util.List<DomainOperation>>	AbstractTypeServer.MapValues.apply(java.util.Map<ParametersId,java.util.List<DomainOperation>> operations)
protected void	AbstractTypeServer.initMemberOperationsPostProcess(java.lang.String name, java.util.List<DomainOperation> operations)

Uses of DomainOperation in org.eclipse.ocl.examples.xtext.essentialocl.cs2as

Method parameters in org.eclipse.ocl.examples.xtext.essentialocl.cs2as with type arguments of type DomainOperation

protected java.util.List<NamedElement>

EssentialOCLCSLeft2RightVisitor.getInvocationsInternal(java.util.List<NamedElement> invocations, java.lang.Iterable<? extends DomainOperation> allOperations, int iteratorCount, int expressionCount)