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

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.ecore.impl.BasicEObjectImpl
          org.eclipse.emf.ecore.impl.EObjectImpl
              org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          org.eclipse.ocl.examples.pivot.internal.impl.ConstraintImpl

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, DomainConstraint, DomainElement, DomainNamedElement, Labelable, Nameable, Constraint, Element, NamedElement, Visitable, PivotObject

public class ConstraintImpl
extends NamedElementImpl
implements Constraint

An implementation of the model object 'Constraint'.

The following features are implemented:

• Constrained Element
• Context
• Is Callable
• Owning State
• Redefined Constraint
• Specification
• Transition

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 org.eclipse.emf.common.util.EList<Element>	constrainedElement The cached value of the 'Constrained Element' reference list.
protected static boolean	IS_CALLABLE_EDEFAULT The default value of the 'Is Callable' attribute.
protected static int	IS_CALLABLE_EFLAG The flag representing the value of the 'Is Callable' attribute.
protected org.eclipse.emf.common.util.EList<Constraint>	redefinedConstraint The cached value of the 'Redefined Constraint' reference list.
protected OpaqueExpression	specification The cached value of the 'Specification' containment reference.

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

ConstraintImpl()

Method Summary

<R> R	accept(Visitor<R> visitor) Returns the result of accepting a visit from a visitor.
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningState(State newOwningState, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetSpecification(OpaqueExpression newSpecification, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetTransition(Transition newTransition, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)
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)
java.util.List<Element>	getConstrainedElement()
Namespace	getContext() Returns the value of the 'Context' reference.
State	getOwningState()
java.util.List<Constraint>	getRedefinedConstraint()
OpaqueExpression	getSpecification()
Transition	getTransition()
boolean	isCallable()
boolean	isSetContext()
void	setIsCallable(boolean newIsCallable)
void	setOwningState(State newOwningState)
void	setSpecification(OpaqueExpression newSpecification)
void	setTransition(Transition newTransition)
java.lang.String	toString()
boolean	validateUniqueName(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.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, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, 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.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.emf.ecore.InternalEObject

eNotificationRequired

Field Detail

constrainedElement

protected org.eclipse.emf.common.util.EList<Element> constrainedElement

The cached value of the 'Constrained Element' reference list.

See Also:

getConstrainedElement()

Generated

Ordered

IS_CALLABLE_EDEFAULT

protected static final boolean IS_CALLABLE_EDEFAULT

The default value of the 'Is Callable' attribute.

See Also:

isCallable(), Constant Field Values

Generated

Ordered

IS_CALLABLE_EFLAG

protected static final int IS_CALLABLE_EFLAG

The flag representing the value of the 'Is Callable' attribute.

See Also:

isCallable(), Constant Field Values

Generated

Ordered

redefinedConstraint

protected org.eclipse.emf.common.util.EList<Constraint> redefinedConstraint

The cached value of the 'Redefined Constraint' reference list.

See Also:

getRedefinedConstraint()

Generated

Ordered

specification

protected OpaqueExpression specification

The cached value of the 'Specification' containment reference.

See Also:

getSpecification()

Generated

Ordered

Constructor Detail

ConstraintImpl

protected ConstraintImpl()

Generated

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class NamedElementImpl

Generated

getConstrainedElement

public java.util.List<Element> getConstrainedElement()

Specified by:

getConstrainedElement in interface Constraint

Returns:

the value of the 'Constrained Element' reference list.

See Also:

PivotPackage.getConstraint_ConstrainedElement()

Generated

getSpecification

public OpaqueExpression getSpecification()

Specified by:

getSpecification in interface DomainConstraint

Specified by:

getSpecification in interface Constraint

Returns:

the value of the 'Specification' containment reference.

See Also:

Constraint.setSpecification(OpaqueExpression), PivotPackage.getConstraint_Specification()

Generated

basicSetSpecification

public org.eclipse.emf.common.notify.NotificationChain basicSetSpecification(OpaqueExpression newSpecification,
                                                                             org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setSpecification

public void setSpecification(OpaqueExpression newSpecification)

Specified by:

setSpecification in interface Constraint

Parameters:

newSpecification - the new value of the 'Specification' containment reference.

See Also:

Constraint.getSpecification()

Generated

getTransition

public Transition getTransition()

Specified by:

getTransition in interface Constraint

Returns:

the value of the 'Transition' container reference.

See Also:

Constraint.setTransition(Transition), PivotPackage.getConstraint_Transition(), Transition.getGuard()

Generated

basicSetTransition

public org.eclipse.emf.common.notify.NotificationChain basicSetTransition(Transition newTransition,
                                                                          org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setTransition

public void setTransition(Transition newTransition)

Specified by:

setTransition in interface Constraint

Parameters:

newTransition - the new value of the 'Transition' container reference.

See Also:

Constraint.getTransition()

Generated

isCallable

public boolean isCallable()

Specified by:

isCallable in interface DomainConstraint

Specified by:

isCallable in interface Constraint

Returns:

the value of the 'Is Callable' attribute.

See Also:

Constraint.setIsCallable(boolean), PivotPackage.getConstraint_IsCallable()

Generated

setIsCallable

public void setIsCallable(boolean newIsCallable)

Specified by:

setIsCallable in interface Constraint

Parameters:

newIsCallable - the new value of the 'Is Callable' attribute.

See Also:

Constraint.isCallable()

Generated

getOwningState

public State getOwningState()

Specified by:

getOwningState in interface Constraint

Returns:

the value of the 'Owning State' container reference.

See Also:

Constraint.setOwningState(State), PivotPackage.getConstraint_OwningState(), State.getStateInvariant()

Generated

basicSetOwningState

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningState(State newOwningState,
                                                                           org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningState

public void setOwningState(State newOwningState)

Specified by:

setOwningState in interface Constraint

Parameters:

newOwningState - the new value of the 'Owning State' container reference.

See Also:

Constraint.getOwningState()

Generated

getRedefinedConstraint

public java.util.List<Constraint> getRedefinedConstraint()

Specified by:

getRedefinedConstraint in interface Constraint

Returns:

the value of the 'Redefined Constraint' reference list.

See Also:

PivotPackage.getConstraint_RedefinedConstraint()

Generated

validateUniqueName

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

Specified by:

validateUniqueName in interface Constraint

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 NamedElementImpl

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 NamedElementImpl

Generated

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class NamedElementImpl

Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class NamedElementImpl

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 ElementImpl

Throws:

java.lang.reflect.InvocationTargetException

Generated

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 NamedElementImpl

Returns:

the result of the visit.

getContext

public Namespace getContext()

Description copied from interface: Constraint

Returns the value of the 'Context' reference.

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

Specified by:

getContext in interface DomainConstraint

Specified by:

getContext in interface Constraint

Returns:

the value of the 'Context' reference.

See Also:

PivotPackage.getConstraint_Context()

isSetContext

public boolean isSetContext()

toString

public java.lang.String toString()

Description copied from class: NamedElementImpl

Overrides:

toString in class NamedElementImpl