org.eclipse.ocl.examples.pivot.executor

Class PivotExecutorOperation

java.lang.Object

org.eclipse.ocl.examples.library.executor.ExecutorOperation

org.eclipse.ocl.examples.pivot.executor.PivotExecutorOperation

All Implemented Interfaces:

DomainElement, DomainFeature, DomainNamedElement, DomainOperation, DomainTypedElement, Nameable

public class PivotExecutorOperation
extends ExecutorOperation

Field Summary

Fields

Modifier and Type	Field and Description
protected Operation	pivotOperation

Fields inherited from class org.eclipse.ocl.examples.library.executor.ExecutorOperation

implementation, index, inheritance, name, parameterTypes, typeParameters

Constructor Summary

Constructors

Constructor and Description
PivotExecutorOperation(TypeServer inheritance, int operationIndex, Operation pivotOperation)

Method Summary

Methods

Modifier and Type	Method and Description
Operation	getPivotOperation()

Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutorOperation

getBodyExpression, getImplementation, getIndex, getInheritance, getName, getOperationId, getOwnedParameter, getOwnedRule, getOwningType, getParametersId, getParameterTypes, getPostcondition, getPrecondition, getType, getTypeId, getTypeParameters, isStatic, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pivotOperation

@NonNull
protected final Operation pivotOperation

Constructor Detail

PivotExecutorOperation

public PivotExecutorOperation(@NonNull
                      TypeServer inheritance,
                      int operationIndex,
                      @NonNull
                      Operation pivotOperation)

Method Detail

getPivotOperation

@NonNull
public final Operation getPivotOperation()