Package com.nomagic.uml2.ext.magicdraw.classes.mdkernel

Interface Constraint

All Superinterfaces:

BaseElement, java.lang.Cloneable, java.lang.Comparable, Element, org.eclipse.emf.ecore.EObject, MDObject, com.dassault_systemes.modeler.model.ModelElement, ModelObject, NamedElement, org.eclipse.emf.common.notify.Notifier, PackageableElement, ParameterableElement, javax.jmi.reflect.RefBaseObject, javax.jmi.reflect.RefFeatured, javax.jmi.reflect.RefObject

All Known Subinterfaces:

DurationConstraint, InteractionConstraint, IntervalConstraint, TimeConstraint

public interface Constraint
extends PackageableElement

A representation of the model object 'Constraint'.

A Constraint is a condition or restriction expressed in natural language text or in a machine readable language for the purpose of declaring some of the semantics of an Element or set of Elements.

The following features are supported:

• Constrained Element
• Context
• Specification
• Owning State
• action Of Local Postcondition
• extend Of Condition
• Owning Transition
• protocol Transition Of Pre Condition
• parameter Set Of Condition
• message Of Guard
• Body Context
• Post Context
• Pre Context
• behavior Of Postcondition
• behavior Of Precondition
• state Invariant Of Invariant
• action Of Local Precondition
• transition Of Guard

See Also:

UMLPackage.getConstraint()

Model:

annotation="MOF package='classes.mdkernel'"

Generated:

Method Summary

Modifier and Type	Method	Description
Action	get_actionOfLocalPostcondition()	Returns the value of the 'action Of Local Postcondition' container reference.
Action	get_actionOfLocalPrecondition()	Returns the value of the 'action Of Local Precondition' container reference.
Behavior	get_behaviorOfPostcondition()	Returns the value of the 'behavior Of Postcondition' reference.
Behavior	get_behaviorOfPrecondition()	Returns the value of the 'behavior Of Precondition' reference.
Extend	get_extendOfCondition()	Returns the value of the 'extend Of Condition' container reference.
Message	get_messageOfGuard()	Returns the value of the 'message Of Guard' container reference.
ParameterSet	get_parameterSetOfCondition()	Returns the value of the 'parameter Set Of Condition' container reference.
ProtocolTransition	get_protocolTransitionOfPreCondition()	Returns the value of the 'protocol Transition Of Pre Condition' reference.
StateInvariant	get_stateInvariantOfInvariant()	Returns the value of the 'state Invariant Of Invariant' container reference.
Transition	get_transitionOfGuard()	Returns the value of the 'transition Of Guard' reference.
Operation	getBodyContext()	Returns the value of the 'Body Context' reference.
java.util.List<Element>	getConstrainedElement()	Returns the value of the 'Constrained Element' reference list.
Namespace	getContext()	Returns the value of the 'Context' container reference.
State	getOwningState()	Returns the value of the 'Owning State' reference.
ProtocolTransition	getOwningTransition()	Returns the value of the 'Owning Transition' reference.
Operation	getPostContext()	Returns the value of the 'Post Context' reference.
Operation	getPreContext()	Returns the value of the 'Pre Context' reference.
ValueSpecification	getSpecification()	Returns the value of the 'Specification' containment reference.
boolean	hasConstrainedElement()
void	set_actionOfLocalPostcondition(Action value)	Sets the value of the 'action Of Local Postcondition' container reference.
void	set_actionOfLocalPrecondition(Action value)	Sets the value of the 'action Of Local Precondition' container reference.
void	set_behaviorOfPostcondition(Behavior value)	Sets the value of the 'behavior Of Postcondition' reference.
void	set_behaviorOfPrecondition(Behavior value)	Sets the value of the 'behavior Of Precondition' reference.
void	set_extendOfCondition(Extend value)	Sets the value of the 'extend Of Condition' container reference.
void	set_messageOfGuard(Message value)	Sets the value of the 'message Of Guard' container reference.
void	set_parameterSetOfCondition(ParameterSet value)	Sets the value of the 'parameter Set Of Condition' container reference.
void	set_protocolTransitionOfPreCondition(ProtocolTransition value)	Sets the value of the 'protocol Transition Of Pre Condition' reference.
void	set_stateInvariantOfInvariant(StateInvariant value)	Sets the value of the 'state Invariant Of Invariant' container reference.
void	set_transitionOfGuard(Transition value)	Sets the value of the 'transition Of Guard' reference.
void	setBodyContext(Operation value)	Sets the value of the 'Body Context' reference.
void	setContext(Namespace value)	Sets the value of the 'Context' container reference.
void	setOwningState(State value)	Sets the value of the 'Owning State' reference.
void	setOwningTransition(ProtocolTransition value)	Sets the value of the 'Owning Transition' reference.
void	setPostContext(Operation value)	Sets the value of the 'Post Context' reference.
void	setPreContext(Operation value)	Sets the value of the 'Pre Context' reference.
void	setSpecification(ValueSpecification value)	Sets the value of the 'Specification' containment reference.

