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

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

All Implemented Interfaces:

DomainElement, DomainFeature, DomainNamedElement, DomainOperation, DomainTypedElement, Nameable

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 DomainParameterTypes	parameterTypes
protected DomainTypeParameters	typeParameters

Constructor Summary

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

Method Summary

DomainExpression	getBodyExpression()
LibraryFeature	getImplementation() Return the implementation of this feature.
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, or null for am orphan property owned by an Annotation.
java.lang.String	getName()
OperationId	getOperationId()
java.util.List<? extends DomainTypedElement>	getOwnedParameter()
java.util.List<? extends DomainConstraint>	getOwnedRule()
DomainType	getOwningType() Return the owner this feature.
ParametersId	getParametersId() Return the unique identity of the ordered list of parameters of this operation.
DomainParameterTypes	getParameterTypes() Return the ordered list of parameters of this operation.
java.util.List<? extends DomainConstraint>	getPostcondition()
java.util.List<? extends DomainConstraint>	getPrecondition()
DomainType	getType()
TypeId	getTypeId()
DomainTypeParameters	getTypeParameters() Return the ordered list of type 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

@NonNull
protected final java.lang.String name

parameterTypes

@NonNull
protected final DomainParameterTypes parameterTypes

inheritance

@NonNull
protected final DomainInheritance inheritance

index

protected final int index

implementation

@NonNull
protected final LibraryFeature implementation

typeParameters

@NonNull
protected final DomainTypeParameters typeParameters

Constructor Detail

ExecutorOperation

public ExecutorOperation(@NonNull
                         java.lang.String name,
                         @NonNull
                         DomainParameterTypes parameterTypes,
                         @NonNull
                         DomainInheritance inheritance,
                         int index,
                         @NonNull
                         DomainTypeParameters typeParameters,
                         @Nullable
                         LibraryFeature implementation)

Method Detail

getImplementation

@NonNull
public LibraryFeature getImplementation()

Description copied from interface: DomainFeature

Return the implementation of this feature.

Specified by:

getImplementation in interface DomainFeature

getBodyExpression

public DomainExpression getBodyExpression()

Specified by:

getBodyExpression 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

@NonNull
public final DomainInheritance getInheritance(@NonNull
                                                      DomainStandardLibrary standardLibrary)

Description copied from interface: DomainOperation

Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.

Specified by:

getInheritance in interface DomainOperation

getName

public final java.lang.String getName()

Specified by:

getName in interface Nameable

getOperationId

@NonNull
public OperationId getOperationId()

Specified by:

getOperationId in interface DomainOperation

getOwnedParameter

@NonNull
public java.util.List<? extends DomainTypedElement> getOwnedParameter()

Specified by:

getOwnedParameter in interface DomainOperation

getOwnedRule

@NonNull
public java.util.List<? extends DomainConstraint> getOwnedRule()

getOwningType

@NonNull
public DomainType getOwningType()

Description copied from interface: DomainFeature

Return the owner this feature.

Specified by:

getOwningType in interface DomainFeature

getParametersId

@NonNull
public ParametersId getParametersId()

Description copied from interface: DomainOperation

Return the unique identity of the ordered list of parameters of this operation.

Specified by:

getParametersId in interface DomainOperation

getParameterTypes

@NonNull
public DomainParameterTypes getParameterTypes()

Description copied from interface: DomainOperation

Return the ordered list of parameters of this operation.

Specified by:

getParameterTypes in interface DomainOperation

getPostcondition

@NonNull
public java.util.List<? extends DomainConstraint> getPostcondition()

Specified by:

getPostcondition in interface DomainOperation

getPrecondition

@NonNull
public java.util.List<? extends DomainConstraint> getPrecondition()

Specified by:

getPrecondition in interface DomainOperation

getType

@NonNull
public DomainType getType()

Specified by:

getType in interface DomainTypedElement

getTypeId

@NonNull
public TypeId getTypeId()

Specified by:

getTypeId in interface DomainTypedElement

getTypeParameters

@NonNull
public DomainTypeParameters getTypeParameters()

Description copied from interface: DomainOperation

Return the ordered list of type parameters of this operation.

Specified by:

getTypeParameters in interface DomainOperation

isStatic

public boolean isStatic()

Description copied from interface: DomainFeature

Return true if this is a static operation.

Specified by:

isStatic in interface DomainFeature

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object