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