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

java.lang.Object
  extended by org.eclipse.ocl.examples.library.executor.ExecutorOperation
      extended by 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()