org.eclipse.ocl.pivot.internal.library.executor

Class ExecutorOperation

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorTypedElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorFeature

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorOperation

org.eclipse.ocl.pivot.internal.library.executor.ExecutorOperation

All Implemented Interfaces:

Element, Feature, NamedElement, Namespace, Operation, TemplateableElement, TypedElement, Visitable, Nameable

public class ExecutorOperation
extends AbstractExecutorOperation

Constructor Summary

Constructors

Constructor and Description
ExecutorOperation(String name, ParameterTypes parameterTypes, Type type, int index, TemplateParameters typeParameters, LibraryFeature implementation)

Method Summary

Modifier and Type	Method and Description
LanguageExpression	getBodyExpression() Returns the value of the 'Body Expression' containment reference.
LibraryFeature	getImplementation() Returns the value of the 'Implementation' attribute.
int	getIndex() Return the index of this operation in the operation dispatch table.
CompleteInheritance	getInheritance(StandardLibrary standardLibrary) Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.
String	getName() Returns the value of the 'Name' attribute.
OperationId	getOperationId()
List<Constraint>	getOwnedConstraints() Returns the value of the 'Owned Constraints' containment reference list.
List<Parameter>	getOwnedParameters() Returns the value of the 'Owned Parameters' containment reference list.
List<Constraint>	getOwnedPostconditions() Returns the value of the 'Owned Postconditions' containment reference list.
List<Constraint>	getOwnedPreconditions() Returns the value of the 'Owned Preconditions' containment reference list.
ParametersId	getParametersId() Return the unique identity of the ordered list of parameters of this operation.
ParameterTypes	getParameterTypes() Return the ordered list of parameters of this operation.
TypeId	getTypeId()
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this operation.
boolean	isIsStatic() Returns the value of the 'Is Static' attribute.
String	toString()

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorOperation

getOwnedBindings, getOwnedSignature, getPrecedence, getRaisedExceptions, getRedefinedOperations, getUnspecializedElement, isIsInvalidating, isIsTransient, isIsTypeof, isIsValidating, setBodyExpression, setIsInvalidating, setIsTransient, setIsTypeof, setIsValidating, setOwnedSignature, setOwningClass, setPrecedence, setUnspecializedElement, validateCompatibleReturn, validateLoadableImplementation, validateUniquePostconditionName, validateUniquePreconditionName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorFeature

getImplementationClass, getOwningClass, setImplementation, setImplementationClass, setIsStatic, validateNameIsNotNull, validateTypeIsNotInvalid, validateTypeIsNotNull

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorTypedElement

CompatibleBody, getType, isIsMany, isIsRequired, setIsRequired, setType

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.Operation

getOwningClass

Methods inherited from interface org.eclipse.ocl.pivot.Feature

getImplementationClass, setImplementation, setImplementationClass, setIsStatic, validateNameIsNotNull, validateTypeIsNotInvalid, validateTypeIsNotNull

Methods inherited from interface org.eclipse.ocl.pivot.TypedElement

CompatibleBody, getType, isIsMany, isIsRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Constructor Detail

ExecutorOperation

public ExecutorOperation(String name,
                         ParameterTypes parameterTypes,
                         Type type,
                         int index,
                         TemplateParameters typeParameters,
                         LibraryFeature implementation)

Method Detail

getImplementation

public LibraryFeature getImplementation()

Description copied from interface: Feature

Returns the value of the 'Implementation' attribute.

If the meaning of the 'Implementation' attribute isn't clear, there really should be more of a description here...

Specified by:

getImplementation in interface Feature

Overrides:

getImplementation in class AbstractExecutorFeature

Returns:

the value of the 'Implementation' attribute.

See Also:

Feature.setImplementation(LibraryFeature), PivotPackage.getFeature_Implementation()

getBodyExpression

public LanguageExpression getBodyExpression()

Description copied from interface: Operation

Returns the value of the 'Body Expression' containment reference.

If the meaning of the 'Body Expression' containment reference isn't clear, there really should be more of a description here...

Specified by:

getBodyExpression in interface Operation

Overrides:

getBodyExpression in class AbstractExecutorOperation

Returns:

the value of the 'Body Expression' containment reference.

See Also:

Operation.setBodyExpression(LanguageExpression), PivotPackage.getOperation_BodyExpression()

getIndex

public final int getIndex()

Description copied from interface: Operation

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

Specified by:

getIndex in interface Operation

Overrides:

getIndex in class AbstractExecutorOperation

getInheritance

public final CompleteInheritance getInheritance(StandardLibrary standardLibrary)

Description copied from interface: Operation

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

Specified by:

getInheritance in interface Operation

Overrides:

getInheritance in class AbstractExecutorOperation

getName

public final String getName()