Methods inherited from interface com.nomagic.magicdraw.uml.BaseElement

accept, addPropertyChangeListener, canAdd, canAdd, canAddChild, canBeDeleted, firePropertyChange, getClassType, getHumanName, getHumanType, getObjectParent, isEditable, removePropertyChangeListener, sGetID

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.Element

get_activityPartitionOfRepresents, get_commentOfAnnotatedElement, get_constraintOfConstrainedElement, get_diagramOfContext, get_directedRelationshipOfSource, get_directedRelationshipOfTarget, get_elementOfSyncElement, get_elementTaggedValue, get_elementValueOfElement, get_relationshipOfRelatedElement, getAppliedStereotype, getOwnedComment, getOwnedElement, getOwner, getSyncElement, getTaggedValue, has_activityPartitionOfRepresents, has_commentOfAnnotatedElement, has_constraintOfConstrainedElement, has_diagramOfContext, has_directedRelationshipOfSource, has_directedRelationshipOfTarget, has_elementOfSyncElement, has_elementValueOfElement, has_relationshipOfRelatedElement, hasAppliedStereotype, hasElementTaggedValue, hasOwnedComment, hasOwnedElement, hasTaggedValue, setOwner, setSyncElement

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 com.nomagic.magicdraw.foundation.MDObject

getID, getMDExtension, getMdExtensions, setID

Methods inherited from interface com.dassault_systemes.modeler.model.ModelElement

getLocalID, setLocalID, sGetLocalID

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.base.ModelObject

get_representationText, ignoringRefGetValue, ignoringRefGetValue, isInvalid, isSet, refGetValue, refGetValue, refSetValue, refSetValue, set_representationText

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.NamedElement

get_considerIgnoreFragmentOfMessage, get_durationObservationOfEvent, get_informationFlowOfInformationSource, get_informationFlowOfInformationTarget, get_messageOfSignature, get_namespaceOfMember, get_timeObservationOfEvent, getClientDependency, getName, getNameExpression, getNamespace, getQualifiedName, getSupplierDependency, has_considerIgnoreFragmentOfMessage, has_durationObservationOfEvent, has_informationFlowOfInformationSource, has_informationFlowOfInformationTarget, has_messageOfSignature, has_namespaceOfMember, has_timeObservationOfEvent, hasClientDependency, hasSupplierDependency, setName, setNameExpression, setNamespace

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.PackageableElement

get_componentOfPackagedElement, get_elementImportOfImportedElement, get_manifestationOfUtilizedElement, getOwningPackage, getVisibility, has_elementImportOfImportedElement, has_manifestationOfUtilizedElement, set_componentOfPackagedElement, setOwningPackage, setVisibility

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.auxiliaryconstructs.mdtemplates.ParameterableElement

get_templateParameterOfDefault, get_templateParameterOfOwnedDefault, get_templateParameterSubstitutionOfActual, get_templateParameterSubstitutionOfOwnedActual, getOwningTemplateParameter, getTemplateParameter, has_templateParameterOfDefault, has_templateParameterSubstitutionOfActual, set_templateParameterOfOwnedDefault, set_templateParameterSubstitutionOfOwnedActual, setOwningTemplateParameter, setTemplateParameter

Methods inherited from interface javax.jmi.reflect.RefBaseObject

equals, hashCode, refImmediatePackage, refMetaObject, refMofId, refOutermostPackage, refVerifyConstraints

Methods inherited from interface javax.jmi.reflect.RefFeatured

refGetValue, refInvokeOperation, refInvokeOperation, refSetValue

Methods inherited from interface javax.jmi.reflect.RefObject

refClass, refDelete, refImmediateComposite, refIsInstanceOf, refOutermostComposite

Method Detail

getConstrainedElement

java.util.List<Element> getConstrainedElement()

