com.nomagic.uml2.ext.magicdraw.interactions.mdbasicinteractions

Interface StateInvariant

All Superinterfaces:

BaseElement, java.lang.Cloneable, java.lang.Comparable, Element, org.eclipse.emf.ecore.EObject, InteractionFragment, MDObject, ModelObject, NamedElement, org.eclipse.emf.common.notify.Notifier, javax.jmi.reflect.RefBaseObject, javax.jmi.reflect.RefFeatured, javax.jmi.reflect.RefObject

public interface StateInvariant
extends InteractionFragment

A representation of the model object 'State Invariant'.

A StateInvariant is a runtime constraint on the participants of the Interaction. It may be used to specify a variety of different kinds of Constraints, such as values of Attributes or Variables, internal or external States, and so on. A StateInvariant is an InteractionFragment and it is placed on a Lifeline.

The following features are supported:

• Invariant

See Also:

UMLPackage.getStateInvariant()

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Lifeline>	getCovered() Returns the value of the 'Covered' reference list.
Constraint	getInvariant() Returns the value of the 'Invariant' containment reference.
void	setInvariant(Constraint value) Sets the value of the 'Invariant' containment reference.

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.interactions.mdbasicinteractions.InteractionFragment

getEnclosingInteraction, getEnclosingOperand, getGeneralOrdering, hasCovered, hasGeneralOrdering, setEnclosingInteraction, setEnclosingOperand

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, getVisibility, has_considerIgnoreFragmentOfMessage, has_durationObservationOfEvent, has_informationFlowOfInformationSource, has_informationFlowOfInformationTarget, has_messageOfSignature, has_namespaceOfMember, has_timeObservationOfEvent, hasClientDependency, hasSupplierDependency, setName, setNameExpression, setNamespace, setVisibility

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_elementValueOfElement, get_relationshipOfRelatedElement, getAppliedStereotypeInstance, getOwnedComment, getOwnedElement, getOwner, getSyncElement, has_activityPartitionOfRepresents, has_commentOfAnnotatedElement, has_constraintOfConstrainedElement, has_diagramOfContext, has_directedRelationshipOfSource, has_directedRelationshipOfTarget, has_elementOfSyncElement, has_elementValueOfElement, has_relationshipOfRelatedElement, hasOwnedComment, hasOwnedElement, setAppliedStereotypeInstance, setOwner, setSyncElement

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

get_representationText, getLocalID, isInvalid, set_representationText, setLocalID, sGetLocalID

Methods inherited from interface com.nomagic.magicdraw.foundation.MDObject

getID, getMDExtension, getMdExtensions, setID

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 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 javax.jmi.reflect.RefObject

refClass, refDelete, refImmediateComposite, refIsInstanceOf, refOutermostComposite

Methods inherited from interface javax.jmi.reflect.RefFeatured

refGetValue, refGetValue, refInvokeOperation, refInvokeOperation, refSetValue, refSetValue

Methods inherited from interface javax.jmi.reflect.RefBaseObject

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

Method Detail

getInvariant

@CheckForNull
Constraint getInvariant()

Returns the value of the 'Invariant' containment reference. It is bidirectional and its opposite is 'state Invariant Of Invariant'. A Constraint that should hold at runtime for this StateInvariant.

Returns:

the value of the 'Invariant' containment reference.

See Also:

setInvariant(Constraint), UMLPackage.getStateInvariant_Invariant(), Constraint.get_stateInvariantOfInvariant()

setInvariant

void setInvariant(@CheckForNull
                  Constraint value)

Sets the value of the 'Invariant' containment reference.

Parameters:

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

See Also:

getInvariant()

getCovered

java.util.Collection<Lifeline> getCovered()

Returns the value of the 'Covered' reference list. The list contents are of type Lifeline. It is bidirectional and its opposite is 'state Invariant Of Covered'. References the Lifeline on which the StateInvariant appears.

Specified by:

getCovered in interface InteractionFragment

Returns:

the value of the 'Covered' reference list.

See Also:

UMLPackage.getStateInvariant_Covered(), Lifeline.get_stateInvariantOfCovered()