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, DomainNamedElement, DomainOperation

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

Constructor Summary

PivotExecutorOperation(PivotReflectiveType inheritance, int operationIndex, Operation pivotOperation)

Method Summary

Operation

getPivotOperation()

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

getImplementation, getIndex, getInheritance, getName, getParameterType, isStatic, toString

Methods inherited from class java.lang.Object

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

Field Detail

pivotOperation

protected final Operation pivotOperation

Constructor Detail

PivotExecutorOperation

public PivotExecutorOperation(PivotReflectiveType inheritance,
                              int operationIndex,
                              Operation pivotOperation)

Method Detail

getPivotOperation

public final Operation getPivotOperation()