Returns the value of the 'Constrained Element' reference list. The list contents are of type Element. It is bidirectional and its opposite is 'constraint Of Constrained Element'. The ordered set of Elements referenced by this Constraint.

Returns:

the value of the 'Constrained Element' reference list.

See Also:

UMLPackage.getConstraint_ConstrainedElement(), Element.get_constraintOfConstrainedElement()

Model:

opposite="_constraintOfConstrainedElement"

Generated:

getSpecification

@CheckForNull
ValueSpecification getSpecification()

Returns the value of the 'Specification' containment reference. It is bidirectional and its opposite is 'Owning Constraint'. A condition that must be true when evaluated in order for the Constraint to be satisfied.

Returns:

the value of the 'Specification' containment reference.

See Also:

setSpecification(ValueSpecification), UMLPackage.getConstraint_Specification(), ValueSpecification.getOwningConstraint()

Model:

opposite="owningConstraint" containment="true" resolveProxies="true" required="true" ordered="false"

Generated:

setSpecification

void setSpecification(@CheckForNull
                      ValueSpecification value)

Sets the value of the 'Specification' containment reference.

Parameters:

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

See Also:

getSpecification()

Generated:

getContext

@CheckForNull
Namespace getContext()

Returns the value of the 'Context' container reference. It is bidirectional and its opposite is 'Owned Rule'. Specifies the Namespace that owns the Constraint.

Returns:

the value of the 'Context' container reference.

See Also:

setContext(Namespace), UMLPackage.getConstraint_Context(), Namespace.getOwnedRule()

Model:

opposite="ownedRule" transient="false" ordered="false"

Generated:

setContext

void setContext(@CheckForNull
                Namespace value)

Sets the value of the 'Context' container reference.

Parameters:

value - the new value of the 'Context' container reference.

See Also:

getContext()

Generated:

getBodyContext

@CheckForNull
Operation getBodyContext()

Returns the value of the 'Body Context' reference. It is bidirectional and its opposite is 'Body Condition'.

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

Returns:

the value of the 'Body Context' reference.

See Also:

setBodyContext(Operation), UMLPackage.getConstraint_BodyContext(), Operation.getBodyCondition()

Model:

opposite="bodyCondition" ordered="false"

Generated:

setBodyContext

void setBodyContext(@CheckForNull
                    Operation value)

Sets the value of the 'Body Context' reference.

Parameters:

value - the new value of the 'Body Context' reference.

See Also:

getBodyContext()

Generated:

get_parameterSetOfCondition

@CheckForNull
ParameterSet get_parameterSetOfCondition()

Returns the value of the 'parameter Set Of Condition' container reference. It is bidirectional and its opposite is 'Condition'.

If the meaning of the 'parameter Set Of Condition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'parameter Set Of Condition' container reference.

See Also:

set_parameterSetOfCondition(ParameterSet), UMLPackage.getConstraint__parameterSetOfCondition(), ParameterSet.getCondition()

Model:

opposite="condition" transient="false" ordered="false"

Generated:

set_parameterSetOfCondition

void set_parameterSetOfCondition(@CheckForNull
                                 ParameterSet value)

Sets the value of the 'parameter Set Of Condition' container reference.

Parameters:

value - the new value of the 'parameter Set Of Condition' container reference.

See Also:

get_parameterSetOfCondition()

Generated:

get_messageOfGuard

@CheckForNull
Message get_messageOfGuard()

Returns the value of the 'message Of Guard' container reference. It is bidirectional and its opposite is 'Guard'.

If the meaning of the 'message Of Guard' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'message Of Guard' container reference.

See Also:

set_messageOfGuard(Message), UMLPackage.getConstraint__messageOfGuard(), Message.getGuard()

Model:

opposite="guard" transient="false" ordered="false"

Generated:

set_messageOfGuard

void set_messageOfGuard(@CheckForNull
                        Message value)

Sets the value of the 'message Of Guard' container reference.

Parameters:

value - the new value of the 'message Of Guard' container reference.

See Also:

get_messageOfGuard()

Generated:

get_stateInvariantOfInvariant

@CheckForNull
StateInvariant get_stateInvariantOfInvariant()

Returns the value of the 'state Invariant Of Invariant' container reference. It is bidirectional and its opposite is 'Invariant'.

If the meaning of the 'state Invariant Of Invariant' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'state Invariant Of Invariant' container reference.

See Also:

set_stateInvariantOfInvariant(StateInvariant), UMLPackage.getConstraint__stateInvariantOfInvariant(), StateInvariant.getInvariant()

