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

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorOperation

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainOperation

Direct Known Subclasses:

PivotExecutorOperation

public class ExecutorOperation
extends java.lang.Object
implements DomainOperation

Field Summary

protected LibraryFeature	implementation
protected int	index
protected DomainInheritance	inheritance
protected java.lang.String	name
protected ExecutorTypeArgument[]	parameterTypes

Constructor Summary

ExecutorOperation(java.lang.String name, DomainInheritance inheritance, int index, LibraryFeature implementation, ExecutorTypeArgument... parameterTypes)

Method Summary

LibraryFeature	getImplementation() Return the implementation of this operation.
int	getIndex() Return the index of this operation in the operation dispatch table.
DomainInheritance	getInheritance(DomainStandardLibrary standardLibrary) Return the Inheritance dispatch table for the owning type.
java.lang.String	getName()
IndexableIterable<DomainType>	getParameterType() Return the ordered list of parameters of this operation.
boolean	isStatic() Return true if this is a static operation.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

protected final java.lang.String name

inheritance

protected final DomainInheritance inheritance

index

protected final int index

implementation

protected final LibraryFeature implementation

parameterTypes

protected final ExecutorTypeArgument[] parameterTypes

Constructor Detail

ExecutorOperation

public ExecutorOperation(java.lang.String name,
                         DomainInheritance inheritance,
                         int index,
                         LibraryFeature implementation,
                         ExecutorTypeArgument... parameterTypes)

Method Detail

getImplementation

public LibraryFeature getImplementation()

Description copied from interface: DomainOperation

Return the implementation of this operation.

Specified by:

getImplementation in interface DomainOperation

getIndex

public final int getIndex()

Description copied from interface: DomainOperation

Return the index of this operation in the operation dispatch table.

Specified by:

getIndex in interface DomainOperation

getInheritance

public final DomainInheritance getInheritance(DomainStandardLibrary standardLibrary)

Description copied from interface: DomainOperation

Return the Inheritance dispatch table for the owning type.

Specified by:

getInheritance in interface DomainOperation

getName

public final java.lang.String getName()

Specified by:

getName in interface DomainNamedElement

getParameterType

public IndexableIterable<DomainType> getParameterType()

Description copied from interface: DomainOperation

Return the ordered list of parameters of this operation.

Specified by:

getParameterType in interface DomainOperation

isStatic

public boolean isStatic()

Description copied from interface: DomainOperation

Return true if this is a static operation.

Specified by:

isStatic in interface DomainOperation

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object