org.eclipse.ocl.examples.pivot.internal.impl
Class OperationImpl

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.EObjectImpl
              extended by org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  extended by org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      extended by org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          extended by org.eclipse.ocl.examples.pivot.internal.impl.TypedElementImpl
                              extended by org.eclipse.ocl.examples.pivot.internal.impl.TypedMultiplicityElementImpl
                                  extended by org.eclipse.ocl.examples.pivot.internal.impl.FeatureImpl
                                      extended by org.eclipse.ocl.examples.pivot.internal.impl.OperationImpl
All Implemented Interfaces:
org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, DomainElement, DomainFeature, DomainNamedElement, DomainNamespace, DomainOperation, DomainTypedElement, Labelable, Nameable, Element, Feature, NamedElement, Namespace, Operation, ParameterableElement, TemplateableElement, TypedElement, TypedMultiplicityElement, Visitable, PivotObject
Direct Known Subclasses:
IterationImpl

public class OperationImpl
extends FeatureImpl
implements Operation

An implementation of the model object 'Operation'.

The following features are implemented:

Generated

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl
 
Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList
 
Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter
org.eclipse.emf.common.notify.Adapter.Internal
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject
org.eclipse.emf.ecore.InternalEObject.EStore
 
Field Summary
protected  OpaqueExpression bodyExpression
          The cached value of the 'Body Expression' containment reference.
protected static boolean IS_INVALIDATING_EDEFAULT
          The default value of the 'Is Invalidating' attribute.
protected static int IS_INVALIDATING_EFLAG
          The flag representing the value of the 'Is Invalidating' attribute.
protected static boolean IS_VALIDATING_EDEFAULT
          The default value of the 'Is Validating' attribute.
protected static int IS_VALIDATING_EFLAG
          The flag representing the value of the 'Is Validating' attribute.
protected  org.eclipse.emf.common.util.EList<Parameter> ownedParameter
          The cached value of the 'Owned Parameter' containment reference list.
protected  org.eclipse.emf.common.util.EList<Constraint> ownedRule
          The cached value of the 'Owned Rule' containment reference list.
protected  TemplateSignature ownedTemplateSignature
          The cached value of the 'Owned Template Signature' containment reference.
protected  org.eclipse.emf.common.util.EList<Constraint> postcondition
          The cached value of the 'Postcondition' containment reference list.
protected  Precedence precedence
          The cached value of the 'Precedence' reference.
protected  org.eclipse.emf.common.util.EList<Constraint> precondition
          The cached value of the 'Precondition' containment reference list.
protected  org.eclipse.emf.common.util.EList<Type> raisedException
          The cached value of the 'Raised Exception' reference list.
protected  org.eclipse.emf.common.util.EList<Operation> redefinedOperation
          The cached value of the 'Redefined Operation' reference list.
protected  org.eclipse.emf.common.util.EList<TemplateBinding> templateBinding
          The cached value of the 'Template Binding' containment reference list.
protected  TemplateParameter templateParameter
          The cached value of the 'Template Parameter' reference.
protected  TemplateableElement unspecializedElement
          The cached value of the 'Unspecialized Element' reference.
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.FeatureImpl
implementation, IMPLEMENTATION_CLASS_EDEFAULT, IMPLEMENTATION_EDEFAULT, implementationClass
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypedElementImpl
IS_REQUIRED_EDEFAULT, IS_REQUIRED_EFLAG, type
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
IS_STATIC_EDEFAULT, IS_STATIC_EFLAG, name, NAME_EDEFAULT
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
extension, ownedAnnotation, ownedComment
 
Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl
eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY
 
Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
 
Fields inherited from interface org.eclipse.emf.ecore.InternalEObject
EOPPOSITE_FEATURE_BASE
 
