org.eclipse.ocl.pivot.internal.elements

Class AbstractExecutorOperation

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

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, Element, Feature, NamedElement, Namespace, Operation, TemplateableElement, TypedElement, Visitable, Nameable

Direct Known Subclasses:

ExecutorOperation

public class AbstractExecutorOperation
extends AbstractExecutorFeature
implements Operation

Field Summary

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

type

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

name

Constructor Summary

Constructors

Constructor and Description
AbstractExecutorOperation(java.lang.String name, Type executorType)

Method Summary

Modifier and Type	Method and Description
LanguageExpression	getBodyExpression() Returns the value of the 'Body Expression' containment reference.
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.
OperationId	getOperationId()
java.util.List<TemplateBinding>	getOwnedBindings() Returns the value of the 'Owned Bindings' containment reference list.
java.util.List<Constraint>	getOwnedConstraints() Returns the value of the 'Owned Constraints' containment reference list.
java.util.List<Parameter>	getOwnedParameters() Returns the value of the 'Owned Parameters' containment reference list.
java.util.List<Constraint>	getOwnedPostconditions() Returns the value of the 'Owned Postconditions' containment reference list.
java.util.List<Constraint>	getOwnedPreconditions() Returns the value of the 'Owned Preconditions' containment reference list.
TemplateSignature	getOwnedSignature() Returns the value of the 'Owned Signature' containment reference.
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.
Precedence	getPrecedence() Returns the value of the 'Precedence' reference.
java.util.List<Type>	getRaisedExceptions() Returns the value of the 'Raised Exceptions' reference list.
java.util.List<Operation>	getRedefinedOperations() Returns the value of the 'Redefined Operations' reference list.
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this operation.
TemplateableElement	getUnspecializedElement() Returns the value of the 'Unspecialized Element' reference.
boolean	isIsInvalidating() Returns the value of the 'Is Invalidating' attribute.
boolean	isIsTypeof() Returns the value of the 'Is Typeof' attribute.
boolean	isIsValidating() Returns the value of the 'Is Validating' attribute.
void	setBodyExpression(LanguageExpression value) Sets the value of the 'Body Expression' containment reference.
void	setIsInvalidating(boolean value) Sets the value of the 'Is Invalidating' attribute.
void	setIsTypeof(boolean value) Sets the value of the 'Is Typeof' attribute.
void	setIsValidating(boolean value) Sets the value of the 'Is Validating' attribute.
void	setOwnedSignature(TemplateSignature value) Sets the value of the 'Owned Signature' containment reference.
void	setOwningClass(Class value) Sets the value of the 'Owning Class' container reference.
void	setPrecedence(Precedence value) Sets the value of the 'Precedence' reference.
void	setUnspecializedElement(TemplateableElement value) Sets the value of the 'Unspecialized Element' reference.
boolean	validateCompatibleReturn(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateLoadableImplementation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUniquePostconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUniquePreconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

getImplementation, getImplementationClass, getOwningClass, isIsStatic, setImplementation, setImplementationClass, setIsStatic, validateTypeIsNotInvalid

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

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType, toString

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

getName, 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

clone, equals, finalize, 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

getImplementation, getImplementationClass, isIsStatic, setImplementation, setImplementationClass, setIsStatic, validateTypeIsNotInvalid

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

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

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

getName, 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.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

eClass

Constructor Detail

AbstractExecutorOperation

public AbstractExecutorOperation(@NonNull
                                 java.lang.String name,
                                 @NonNull
                                 Type executorType)

Method Detail

getOwnedConstraints

@NonNull
public java.util.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

Returns:

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

See Also:

PivotPackage.getNamespace_OwnedConstraints()

getOwnedBindings

public java.util.List<TemplateBinding> getOwnedBindings()

Description copied from interface: TemplateableElement

Returns the value of the 'Owned Bindings' containment reference list. The list contents are of type TemplateBinding. It is bidirectional and its opposite is 'Owning Element'. The optional TemplateBindings from this TemplateableElement to one or more templates.

Specified by:

getOwnedBindings in interface TemplateableElement

Returns:

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

See Also:

PivotPackage.getTemplateableElement_OwnedBindings(), TemplateBinding.getOwningElement()

getOwnedSignature

public TemplateSignature getOwnedSignature()

Description copied from interface: TemplateableElement

Returns the value of the 'Owned Signature' containment reference. It is bidirectional and its opposite is 'Owning Element'. The optional TemplateSignature specifying the formal TemplateParameters for this TemplateableElement. If a TemplateableElement has a TemplateSignature, then it is a template.

Specified by:

getOwnedSignature in interface TemplateableElement

Returns:

the value of the 'Owned Signature' containment reference.

See Also:

TemplateableElement.setOwnedSignature(TemplateSignature), PivotPackage.getTemplateableElement_OwnedSignature(), TemplateSignature.getOwningElement()

setOwnedSignature

public void setOwnedSignature(TemplateSignature value)

Description copied from interface: TemplateableElement

Sets the value of the 'Owned Signature' containment reference.

Specified by:

setOwnedSignature in interface TemplateableElement

Parameters:

value - the new value of the 'Owned Signature' containment reference.

See Also:

TemplateableElement.getOwnedSignature()

getUnspecializedElement

public TemplateableElement getUnspecializedElement()

Description copied from interface: TemplateableElement

Returns the value of the 'Unspecialized Element' reference.

If the meaning of the 'Unspecialized Element' reference isn't clear, there really should be more of a description here...

Specified by:

getUnspecializedElement in interface TemplateableElement

Returns:

the value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.setUnspecializedElement(TemplateableElement), PivotPackage.getTemplateableElement_UnspecializedElement()

setUnspecializedElement

public void setUnspecializedElement(TemplateableElement value)

Description copied from interface: TemplateableElement

Sets the value of the 'Unspecialized Element' reference.

Specified by:

setUnspecializedElement in interface TemplateableElement

Parameters:

value - the new value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.getUnspecializedElement()

getRaisedExceptions

@NonNull
public java.util.List<Type> getRaisedExceptions()

Description copied from interface: Operation

Returns the value of the 'Raised Exceptions' reference list. The list contents are of type Type. The Types representing exceptions that may be raised during an invocation of this BehavioralFeature. The Types representing exceptions that may be raised during an invocation of this operation.

Specified by:

getRaisedExceptions in interface Operation

Returns:

the value of the 'Raised Exceptions' reference list.

See Also:

PivotPackage.getOperation_RaisedExceptions()

getOwnedParameters

@NonNull
public java.util.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

Returns:

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

See Also:

PivotPackage.getOperation_OwnedParameters(), Parameter.getOwningOperation()

getPrecedence

public Precedence getPrecedence()

Description copied from interface: Operation

Returns the value of the 'Precedence' reference.

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

Specified by:

getPrecedence in interface Operation

Returns:

the value of the 'Precedence' reference.

See Also:

Operation.setPrecedence(Precedence), PivotPackage.getOperation_Precedence()

setPrecedence

public void setPrecedence(Precedence value)

Description copied from interface: Operation

Sets the value of the 'Precedence' reference.

Specified by:

setPrecedence in interface Operation

Parameters:

value - the new value of the 'Precedence' reference.

See Also:

Operation.getPrecedence()

getRedefinedOperations

@NonNull
public java.util.List<Operation> getRedefinedOperations()

Description copied from interface: Operation

Returns the value of the 'Redefined Operations' reference list. The list contents are of type Operation.

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

The Operations that are redefined by this Operation.

Specified by:

getRedefinedOperations in interface Operation

Returns:

the value of the 'Redefined Operations' reference list.

See Also:

PivotPackage.getOperation_RedefinedOperations()

getOwnedPreconditions

@NonNull
public java.util.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

Returns:

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

See Also:

PivotPackage.getOperation_OwnedPreconditions(), Constraint.getOwningPreContext()

getOwnedPostconditions

@NonNull
public java.util.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

Returns:

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

See Also:

PivotPackage.getOperation_OwnedPostconditions(), Constraint.getOwningPostContext()

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

Returns:

the value of the 'Body Expression' containment reference.

See Also:

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

setBodyExpression

public void setBodyExpression(LanguageExpression value)

Description copied from interface: Operation

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

Specified by:

setBodyExpression in interface Operation

Parameters:

value - the new value of the 'Body Expression' containment reference.

See Also:

Operation.getBodyExpression()

isIsInvalidating

public boolean isIsInvalidating()

Description copied from interface: Operation

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

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

Specified by:

isIsInvalidating in interface Operation

Returns:

the value of the 'Is Invalidating' attribute.

See Also:

Operation.setIsInvalidating(boolean), PivotPackage.getOperation_IsInvalidating()

setIsInvalidating

public void setIsInvalidating(boolean value)

Description copied from interface: Operation

Sets the value of the 'Is Invalidating' attribute.

Specified by:

setIsInvalidating in interface Operation

Parameters:

value - the new value of the 'Is Invalidating' attribute.

See Also:

Operation.isIsInvalidating()

isIsTypeof

public boolean isIsTypeof()

Description copied from interface: Operation

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

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

Specified by:

isIsTypeof in interface Operation

Returns:

the value of the 'Is Typeof' attribute.

See Also:

Operation.setIsTypeof(boolean), PivotPackage.getOperation_IsTypeof()

setIsTypeof

public void setIsTypeof(boolean value)

Description copied from interface: Operation

Sets the value of the 'Is Typeof' attribute.

Specified by:

setIsTypeof in interface Operation

Parameters:

value - the new value of the 'Is Typeof' attribute.

See Also:

Operation.isIsTypeof()

isIsValidating

public boolean isIsValidating()

Description copied from interface: Operation

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

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

Specified by:

isIsValidating in interface Operation

Returns:

the value of the 'Is Validating' attribute.

See Also:

Operation.setIsValidating(boolean), PivotPackage.getOperation_IsValidating()

setIsValidating

public void setIsValidating(boolean value)

Description copied from interface: Operation

Sets the value of the 'Is Validating' attribute.

Specified by:

setIsValidating in interface Operation

Parameters:

value - the new value of the 'Is Validating' attribute.

See Also:

Operation.isIsValidating()

setOwningClass

public void setOwningClass(Class value)

Description copied from interface: Operation

Sets the value of the 'Owning Class' container reference.

Specified by:

setOwningClass in interface Operation

Parameters:

value - the new value of the 'Owning Class' container reference.

See Also:

Operation.getOwningClass()

validateCompatibleReturn

public boolean validateCompatibleReturn(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Operation

Specified by:

validateCompatibleReturn in interface Operation

validateLoadableImplementation

public boolean validateLoadableImplementation(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Operation

Specified by:

validateLoadableImplementation in interface Operation

validateUniquePreconditionName

public boolean validateUniquePreconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Operation

Specified by:

validateUniquePreconditionName in interface Operation

validateUniquePostconditionName

public boolean validateUniquePostconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Operation

Specified by:

validateUniquePostconditionName in interface Operation

getIndex

public int getIndex()

Description copied from interface: Operation

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

Specified by:

getIndex in interface Operation

getInheritance

@Nullable
public CompleteInheritance getInheritance(@NonNull
                                                     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

getOperationId

@NonNull
public OperationId getOperationId()

Specified by:

getOperationId in interface Operation

getParametersId

@NonNull
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

getParameterTypes

@NonNull
public ParameterTypes getParameterTypes()

Description copied from interface: Operation

Return the ordered list of parameters of this operation.

Specified by:

getParameterTypes in interface Operation

getTypeParameters

@NonNull
public TemplateParameters getTypeParameters()

Description copied from interface: Operation

Return the ordered list of type parameters of this operation.

Specified by:

getTypeParameters in interface Operation