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

protected Operation

pivotOperation

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

implementation, index, inheritance, name, parameterTypes, typeParameters

Constructor Summary

PivotExecutorOperation(TypeServer inheritance, int operationIndex, Operation pivotOperation)

Method Summary

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()