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

Field Summary
static String copyright
           
 
Fields inherited from interface org.eclipse.uml2.NamedElement
SEPARATOR
 
Method Summary
 Constraint createInvariant(EClass eClass)
          Creates a Constraint and sets the 'Invariant' containment reference
 EList getCovereds()
           
 Constraint getInvariant()
          Returns the value of the 'Invariant' containment reference
 EList getOwnedElements()
           
 void setInvariant(Constraint value)
          Sets the value of the 'Invariant' containment reference
 
Methods inherited from interface org.eclipse.uml2.InteractionFragment
createGeneralOrdering, getCovered, getEnclosingInteraction, getEnclosingOperand, getGeneralOrdering, getGeneralOrderings, getNamespace, setEnclosingInteraction, setEnclosingOperand
 
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.TemplateableElement
createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBindings, parameterableElements, setOwnedTemplateSignature
 
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.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
 

Field Detail

copyright

public static final String copyright

See Also:
Constant Field Values
Method Detail

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

Copyright 2003, 2004 IBM Corporation and others.
All Rights Reserved.