|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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:
UMLPackage.getStateInvariant()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
Method Summary | |
Constraint |
createInvariant(String name)
Creates a new Constraint ,with the specified 'Name', and sets the 'Invariant' containment reference |
Constraint |
createInvariant(String name,
EClass eClass)
Creates a new Constraint , with the specified 'Name', and sets the 'Invariant' containment reference |
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 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, 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.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 |
Method Detail |
public Constraint getInvariant()
StateInvariant.setInvariant(Constraint)
,
UMLPackage.getStateInvariant_Invariant()
public void setInvariant(Constraint value)
Invariant
' containment reference.
value
- the new value of the 'Invariant' containment reference.StateInvariant.getInvariant()
public Constraint createInvariant(String name, EClass eClass)
Constraint
, with the specified 'Name', and sets the 'Invariant' containment reference.
name
- The 'Name' for the new Constraint
, or null
.eClass
- The Ecore class of the Constraint
to create.
Constraint
.StateInvariant.getInvariant()
public Constraint createInvariant(String name)
Constraint
,with the specified 'Name', and sets the 'Invariant' containment reference.
name
- The 'Name' for the new Constraint
, or null
.
Constraint
.StateInvariant.getInvariant()
|
Copyright 2003, 2006 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |