org.eclipse.ocl.pivot.internal

Class ConstraintImpl

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.ConstraintImpl

All Implemented Interfaces:

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

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.
NotificationChain	basicSetOwnedSpecification(LanguageExpression newOwnedSpecification, NotificationChain msgs)
NotificationChain	basicSetOwningPostContext(Operation newOwningPostContext, NotificationChain msgs)
NotificationChain	basicSetOwningPreContext(Operation newOwningPreContext, NotificationChain msgs)
NotificationChain	basicSetOwningState(State newOwningState, NotificationChain msgs)
NotificationChain	basicSetOwningTransition(Transition newOwningTransition, NotificationChain msgs)
NotificationChain	eBasicRemoveFromContainerFeature(NotificationChain msgs)
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)
List<Element>	getConstrainedElements()
Namespace	getContext() Returns the value of the 'Context' reference.
LanguageExpression	getOwnedSpecification()
Operation	getOwningPostContext()
Operation	getOwningPreContext()
State	getOwningState()
Transition	getOwningTransition()
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)
String	toString()
boolean	validateUniqueName(DiagnosticChain diagnostics, Map<Object,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

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

getConstrainedElements

public List<Element> getConstrainedElements()

Specified by:

getConstrainedElements in interface Constraint

Returns:

the value of the 'Constrained Elements' reference list.

See Also:

PivotPackage.getConstraint_ConstrainedElements()

EMF generated code

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

EMF generated code

basicSetOwnedSpecification

public NotificationChain basicSetOwnedSpecification(LanguageExpression newOwnedSpecification,
                                                    NotificationChain msgs)

EMF generated code

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

EMF generated code

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

EMF generated code

basicSetOwningPostContext

public NotificationChain basicSetOwningPostContext(Operation newOwningPostContext,
                                                   NotificationChain msgs)

EMF generated code

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

EMF generated code

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

EMF generated code

basicSetOwningPreContext

public NotificationChain basicSetOwningPreContext(Operation newOwningPreContext,
                                                  NotificationChain msgs)

EMF generated code

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

EMF generated code

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

EMF generated code

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

EMF generated code

basicSetOwningState

public NotificationChain basicSetOwningState(State newOwningState,
                                             NotificationChain msgs)

EMF generated code

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

EMF generated code

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

EMF generated code

basicSetOwningTransition

public NotificationChain basicSetOwningTransition(Transition newOwningTransition,
                                                  NotificationChain msgs)

EMF generated code

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

EMF generated code

getRedefinedConstraints

public List<Constraint> getRedefinedConstraints()

Specified by:

getRedefinedConstraints in interface Constraint

Returns:

the value of the 'Redefined Constraints' reference list.

See Also:

PivotPackage.getConstraint_RedefinedConstraints()

EMF generated code

validateUniqueName

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

Specified by:

validateUniqueName in interface Constraint

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 NamedElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class NamedElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class NamedElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class NamedElementImpl

EMF generated code

eInvoke

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

Overrides:

eInvoke in class ElementImpl

Throws:

InvocationTargetException

EMF generated code

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

EMF generated code

isSetContext

public boolean isSetContext()

toString

public String toString()

Description copied from class: NamedElementImpl

Overrides:

toString in class NamedElementImpl