complexType "uml:StateInvariant"

Namespace:	http://www.eclipse.org/uml2/1.0.0/UML
Content:	complex, 11 attributes, 10 elements
Defined:	globally in UML2XMI.xsd; see XML source
Includes:	definition of 1 element
Used:	at 1 location

Content Model Diagram

XML Representation Summary

<...

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*

</...>

All Direct / Indirect Based Elements (1):

uml:StateInvariant

Known Usage Locations

As direct type of elements (1):
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.

Type Definition Detail

Type Derivation Tree

ecore:EObject (extension)

ecore:EModelElement (extension)

uml:Element (extension)

uml:TemplateableElement (extension)

uml:NamedElement (extension)

uml:InteractionFragment (extension)

uml:StateInvariant

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

<xsd:complexType name="StateInvariant">

<xsd:complexContent>

<xsd:extension base="uml:InteractionFragment">

<xsd:choice maxOccurs="unbounded" minOccurs="0">

<xsd:element name="invariant" type="uml:Constraint"/>

</xsd:choice>

</xsd:extension>

</xsd:complexContent>

</xsd:complexType>

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