element <uml:StateInvariant> (global)

Namespace:	http://www.eclipse.org/uml2/1.0.0/UML
Type:	uml:StateInvariant
Content:	complex, 11 attributes, 10 elements
Defined:	globally in UML2XMI.xsd; see XML source
Used:	never

Content Model Diagram

XML Representation Summary

<uml:StateInvariant

xmi:id	=	xsd:ID
xmi:label	=	xsd:string
xmi:uuid	=	xsd:string
href	=	xsd:string
xmi:idref	=	xsd:IDREF
xmi:version	=	"2.0"
xmi:type	=	xsd:QName
name	=	xsd:string
visibility	=	("public" \| "private" \| "protected" \| "package")
clientDependency	=	xsd:string
covered	=	xsd:string

Content:

xmi:Extension*, eAnnotations*, ownedComment*, (templateBinding | ownedTemplateSignature)*, (clientDependency | nameExpression)*, (covered | generalOrdering)*, invariant*

</uml:StateInvariant>

Annotation

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.

XML Source (w/o annotations (1); see within schema source)

<xsd:element name="StateInvariant" type="uml:StateInvariant"/>

XML schema documentation generated with DocFlex/XML RE 1.8.5 using DocFlex/XML XSDDoc 2.5.0 template set. All content model diagrams generated by Altova XMLSpy via DocFlex/XML XMLSpy Integration.