| |
org.eclipse.uml2.uml
Interface StateInvariant
-
All Superinterfaces:
-
Element, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject,
InteractionFragment,
NamedElement, org.eclipse.emf.common.notify.Notifier
-
public interface StateInvariant
- extends
InteractionFragment
A representation of the model object '
State Invariant
'.
A state invariant 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 state invariant is an interaction fragment and it is placed on a lifeline.
The following features are supported:
-
See Also:
-
UMLPackage.getStateInvariant()
|
Methods inherited from interface org.eclipse.uml2.uml.
InteractionFragment
|
createGeneralOrdering,
getCovered,
getCovered,
getCovereds,
getEnclosingInteraction,
getEnclosingOperand,
getGeneralOrdering,
getGeneralOrdering,
getGeneralOrderings,
setEnclosingInteraction,
setEnclosingOperand
|
|
Methods inherited from interface org.eclipse.uml2.uml.
NamedElement
|
allNamespaces,
allOwningPackages,
createDependency,
createNameExpression,
createUsage,
getClientDependencies,
getClientDependency,
getClientDependency,
getLabel,
getLabel,
getName,
getNameExpression,
getNamespace,
getQualifiedName,
getVisibility,
isDistinguishableFrom,
isSetName,
isSetVisibility,
separator,
setName,
setNameExpression,
setVisibility,
unsetName,
unsetVisibility,
validateHasNoQualifiedName,
validateHasQualifiedName,
validateVisibilityNeedsOwnership
|
|
Methods inherited from interface org.eclipse.uml2.uml.
Element
|
addKeyword,
allOwnedElements,
applyStereotype,
createEAnnotation,
createOwnedComment,
destroy,
getApplicableStereotype,
getApplicableStereotypes,
getAppliedStereotype,
getAppliedStereotypes,
getAppliedSubstereotype,
getAppliedSubstereotypes,
getKeywords,
getModel,
getNearestPackage,
getOwnedComments,
getOwnedElements,
getOwner,
getRelationships,
getRelationships,
getRequiredStereotype,
getRequiredStereotypes,
getSourceDirectedRelationships,
getSourceDirectedRelationships,
getStereotypeApplication,
getStereotypeApplications,
getTargetDirectedRelationships,
getTargetDirectedRelationships,
getValue,
hasKeyword,
hasValue,
isStereotypeApplicable,
isStereotypeApplied,
isStereotypeRequired,
mustBeOwned,
removeKeyword,
setValue,
unapplyStereotype,
validateHasOwner,
validateNotOwnSelf
|
|
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
|
getEAnnotation, getEAnnotations
|
|
Methods inherited from interface org.eclipse.emf.ecore.EObject
|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
|
|
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
|
eAdapters, eDeliver, eNotify, eSetDeliver
|
getInvariant
Constraint getInvariant()
- Returns the value of the '
Invariant
' containment reference.
This feature subsets the following features:
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()
setInvariant
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
Constraint createInvariant(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
- Creates a new
Constraint, with the specified '
Name
', and sets the '
Invariant
' containment reference.
-
-
-
Parameters:
-
name - The '
Name
' for the new
Constraint, or null. -
eClass - The Ecore class of the
Constraint to create.
-
Returns:
- The new
Constraint. -
See Also:
-
getInvariant()
createInvariant
Constraint createInvariant(java.lang.String name)
- Creates a new
Constraint,with the specified '
Name
', and sets the '
Invariant
' containment reference.
-
-
-
Parameters:
-
name - The '
Name
' for the new
Constraint, or null.
-
Returns:
- The new
Constraint. -
See Also:
-
getInvariant()
|
|
