org.eclipse.ocl.pivot.internal

Class OperationImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypedElementImpl

org.eclipse.ocl.pivot.internal.FeatureImpl

org.eclipse.ocl.pivot.internal.OperationImpl

All Implemented Interfaces:

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

Direct Known Subclasses:

IterationImpl

public class OperationImpl
extends FeatureImpl
implements Operation

An implementation of the model object 'Operation'.

The following features are implemented:

• Owned Constraints
• Owned Bindings
• Owned Signature
• Unspecialized Element
• Body Expression
• Is Invalidating
• Is Transient
• Is Typeof
• Is Validating
• Owned Parameters
• Owned Postconditions
• Owned Preconditions
• Owning Class
• Precedence
• Raised Exceptions
• Redefined Operations

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
Precedence	basicGetPrecedence()
NotificationChain	basicSetBodyExpression(LanguageExpression newBodyExpression, NotificationChain msgs)
NotificationChain	basicSetOwnedSignature(TemplateSignature newOwnedSignature, NotificationChain msgs)
NotificationChain	basicSetOwningClass(Class newOwningClass, NotificationChain msgs)
int	eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
NotificationChain	eBasicRemoveFromContainerFeature(NotificationChain msgs)
int	eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
Object	eInvoke(int operationID, <any> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
LanguageExpression	getBodyExpression()
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()
List<TemplateBinding>	getOwnedBindings()
List<Constraint>	getOwnedConstraints()
List<Parameter>	getOwnedParameters()
List<Constraint>	getOwnedPostconditions()
List<Constraint>	getOwnedPreconditions()
TemplateSignature	getOwnedSignature()
Class	getOwningClass()
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()
List<Type>	getRaisedExceptions()
List<Operation>	getRedefinedOperations()
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this operation.
TemplateableElement	getUnspecializedElement()
boolean	isIsInvalidating()
boolean	isIsTransient()
boolean	isIsTypeof()
boolean	isIsValidating()
void	setBodyExpression(LanguageExpression newBodyExpression)
void	setIsInvalidating(boolean newIsInvalidating)
void	setIsTransient(boolean newIsTransient)
void	setIsTypeof(boolean newIsTypeof)
void	setIsValidating(boolean newIsValidating)
void	setOwnedSignature(TemplateSignature newOwnedSignature)
void	setOwningClass(Class newOwningClass)
void	setPrecedence(Precedence newPrecedence)
void	setUnspecializedElement(TemplateableElement newUnspecializedElement)
String	toString()
boolean	validateCompatibleReturn(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLoadableImplementation(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUniquePostconditionName(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUniquePreconditionName(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.FeatureImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.TypedElementImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

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

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

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

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

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

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

eClass

Method Detail

getOwnedConstraints

public List<Constraint> getOwnedConstraints()

Specified by:

getOwnedConstraints in interface Namespace

Returns:

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

See Also:

PivotPackage.getNamespace_OwnedConstraints()

EMF generated code

getOwnedBindings

public List<TemplateBinding> getOwnedBindings()

Specified by:

getOwnedBindings in interface TemplateableElement

Returns:

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

See Also:

PivotPackage.getTemplateableElement_OwnedBindings(), TemplateBinding.getOwningElement()

EMF generated code

getRaisedExceptions

public List<Type> getRaisedExceptions()

Specified by:

getRaisedExceptions in interface Operation

Returns:

the value of the 'Raised Exceptions' reference list.

See Also:

PivotPackage.getOperation_RaisedExceptions()

EMF generated code

getRedefinedOperations

public List<Operation> getRedefinedOperations()

Specified by:

getRedefinedOperations in interface Operation

Returns:

the value of the 'Redefined Operations' reference list.

See Also:

PivotPackage.getOperation_RedefinedOperations()

EMF generated code

getOwnedParameters

public List<Parameter> getOwnedParameters()

Specified by:

getOwnedParameters in interface Operation

Returns:

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

See Also:

PivotPackage.getOperation_OwnedParameters(), Parameter.getOwningOperation()

EMF generated code

getOwnedPostconditions

public List<Constraint> getOwnedPostconditions()

Specified by:

getOwnedPostconditions in interface Operation

Returns:

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

See Also:

PivotPackage.getOperation_OwnedPostconditions(), Constraint.getOwningPostContext()

EMF generated code

getOwnedPreconditions

public List<Constraint> getOwnedPreconditions()

Specified by:

getOwnedPreconditions in interface Operation

Returns:

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

See Also:

PivotPackage.getOperation_OwnedPreconditions(), Constraint.getOwningPreContext()

EMF generated code

getOwnedSignature

public TemplateSignature getOwnedSignature()

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()

EMF generated code

basicSetOwnedSignature

public NotificationChain basicSetOwnedSignature(TemplateSignature newOwnedSignature,
                                                NotificationChain msgs)

EMF generated code

setOwnedSignature

public void setOwnedSignature(TemplateSignature newOwnedSignature)

Specified by:

setOwnedSignature in interface TemplateableElement

Parameters:

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

See Also:

TemplateableElement.getOwnedSignature()

EMF generated code

getUnspecializedElement

public TemplateableElement getUnspecializedElement()

Specified by:

getUnspecializedElement in interface TemplateableElement

Returns:

the value of the 'Unspecialized Element' reference.

See Also:

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

EMF generated code

NOT

setUnspecializedElement

public void setUnspecializedElement(TemplateableElement newUnspecializedElement)

Specified by:

setUnspecializedElement in interface TemplateableElement

Parameters:

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

See Also:

TemplateableElement.getUnspecializedElement()

EMF generated code

NOT

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface Operation

Returns:

the value of the 'Precedence' reference.

See Also:

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

EMF generated code

basicGetPrecedence

public Precedence basicGetPrecedence()

EMF generated code

setPrecedence

public void setPrecedence(Precedence newPrecedence)

Specified by:

setPrecedence in interface Operation

Parameters:

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

See Also:

Operation.getPrecedence()

EMF generated code

getBodyExpression

public LanguageExpression getBodyExpression()

Specified by:

getBodyExpression in interface Operation

Returns:

the value of the 'Body Expression' containment reference.

See Also:

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

EMF generated code

basicSetBodyExpression

public NotificationChain basicSetBodyExpression(LanguageExpression newBodyExpression,
                                                NotificationChain msgs)

EMF generated code

setBodyExpression

public void setBodyExpression(LanguageExpression newBodyExpression)

Specified by:

setBodyExpression in interface Operation

Parameters:

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

See Also:

Operation.getBodyExpression()

EMF generated code

isIsInvalidating

public boolean isIsInvalidating()

Specified by:

isIsInvalidating in interface Operation

Returns:

the value of the 'Is Invalidating' attribute.

See Also:

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

EMF generated code

setIsInvalidating

public void setIsInvalidating(boolean newIsInvalidating)

Specified by:

setIsInvalidating in interface Operation

Parameters:

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

See Also:

Operation.isIsInvalidating()

EMF generated code

isIsTransient

public boolean isIsTransient()

Specified by:

isIsTransient in interface Operation

Returns:

the value of the 'Is Transient' attribute.

Since:

1.3

See Also:

Operation.setIsTransient(boolean), PivotPackage.getOperation_IsTransient()

EMF generated code

setIsTransient

public void setIsTransient(boolean newIsTransient)

Specified by:

setIsTransient in interface Operation

Parameters:

newIsTransient - the new value of the 'Is Transient' attribute.

Since:

1.3

See Also:

Operation.isIsTransient()

EMF generated code

isIsTypeof

public boolean isIsTypeof()

Specified by:

isIsTypeof in interface Operation

Returns:

the value of the 'Is Typeof' attribute.

See Also:

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

EMF generated code

setIsTypeof

public void setIsTypeof(boolean newIsTypeof)

Specified by:

setIsTypeof in interface Operation

Parameters:

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

See Also:

Operation.isIsTypeof()

EMF generated code

isIsValidating

public boolean isIsValidating()

Specified by:

isIsValidating in interface Operation

Returns:

the value of the 'Is Validating' attribute.

See Also:

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

EMF generated code

setIsValidating

public void setIsValidating(boolean newIsValidating)

Specified by:

setIsValidating in interface Operation

Parameters:

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

See Also:

Operation.isIsValidating()

EMF generated code

getOwningClass

public Class getOwningClass()

Specified by:

getOwningClass in interface Feature

Specified by:

getOwningClass in interface Operation

Returns:

the value of the 'Owning Class' container reference.

See Also:

Operation.setOwningClass(org.eclipse.ocl.pivot.Class), PivotPackage.getOperation_OwningClass(), Class.getOwnedOperations()

EMF generated code

basicSetOwningClass

public NotificationChain basicSetOwningClass(Class newOwningClass,
                                             NotificationChain msgs)

EMF generated code

setOwningClass

public void setOwningClass(Class newOwningClass)

Specified by:

setOwningClass in interface Operation

Parameters:

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

See Also:

Operation.getOwningClass()

EMF generated code

validateCompatibleReturn

public boolean validateCompatibleReturn(DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Specified by:

validateCompatibleReturn in interface Operation

EMF generated code

validateLoadableImplementation

public boolean validateLoadableImplementation(DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Specified by:

validateLoadableImplementation in interface Operation

EMF generated code

validateUniquePreconditionName

public boolean validateUniquePreconditionName(DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Specified by:

validateUniquePreconditionName in interface Operation

EMF generated code

validateUniquePostconditionName

public boolean validateUniquePostconditionName(DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

Specified by:

validateUniquePostconditionName in interface Operation

EMF generated code

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:

eInverseAdd in class ElementImpl

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class ElementImpl

EMF generated code

eBasicRemoveFromContainerFeature

public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs)

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class FeatureImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class FeatureImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class FeatureImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class FeatureImpl

EMF generated code

eBaseStructuralFeatureID

public int eBaseStructuralFeatureID(int derivedFeatureID,
                                    Class<?> baseClass)

EMF generated code

eDerivedStructuralFeatureID

public int eDerivedStructuralFeatureID(int baseFeatureID,
                                       Class<?> baseClass)

EMF generated code

eInvoke

public Object eInvoke(int operationID,
                      <any> arguments)
               throws InvocationTargetException

Overrides:

eInvoke in class FeatureImpl

Throws:

InvocationTargetException

EMF generated code

toString

public String toString()

Overrides:

toString in class FeatureImpl

EMF generated code

NOT

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class FeatureImpl

Returns:

the result of the visit.

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

public 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

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

getParameterTypes

public ParameterTypes getParameterTypes()

Description copied from interface: Operation

Return the ordered list of parameters of this operation.

Specified by:

getParameterTypes in interface Operation

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

getOperationId

public final OperationId getOperationId()

Specified by:

getOperationId in interface Operation