org.eclipse.ocl.examples.domain.elements
Interface DomainOperation

All Superinterfaces:

DomainElement, DomainFeature, DomainNamedElement, DomainTypedElement, Nameable

All Known Subinterfaces:

DomainIteration, Iteration, Operation

All Known Implementing Classes:

ExecutorOperation, IterationImpl, OperationImpl, PivotExecutorOperation

public interface DomainOperation
extends DomainFeature

Method Summary

DomainExpression	getBodyExpression()
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.
OperationId	getOperationId()
java.util.List<? extends DomainTypedElement>	getOwnedParameter()
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()
DomainTypeParameters	getTypeParameters() Return the ordered list of type parameters of this operation.

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainFeature

getImplementation, getOwningType, isStatic

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement

getType, getTypeId

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.Nameable

getName

Method Detail

getIndex

int getIndex()

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

getBodyExpression

DomainExpression getBodyExpression()

getInheritance

@Nullable
DomainInheritance getInheritance(@NonNull
                                          DomainStandardLibrary standardLibrary)

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

getParametersId

@NonNull
ParametersId getParametersId()

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

getParameterTypes

@NonNull
DomainParameterTypes getParameterTypes()

Return the ordered list of parameters of this operation.

getPostcondition

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

getPrecondition

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

getTypeParameters

@NonNull
DomainTypeParameters getTypeParameters()

Return the ordered list of type parameters of this operation.

getOperationId

@NonNull
OperationId getOperationId()

getOwnedParameter

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