Constructor Summary
protected OperationImpl()
           
 
Method Summary
<R> R
accept(Visitor<R> visitor)
          Returns the result of accepting a visit from a visitor.
 Class basicGetClass_()
           
 Precedence basicGetPrecedence()
           
 TemplateParameter basicGetTemplateParameter()
           
 org.eclipse.emf.common.notify.NotificationChain basicSetBodyExpression(OpaqueExpression newBodyExpression, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 org.eclipse.emf.common.notify.NotificationChain basicSetOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 org.eclipse.emf.common.notify.NotificationChain basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 org.eclipse.emf.common.notify.NotificationChain basicSetOwningType(Type newOwningType, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 org.eclipse.emf.common.notify.NotificationChain basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 int eBaseStructuralFeatureID(int derivedFeatureID, java.lang.Class<?> baseClass)
           
 org.eclipse.emf.common.notify.NotificationChain eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)
           
 int eDerivedOperationID(int baseOperationID, java.lang.Class<?> baseClass)
           
 int eDerivedStructuralFeatureID(int baseFeatureID, java.lang.Class<?> baseClass)
           
 java.lang.Object eGet(int featureID, boolean resolve, boolean coreType)
           
 org.eclipse.emf.common.notify.NotificationChain eInverseAdd(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
           
 java.lang.Object eInvoke(int operationID, org.eclipse.emf.common.util.EList<?> arguments)
           
 boolean eIsSet(int featureID)
           
 void eSet(int featureID, java.lang.Object newValue)
           
protected  org.eclipse.emf.ecore.EClass eStaticClass()
           
 void eUnset(int featureID)
           
 OpaqueExpression getBodyExpression()
           
 Class getClass_()
           
 LibraryFeature getImplementation()
           
 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<Parameter> getOwnedParameter()
           
 java.util.List<Constraint> getOwnedRule()
           
 TemplateSignature getOwnedTemplateSignature()
           
 TemplateParameter getOwningTemplateParameter()
           
 Type getOwningType()
           
 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<Constraint> getPostcondition()
           
 Precedence getPrecedence()
           
 java.util.List<Constraint> getPrecondition()
           
 java.util.List<Type> getRaisedException()
           
 java.util.List<Operation> getRedefinedOperation()
           
 java.util.List<TemplateBinding> getTemplateBinding()
           
 TemplateParameter getTemplateParameter()
           
 DomainTypeParameters getTypeParameters()
          Return the ordered list of type parameters of this operation.
 TemplateableElement getUnspecializedElement()
           
 boolean isCompatibleWith(ParameterableElement p)
           
 boolean isInvalidating()
           
 boolean isTemplate()
           
 boolean isTemplateParameter()
           
 boolean isValidating()
           
 java.util.List<ParameterableElement> parameterableElements()
           
 void setBodyExpression(OpaqueExpression newBodyExpression)
           
 void setIsInvalidating(boolean newIsInvalidating)
           
 void setIsValidating(boolean newIsValidating)
           
 void setOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature)
           
 void setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
           
 void setOwningType(Type newOwningType)
           
 void setPrecedence(Precedence newPrecedence)
           
 void setTemplateParameter(TemplateParameter newTemplateParameter)
           
 void setUnspecializedElement(TemplateableElement newUnspecializedElement)
           
 java.lang.String toString()
           
 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.examples.pivot.internal.impl.FeatureImpl
getImplementationClass, setImplementation, setImplementationClass
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypedMultiplicityElementImpl
CompatibleBody, isMany, makeParameter
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypedElementImpl
basicGetType, getType, getTypeId, isRequired, setIsRequired, setType
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
getName, isStatic, setIsStatic, setName
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
allOwnedElements, getExtension, getOwnedAnnotation, getOwnedComment, getValue
 
Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
eBasicSetContainer, eBasicSetContainer, getETarget, getImage, getTarget, getText, isAdapterForType, notifyChanged, setTarget, unsetTarget
 
Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl
eAdapters, eBasicAdapters, eBasicProperties, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI
 
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues
 
Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
eBasicAdapterArray, eBasicHasAdapters, eNotificationRequired, eNotify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Feature
getImplementationClass, setImplementation, setImplementationClass
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
CompatibleBody, isMany, makeParameter
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement
getType, isRequired, setIsRequired, setType
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
getName, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, 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.examples.pivot.util.Visitable
eClass
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement
getTypeId
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainFeature
isStatic
 
Methods inherited from interface org.eclipse.emf.ecore.InternalEObject
eNotificationRequired
 

Field Detail

ownedRule

protected org.eclipse.emf.common.util.EList<Constraint> ownedRule
The cached value of the 'Owned Rule' containment reference list.

See Also:
getOwnedRule()
Generated
Ordered

ownedTemplateSignature

protected TemplateSignature ownedTemplateSignature
The cached value of the 'Owned Template Signature' containment reference.

See Also:
getOwnedTemplateSignature()
Generated
Ordered

templateBinding

protected org.eclipse.emf.common.util.EList<TemplateBinding> templateBinding
The cached value of the 'Template Binding' containment reference list.

See Also:
getTemplateBinding()
Generated
Ordered

unspecializedElement

protected TemplateableElement unspecializedElement
The cached value of the 'Unspecialized Element' reference.

See Also:
getUnspecializedElement()
Generated
Ordered

templateParameter

protected TemplateParameter templateParameter
The cached value of the 'Template Parameter' reference.

See Also:
getTemplateParameter()
Generated
Ordered

bodyExpression

protected OpaqueExpression bodyExpression
The cached value of the 'Body Expression' containment reference.

See Also:
getBodyExpression()
Generated
Ordered

IS_INVALIDATING_EDEFAULT

protected static final boolean IS_INVALIDATING_EDEFAULT
The default value of the 'Is Invalidating' attribute.

See Also:
isInvalidating(), Constant Field Values
Generated
Ordered

IS_INVALIDATING_EFLAG

protected static final int IS_INVALIDATING_EFLAG
The flag representing the value of the 'Is Invalidating' attribute.

See Also:
isInvalidating(), Constant Field Values
Generated
Ordered

IS_VALIDATING_EDEFAULT

protected static final boolean IS_VALIDATING_EDEFAULT
The default value of the 'Is Validating' attribute.

See Also:
isValidating(), Constant Field Values
Generated
Ordered

IS_VALIDATING_EFLAG

protected static final int IS_VALIDATING_EFLAG
The flag representing the value of the 'Is Validating' attribute.

See Also:
isValidating(), Constant Field Values
Generated
Ordered

ownedParameter

protected org.eclipse.emf.common.util.EList<Parameter> ownedParameter
The cached value of the 'Owned Parameter' containment reference list.

See Also:
getOwnedParameter()
Generated
Ordered

postcondition

protected org.eclipse.emf.common.util.EList<Constraint> postcondition
The cached value of the 'Postcondition' containment reference list.

See Also:
getPostcondition()
Generated
Ordered

precedence

protected Precedence precedence
The cached value of the 'Precedence' reference.

See Also:
getPrecedence()
Generated
Ordered

precondition

protected org.eclipse.emf.common.util.EList<Constraint> precondition
The cached value of the 'Precondition' containment reference list.

See Also:
getPrecondition()
Generated
Ordered

raisedException

protected org.eclipse.emf.common.util.EList<Type> raisedException
The cached value of the 'Raised Exception' reference list.

See Also:
getRaisedException()
Generated
Ordered

redefinedOperation

protected org.eclipse.emf.common.util.EList<Operation> redefinedOperation
The cached value of the 'Redefined Operation' reference list.

See Also:
getRedefinedOperation()
Generated
Ordered
Constructor Detail

OperationImpl

protected OperationImpl()

Generated
Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:
eStaticClass in class FeatureImpl
Generated

getOwnedRule

@NonNull
public java.util.List<Constraint> getOwnedRule()

Specified by:
getOwnedRule in interface DomainNamespace
Specified by:
getOwnedRule in interface Namespace
Returns:
the value of the 'Owned Rule' containment reference list.
See Also:
PivotPackage.getNamespace_OwnedRule()
Generated

getTemplateBinding

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

Specified by:
getTemplateBinding in interface TemplateableElement
Returns:
the value of the 'Template Binding' containment reference list.
See Also:
PivotPackage.getTemplateableElement_TemplateBinding(), TemplateBinding.getBoundElement()
Generated

getTemplateParameter

public TemplateParameter getTemplateParameter()

Specified by:
getTemplateParameter in interface ParameterableElement
Returns:
the value of the 'Template Parameter' reference.
See Also:
ParameterableElement.setTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_TemplateParameter(), TemplateParameter.getParameteredElement()
Generated

basicGetTemplateParameter

public TemplateParameter basicGetTemplateParameter()

Generated

basicSetTemplateParameter

public org.eclipse.emf.common.notify.NotificationChain basicSetTemplateParameter(TemplateParameter newTemplateParameter,
                                                                                 org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setTemplateParameter

public void setTemplateParameter(TemplateParameter newTemplateParameter)

Specified by:
setTemplateParameter in interface ParameterableElement
Parameters:
newTemplateParameter - the new value of the 'Template Parameter' reference.
See Also:
ParameterableElement.getTemplateParameter()
Generated

getOwningTemplateParameter

public TemplateParameter getOwningTemplateParameter()

Specified by:
getOwningTemplateParameter in interface ParameterableElement
Returns:
the value of the 'Owning Template Parameter' container reference.
See Also:
ParameterableElement.setOwningTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_OwningTemplateParameter(), TemplateParameter.getOwnedParameteredElement()
Generated

basicSetOwningTemplateParameter

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter,
                                                                                       org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningTemplateParameter

public void setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)

Specified by:
setOwningTemplateParameter in interface ParameterableElement
Parameters:
newOwningTemplateParameter - the new value of the 'Owning Template Parameter' container reference.
See Also:
ParameterableElement.getOwningTemplateParameter()
Generated

getRaisedException

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

Specified by:
getRaisedException in interface Operation
Returns:
the value of the 'Raised Exception' reference list.
See Also:
PivotPackage.getOperation_RaisedException()
Generated

getOwnedParameter

@NonNull
public java.util.List<Parameter> getOwnedParameter()

Specified by:
getOwnedParameter in interface DomainOperation
Specified by:
getOwnedParameter in interface Operation
Returns:
the value of the 'Owned Parameter' containment reference list.
See Also:
PivotPackage.getOperation_OwnedParameter(), Parameter.getOperation()
Generated

getOwnedTemplateSignature

public TemplateSignature getOwnedTemplateSignature()

Specified by:
getOwnedTemplateSignature in interface TemplateableElement
Returns:
the value of the 'Owned Template Signature' containment reference.
See Also:
TemplateableElement.setOwnedTemplateSignature(TemplateSignature), PivotPackage.getTemplateableElement_OwnedTemplateSignature(), TemplateSignature.getTemplate()
Generated

basicSetOwnedTemplateSignature

public org.eclipse.emf.common.notify.NotificationChain basicSetOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature,
                                                                                      org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwnedTemplateSignature

public void setOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature)

