org.eclipse.uml2
Interface StateInvariant
- All Superinterfaces:
- Element, EModelElement, EObject, InteractionFragment, NamedElement, Notifier, TemplateableElement
- 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:
- See Also:
UML2Package.getStateInvariant()
Methods inherited from interface org.eclipse.uml2.NamedElement |
allNamespaces, createNameExpression, getClientDependencies, getClientDependency, getName, getNameExpression, getOwner, getQualifiedName, getVisibility, isDistinguishableFrom, qualifiedName, separator, setName, setNameExpression, setVisibility, validateNoName, validateQualifiedName, validateVisibilityNeedsOwnership |
Methods inherited from interface org.eclipse.uml2.Element |
addKeyword, allOwnedElements, apply, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedVersion, getKeywords, getModel, getNearestPackage, getOwnedComments, getValue, hasKeyword, isApplied, isRequired, mustBeOwned, removeKeyword, setValue, unapply, validateHasOwner, validateNotOwnSelf |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
copyright
public static final String copyright
-
- See Also:
- Constant Field Values
getInvariant
public Constraint getInvariant()
- Returns the value of the 'Invariant' containment reference.
If the meaning of the 'Invariant' containment reference isn't clear,
there really should be more of a description here...
A Constraint that should hold at runtime for this StateInvariant
- Returns:
- the value of the 'Invariant' containment reference.
- See Also:
setInvariant(Constraint)
,
UML2Package.getStateInvariant_Invariant()
setInvariant
public void setInvariant(Constraint value)
- Sets the value of the '
Invariant
' containment reference.
- Parameters:
value
- the new value of the 'Invariant' containment reference.- See Also:
getInvariant()
createInvariant
public Constraint createInvariant(EClass eClass)
- Creates a
Constraint
and sets the 'Invariant' containment reference.
- Parameters:
eClass
- The Ecore class of the Constraint
to create.
- Returns:
- The new
Constraint
. - See Also:
getInvariant()
getCovereds
public EList getCovereds()
-
- Specified by:
getCovereds
in interface InteractionFragment
- Returns:
- the value of the 'Covered' reference list.
- See Also:
UML2Package.getInteractionFragment_Covered()
,
Lifeline.getCoveredBys()
getOwnedElements
public EList getOwnedElements()
-
- Specified by:
getOwnedElements
in interface InteractionFragment