|
|||||||||||
| 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 | ||||||||||