Specified by:
setOwnedTemplateSignature in interface TemplateableElement
Parameters:
newOwnedTemplateSignature - the new value of the 'Owned Template Signature' containment reference.
See Also:
TemplateableElement.getOwnedTemplateSignature()
Generated

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

basicGetPrecedence

public Precedence basicGetPrecedence()

Generated

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

getRedefinedOperation

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

Specified by:
getRedefinedOperation in interface Operation
Returns:
the value of the 'Redefined Operation' reference list.
See Also:
PivotPackage.getOperation_RedefinedOperation()
Generated

getOwningType

public Type getOwningType()

Specified by:
getOwningType in interface DomainFeature
Specified by:
getOwningType in interface Operation
Returns:
the value of the 'Owning Type' container reference.
See Also:
Operation.setOwningType(Type), PivotPackage.getOperation_OwningType(), Type.getOwnedOperation()
Generated

basicSetOwningType

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningType(Type newOwningType,
                                                                          org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningType

public void setOwningType(Type newOwningType)

Specified by:
setOwningType in interface Operation
Parameters:
newOwningType - the new value of the 'Owning Type' container reference.
See Also:
Operation.getOwningType()
Generated

getPrecondition

@NonNull
public java.util.List<Constraint> getPrecondition()

Specified by:
getPrecondition in interface DomainOperation
Specified by:
getPrecondition in interface Operation
Returns:
the value of the 'Precondition' containment reference list.
See Also:
PivotPackage.getOperation_Precondition()
Generated

getPostcondition

@NonNull
public java.util.List<Constraint> getPostcondition()

Specified by:
getPostcondition in interface DomainOperation
Specified by:
getPostcondition in interface Operation
Returns:
the value of the 'Postcondition' containment reference list.
See Also:
PivotPackage.getOperation_Postcondition()
Generated

getBodyExpression

public OpaqueExpression getBodyExpression()

Specified by:
getBodyExpression in interface DomainOperation
Specified by:
getBodyExpression in interface Operation
Returns:
the value of the 'Body Expression' containment reference.
See Also:
Operation.setBodyExpression(OpaqueExpression), PivotPackage.getOperation_BodyExpression()
Generated

basicSetBodyExpression

public org.eclipse.emf.common.notify.NotificationChain basicSetBodyExpression(OpaqueExpression newBodyExpression,
                                                                              org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setBodyExpression

public void setBodyExpression(OpaqueExpression newBodyExpression)

Specified by:
setBodyExpression in interface Operation
Parameters:
newBodyExpression - the new value of the 'Body Expression' containment reference.
See Also:
Operation.getBodyExpression()
Generated

isInvalidating

public boolean isInvalidating()

Specified by:
isInvalidating in interface Operation
Returns:
the value of the 'Is Invalidating' attribute.
See Also:
Operation.setIsInvalidating(boolean), PivotPackage.getOperation_IsInvalidating()
Generated

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.isInvalidating()
Generated

isValidating

public boolean isValidating()

Specified by:
isValidating in interface Operation
Returns:
the value of the 'Is Validating' attribute.
See Also:
Operation.setIsValidating(boolean), PivotPackage.getOperation_IsValidating()
Generated

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.isValidating()
Generated

getClass_

public Class getClass_()

Specified by:
getClass_ in interface Operation
Returns:
the value of the 'Class' reference.
See Also:
PivotPackage.getOperation_Class()
Generated

basicGetClass_

public Class basicGetClass_()

Generated
NOT

isTemplateParameter

public boolean isTemplateParameter()

Specified by:
isTemplateParameter in interface ParameterableElement
Generated

isCompatibleWith

public boolean isCompatibleWith(ParameterableElement p)

Specified by:
isCompatibleWith in interface ParameterableElement
Generated

validateCompatibleReturn

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

Specified by:
validateCompatibleReturn in interface Operation
Generated

validateLoadableImplementation

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

Specified by:
validateLoadableImplementation in interface Operation
Generated

validateUniquePreconditionName

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

Specified by:
validateUniquePreconditionName in interface Operation
Generated

validateUniquePostconditionName

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

Specified by:
validateUniquePostconditionName in interface Operation
Generated

parameterableElements

public java.util.List<ParameterableElement> parameterableElements()

Specified by:
parameterableElements in interface TemplateableElement
Generated

isTemplate

public boolean isTemplate()

Specified by:
isTemplate in interface TemplateableElement
Generated

eInverseAdd

public org.eclipse.emf.common.notify.NotificationChain eInverseAdd(org.eclipse.emf.ecore.InternalEObject otherEnd,
                                                                   int featureID,
                                                                   org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:
eInverseAdd in class ElementImpl
Generated

eInverseRemove

public org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd,
                                                                      int featureID,
                                                                      org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:
eInverseRemove in class ElementImpl
Generated

eBasicRemoveFromContainerFeature

public org.eclipse.emf.common.notify.NotificationChain eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:
eBasicRemoveFromContainerFeature in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
Generated

eGet

public java.lang.Object eGet(int featureID,
                             boolean resolve,
                             boolean coreType)

Specified by:
eGet in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eGet in class FeatureImpl
Generated

eSet

public void eSet(int featureID,
                 java.lang.Object newValue)

Specified by:
eSet in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eSet in class FeatureImpl
Generated

eUnset

public void eUnset(int featureID)

Specified by:
eUnset in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eUnset in class FeatureImpl
Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:
eIsSet in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eIsSet in class FeatureImpl
Generated

eBaseStructuralFeatureID

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

Specified by:
eBaseStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eBaseStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
Generated

eDerivedStructuralFeatureID

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

Specified by:
eDerivedStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eDerivedStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
Generated

eDerivedOperationID

public int eDerivedOperationID(int baseOperationID,
                               java.lang.Class<?> baseClass)

Specified by:
eDerivedOperationID in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eDerivedOperationID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
Generated

eInvoke

public java.lang.Object eInvoke(int operationID,
                                org.eclipse.emf.common.util.EList<?> arguments)
                         throws java.lang.reflect.InvocationTargetException

Specified by:
eInvoke in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eInvoke in class TypedMultiplicityElementImpl
Throws:
java.lang.reflect.InvocationTargetException
Generated

toString

public java.lang.String toString()

Overrides:
toString in class FeatureImpl
Generated
NOT

accept

public <R> R accept(@NonNull
                    Visitor<R> visitor)
Description copied from interface: Visitable
Returns the result of accepting a visit from a visitor. Implementations typically invoke a derived-class-specific variant of visitXXX() to facilitate derived-class-specific processing or just visit() when no such method is available.

Implementations of visit() may use the EcoreSwitch to perform derived-class-specific processing.

Derived implementations of accept() may use getAdapter() to obtain richer visitor interfaces.

Specified by:
accept in interface Visitable
Overrides:
accept in class FeatureImpl
Returns:
the result of the visit.

getImplementation

@NonNull
public LibraryFeature getImplementation()
Description copied from class: FeatureImpl

Specified by:
getImplementation in interface DomainFeature
Specified by:
getImplementation in interface Feature
Overrides:
getImplementation in class FeatureImpl
Returns:
the value of the 'Implementation' attribute.
See Also:
Feature.setImplementation(LibraryFeature), PivotPackage.getFeature_Implementation()

getIndex

public 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

@Nullable
public 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

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

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

getOperationId

@NonNull
public final OperationId getOperationId()
Specified by:
getOperationId in interface DomainOperation