org.eclipse.ocl.pivot.internal

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.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.ConstraintImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, Constraint, Element, NamedElement, Visitable, Labelable, Nameable, PivotObject

public class ConstraintImpl
extends NamedElementImpl
implements Constraint

An implementation of the model object 'Constraint'.

The following features are implemented:

• Constrained Elements
• Context
• Is Callable
• Owned Specification
• Owning Post Context
• Owning Pre Context
• Owning State
• Owning Transition
• Redefined Constraints

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.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.common.util.EList<Element>	constrainedElements The cached value of the 'Constrained Elements' 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 LanguageExpression	ownedSpecification The cached value of the 'Owned Specification' containment reference.
protected org.eclipse.emf.common.util.EList<Constraint>	redefinedConstraints The cached value of the 'Redefined Constraints' reference list.

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

name, NAME_EDEFAULT

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

annotatingComments, ownedAnnotations, ownedComments, ownedExtensions

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

Constructors

Modifier	Constructor and Description
protected	ConstraintImpl()

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.
org.eclipse.emf.common.notify.NotificationChain	basicSetOwnedSpecification(LanguageExpression newOwnedSpecification, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningPostContext(Operation newOwningPostContext, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningPreContext(Operation newOwningPreContext, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningState(State newOwningState, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningTransition(Transition newOwningTransition, 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>	getConstrainedElements()
Namespace	getContext() Returns the value of the 'Context' reference.
LanguageExpression	getOwnedSpecification()
Operation	getOwningPostContext()
Operation	getOwningPreContext()
State	getOwningState()
Transition	getOwningTransition()
java.util.List<Constraint>	getRedefinedConstraints()
boolean	isIsCallable()
boolean	isSetContext()
void	setIsCallable(boolean newIsCallable)
void	setOwnedSpecification(LanguageExpression newOwnedSpecification)
void	setOwningPostContext(Operation newOwningPostContext)
void	setOwningPreContext(Operation newOwningPreContext)
void	setOwningState(State newOwningState)
void	setOwningTransition(Transition newOwningTransition)
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.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

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

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, eBasicSetContainer, 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.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.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

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Field Detail

constrainedElements

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

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

See Also:

getConstrainedElements()

Generated

Ordered

IS_CALLABLE_EDEFAULT

protected static final boolean IS_CALLABLE_EDEFAULT

The default value of the 'Is Callable' attribute.

See Also:

isIsCallable(), 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:

isIsCallable(), Constant Field Values

Generated

Ordered

ownedSpecification

protected LanguageExpression ownedSpecification

The cached value of the 'Owned Specification' containment reference.

See Also:

getOwnedSpecification()

Generated

Ordered

redefinedConstraints

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

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

See Also:

getRedefinedConstraints()

Generated

Ordered

Constructor Detail

ConstraintImpl

protected ConstraintImpl()

Generated

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class NamedElementImpl

Generated

getConstrainedElements

@NonNull
public java.util.List<Element> getConstrainedElements()

Specified by:

getConstrainedElements in interface Constraint

Returns:

the value of the 'Constrained Elements' reference list.

See Also:

PivotPackage.getConstraint_ConstrainedElements()

Generated

getOwnedSpecification

public LanguageExpression getOwnedSpecification()

Specified by:

getOwnedSpecification in interface Constraint

Returns:

the value of the 'Owned Specification' containment reference.

See Also:

Constraint.setOwnedSpecification(LanguageExpression), PivotPackage.getConstraint_OwnedSpecification(), LanguageExpression.getOwningConstraint()

Generated

basicSetOwnedSpecification

public org.eclipse.emf.common.notify.NotificationChain basicSetOwnedSpecification(LanguageExpression newOwnedSpecification,
                                                                                  org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwnedSpecification

public void setOwnedSpecification(LanguageExpression newOwnedSpecification)

Specified by:

setOwnedSpecification in interface Constraint

Parameters:

newOwnedSpecification - the new value of the 'Owned Specification' containment reference.

See Also:

Constraint.getOwnedSpecification()

Generated

getOwningPostContext

public Operation getOwningPostContext()

Specified by:

getOwningPostContext in interface Constraint

Returns:

the value of the 'Owning Post Context' container reference.

See Also:

Constraint.setOwningPostContext(Operation), PivotPackage.getConstraint_OwningPostContext(), Operation.getOwnedPostconditions()

Generated

basicSetOwningPostContext

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningPostContext(Operation newOwningPostContext,
                                                                                 org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningPostContext

public void setOwningPostContext(Operation newOwningPostContext)

Specified by:

setOwningPostContext in interface Constraint

Parameters:

newOwningPostContext - the new value of the 'Owning Post Context' container reference.

See Also:

Constraint.getOwningPostContext()

Generated

getOwningPreContext

public Operation getOwningPreContext()

Specified by:

getOwningPreContext in interface Constraint

Returns:

the value of the 'Owning Pre Context' container reference.

See Also:

Constraint.setOwningPreContext(Operation), PivotPackage.getConstraint_OwningPreContext(), Operation.getOwnedPreconditions()

Generated

basicSetOwningPreContext

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningPreContext(Operation newOwningPreContext,
                                                                                org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningPreContext

public void setOwningPreContext(Operation newOwningPreContext)

Specified by:

setOwningPreContext in interface Constraint

Parameters:

newOwningPreContext - the new value of the 'Owning Pre Context' container reference.

See Also:

Constraint.getOwningPreContext()

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

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

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

getOwningTransition

public Transition getOwningTransition()

Specified by:

getOwningTransition in interface Constraint

Returns:

the value of the 'Owning Transition' container reference.

See Also:

Constraint.setOwningTransition(Transition), PivotPackage.getConstraint_OwningTransition(), Transition.getOwnedGuard()

Generated

basicSetOwningTransition

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningTransition(Transition newOwningTransition,
                                                                                org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningTransition

public void setOwningTransition(Transition newOwningTransition)

Specified by:

setOwningTransition in interface Constraint

Parameters:

newOwningTransition - the new value of the 'Owning Transition' container reference.

See Also:

Constraint.getOwningTransition()

Generated

getRedefinedConstraints

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

Specified by:

getRedefinedConstraints in interface Constraint

Returns:

the value of the 'Redefined Constraints' reference list.

See Also:

PivotPackage.getConstraint_RedefinedConstraints()

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: 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 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 Constraint

Returns:

the value of the 'Context' reference.

See Also:

PivotPackage.getConstraint_Context()

isIsCallable

public boolean isIsCallable()

Specified by:

isIsCallable in interface Constraint

Returns:

the value of the 'Is Callable' attribute.

See Also:

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

Generated

isSetContext

public boolean isSetContext()

toString

public java.lang.String toString()

Description copied from class: NamedElementImpl

Overrides:

toString in class NamedElementImpl