Model:

opposite="invariant" transient="false" ordered="false"

Generated:

set_stateInvariantOfInvariant

void set_stateInvariantOfInvariant(@CheckForNull
                                   StateInvariant value)

Sets the value of the 'state Invariant Of Invariant' container reference.

Parameters:

value - the new value of the 'state Invariant Of Invariant' container reference.

See Also:

get_stateInvariantOfInvariant()

Generated:

get_transitionOfGuard

@CheckForNull
Transition get_transitionOfGuard()

Returns the value of the 'transition Of Guard' reference. It is bidirectional and its opposite is 'Guard'.

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

Returns:

the value of the 'transition Of Guard' reference.

See Also:

set_transitionOfGuard(Transition), UMLPackage.getConstraint__transitionOfGuard(), Transition.getGuard()

Model:

opposite="guard" ordered="false"

Generated:

set_transitionOfGuard

void set_transitionOfGuard(@CheckForNull
                           Transition value)

Sets the value of the 'transition Of Guard' reference.

Parameters:

value - the new value of the 'transition Of Guard' reference.

See Also:

get_transitionOfGuard()

Generated:

getOwningState

@CheckForNull
State getOwningState()

Returns the value of the 'Owning State' reference. It is bidirectional and its opposite is 'State Invariant'.

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

Returns:

the value of the 'Owning State' reference.

See Also:

setOwningState(State), UMLPackage.getConstraint_OwningState(), State.getStateInvariant()

Model:

opposite="stateInvariant" ordered="false"

Generated:

setOwningState

void setOwningState(@CheckForNull
                    State value)

Sets the value of the 'Owning State' reference.

Parameters:

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

See Also:

getOwningState()

Generated:

getOwningTransition

@CheckForNull
ProtocolTransition getOwningTransition()

Returns the value of the 'Owning Transition' reference. It is bidirectional and its opposite is 'Post Condition'.

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

Returns:

the value of the 'Owning Transition' reference.

See Also:

setOwningTransition(ProtocolTransition), UMLPackage.getConstraint_OwningTransition(), ProtocolTransition.getPostCondition()

Model:

opposite="postCondition" ordered="false"

Generated:

setOwningTransition

void setOwningTransition(@CheckForNull
                         ProtocolTransition value)

Sets the value of the 'Owning Transition' reference.

Parameters:

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

See Also:

getOwningTransition()

Generated:

get_protocolTransitionOfPreCondition

@CheckForNull
ProtocolTransition get_protocolTransitionOfPreCondition()

Returns the value of the 'protocol Transition Of Pre Condition' reference. It is bidirectional and its opposite is 'Pre Condition'.

If the meaning of the 'protocol Transition Of Pre Condition' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'protocol Transition Of Pre Condition' reference.

See Also:

set_protocolTransitionOfPreCondition(ProtocolTransition), UMLPackage.getConstraint__protocolTransitionOfPreCondition(), ProtocolTransition.getPreCondition()

Model:

opposite="preCondition" ordered="false"

Generated:

set_protocolTransitionOfPreCondition

void set_protocolTransitionOfPreCondition(@CheckForNull
                                          ProtocolTransition value)

Sets the value of the 'protocol Transition Of Pre Condition' reference.

Parameters:

value - the new value of the 'protocol Transition Of Pre Condition' reference.

See Also:

get_protocolTransitionOfPreCondition()

Generated:

get_behaviorOfPrecondition

@CheckForNull
Behavior get_behaviorOfPrecondition()

Returns the value of the 'behavior Of Precondition' reference. It is bidirectional and its opposite is 'Precondition'.

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

Returns:

the value of the 'behavior Of Precondition' reference.

See Also:

set_behaviorOfPrecondition(Behavior), UMLPackage.getConstraint__behaviorOfPrecondition(), Behavior.getPrecondition()

Model:

opposite="precondition" ordered="false"

Generated:

set_behaviorOfPrecondition

void set_behaviorOfPrecondition(@CheckForNull
                                Behavior value)

Sets the value of the 'behavior Of Precondition' reference.

Parameters:

value - the new value of the 'behavior Of Precondition' reference.

See Also:

get_behaviorOfPrecondition()

Generated:

get_behaviorOfPostcondition

@CheckForNull
Behavior get_behaviorOfPostcondition()

Returns the value of the 'behavior Of Postcondition' reference. It is bidirectional and its opposite is 'Postcondition'.

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