Description copied from interface: NamedElement

Returns the value of the 'Name' attribute. The name of the NamedElement.

Specified by:

getName in interface NamedElement

Specified by:

getName in interface Nameable

Overrides:

getName in class AbstractExecutorNamedElement

Returns:

the value of the 'Name' attribute.

See Also:

NamedElement.setName(String), PivotPackage.getNamedElement_Name()

getOperationId

public OperationId getOperationId()

Specified by:

getOperationId in interface Operation

Overrides:

getOperationId in class AbstractExecutorOperation

getOwnedConstraints

public List<Constraint> getOwnedConstraints()

Description copied from interface: Namespace

Returns the value of the 'Owned Constraints' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Owned Rule' containment reference list isn't clear, there really should be more of a description here...

Specifies a set of Constraints owned by this Namespace.

Specified by:

getOwnedConstraints in interface Namespace

Overrides:

getOwnedConstraints in class AbstractExecutorOperation

Returns:

the value of the 'Owned Constraints' containment reference list.

See Also:

PivotPackage.getNamespace_OwnedConstraints()

getOwnedParameters

public List<Parameter> getOwnedParameters()

Description copied from interface: Operation

Returns the value of the 'Owned Parameters' containment reference list. The list contents are of type Parameter. It is bidirectional and its opposite is 'Owning Operation'. The ordered set of formal Parameters of this BehavioralFeature. The parameters owned by this Operation.

Specified by:

getOwnedParameters in interface Operation

Overrides:

getOwnedParameters in class AbstractExecutorOperation

Returns:

the value of the 'Owned Parameters' containment reference list.

See Also:

PivotPackage.getOperation_OwnedParameters(), Parameter.getOwningOperation()

getOwnedPostconditions

public List<Constraint> getOwnedPostconditions()

Description copied from interface: Operation

Returns the value of the 'Owned Postconditions' containment reference list. The list contents are of type Constraint. It is bidirectional and its opposite is 'Owning Post Context'.

If the meaning of the 'Owned Postconditions' containment reference list isn't clear, there really should be more of a description here...

An optional set of Constraints specifying the state of the system when the Operation is completed.

Specified by:

getOwnedPostconditions in interface Operation

Overrides:

getOwnedPostconditions in class AbstractExecutorOperation

Returns:

the value of the 'Owned Postconditions' containment reference list.

See Also:

PivotPackage.getOperation_OwnedPostconditions(), Constraint.getOwningPostContext()

getOwnedPreconditions

public List<Constraint> getOwnedPreconditions()

Description copied from interface: Operation

Returns the value of the 'Owned Preconditions' containment reference list. The list contents are of type Constraint. It is bidirectional and its opposite is 'Owning Pre Context'.

If the meaning of the 'Owned Preconditions' containment reference list isn't clear, there really should be more of a description here...

An optional set of Constraints on the state of the system when the Operation is invoked.

Specified by:

getOwnedPreconditions in interface Operation

Overrides:

getOwnedPreconditions in class AbstractExecutorOperation

Returns:

the value of the 'Owned Preconditions' containment reference list.

See Also:

PivotPackage.getOperation_OwnedPreconditions(), Constraint.getOwningPreContext()

getParametersId

public ParametersId getParametersId()

Description copied from interface: Operation

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

Specified by:

getParametersId in interface Operation

Overrides:

getParametersId in class AbstractExecutorOperation

getParameterTypes

public ParameterTypes getParameterTypes()

Description copied from interface: Operation

Return the ordered list of parameters of this operation.

Specified by:

getParameterTypes in interface Operation

Overrides:

getParameterTypes in class AbstractExecutorOperation

getTypeId

public TypeId getTypeId()

Specified by:

getTypeId in interface TypedElement

Overrides:

getTypeId in class AbstractExecutorTypedElement

getTypeParameters

public TemplateParameters getTypeParameters()

Description copied from interface: Operation

Return the ordered list of type parameters of this operation.

Specified by:

getTypeParameters in interface Operation

Overrides:

getTypeParameters in class AbstractExecutorOperation

isIsStatic

public boolean isIsStatic()

Description copied from interface: Feature

Returns the value of the 'Is Static' attribute. The default value is "false".

If the meaning of the 'Is Static' attribute isn't clear, there really should be more of a description here...

Specifies whether this Feature characterizes individual instances classified by the Classifier (false) or the Classifier itself (true).

Specified by:

isIsStatic in interface Feature

Overrides:

isIsStatic in class AbstractExecutorFeature

Returns:

the value of the 'Is Static' attribute.

See Also:

Feature.setIsStatic(boolean), PivotPackage.getFeature_IsStatic()

toString

public String toString()

Overrides:

toString in class AbstractExecutorTypedElement