Returns:

the value of the 'behavior Of Postcondition' reference.

See Also:

set_behaviorOfPostcondition(Behavior), UMLPackage.getConstraint__behaviorOfPostcondition(), Behavior.getPostcondition()

Model:

opposite="postcondition" ordered="false"

Generated:

set_behaviorOfPostcondition

void set_behaviorOfPostcondition(@CheckForNull
                                 Behavior value)

Sets the value of the 'behavior Of Postcondition' reference.

Parameters:

value - the new value of the 'behavior Of Postcondition' reference.

See Also:

get_behaviorOfPostcondition()

Generated:

get_actionOfLocalPrecondition

@CheckForNull
Action get_actionOfLocalPrecondition()

Returns the value of the 'action Of Local Precondition' container reference. It is bidirectional and its opposite is 'Local Precondition'.

If the meaning of the 'action Of Local Precondition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'action Of Local Precondition' container reference.

See Also:

set_actionOfLocalPrecondition(Action), UMLPackage.getConstraint__actionOfLocalPrecondition(), Action.getLocalPrecondition()

Model:

opposite="localPrecondition" transient="false" ordered="false"

Generated:

set_actionOfLocalPrecondition

void set_actionOfLocalPrecondition(@CheckForNull
                                   Action value)

Sets the value of the 'action Of Local Precondition' container reference.

Parameters:

value - the new value of the 'action Of Local Precondition' container reference.

See Also:

get_actionOfLocalPrecondition()

Generated:

get_actionOfLocalPostcondition

@CheckForNull
Action get_actionOfLocalPostcondition()

Returns the value of the 'action Of Local Postcondition' container reference. It is bidirectional and its opposite is 'Local Postcondition'.

If the meaning of the 'action Of Local Postcondition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'action Of Local Postcondition' container reference.

See Also:

set_actionOfLocalPostcondition(Action), UMLPackage.getConstraint__actionOfLocalPostcondition(), Action.getLocalPostcondition()

Model:

opposite="localPostcondition" transient="false" ordered="false"

Generated:

set_actionOfLocalPostcondition

void set_actionOfLocalPostcondition(@CheckForNull
                                    Action value)

Sets the value of the 'action Of Local Postcondition' container reference.

Parameters:

value - the new value of the 'action Of Local Postcondition' container reference.

See Also:

get_actionOfLocalPostcondition()

Generated:

getPreContext

@CheckForNull
Operation getPreContext()

Returns the value of the 'Pre Context' reference. It is bidirectional and its opposite is 'Precondition'.

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

Returns:

the value of the 'Pre Context' reference.

See Also:

setPreContext(Operation), UMLPackage.getConstraint_PreContext(), Operation.getPrecondition()

Model:

opposite="precondition" ordered="false"

Generated:

setPreContext

void setPreContext(@CheckForNull
                   Operation value)

Sets the value of the 'Pre Context' reference.

Parameters:

value - the new value of the 'Pre Context' reference.

See Also:

getPreContext()

Generated:

getPostContext

@CheckForNull
Operation getPostContext()

Returns the value of the 'Post Context' reference. It is bidirectional and its opposite is 'Postcondition'.

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

Returns:

the value of the 'Post Context' reference.

See Also:

setPostContext(Operation), UMLPackage.getConstraint_PostContext(), Operation.getPostcondition()

Model:

opposite="postcondition" ordered="false"

Generated:

setPostContext

void setPostContext(@CheckForNull
                    Operation value)

Sets the value of the 'Post Context' reference.

Parameters:

value - the new value of the 'Post Context' reference.

See Also:

getPostContext()

Generated:

get_extendOfCondition

@CheckForNull
Extend get_extendOfCondition()

Returns the value of the 'extend Of Condition' container reference. It is bidirectional and its opposite is 'Condition'.

If the meaning of the 'extend Of Condition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'extend Of Condition' container reference.

See Also:

set_extendOfCondition(Extend), UMLPackage.getConstraint__extendOfCondition(), Extend.getCondition()

Model:

opposite="condition" transient="false" ordered="false"

Generated:

set_extendOfCondition

void set_extendOfCondition(@CheckForNull
                           Extend value)

Sets the value of the 'extend Of Condition' container reference.

Parameters:

value - the new value of the 'extend Of Condition' container reference.

See Also:

get_extendOfCondition()

Generated:

hasConstrainedElement

boolean hasConstrainedElement()
                       throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

Generated: