element <preCondition> (local)

Namespace:	{global namespace}
Type:	uml:Constraint
Content:	complex, 13 attributes, 10 elements
Defined:	locally witnin uml:ProtocolTransition complexType in UML2XMI.xsd; see XML source

Content Model Diagram

XML Representation Summary

<preCondition

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
templateParameter	=	xsd:string
packageableElement_visibility	=	("public" \| "private" \| "protected" \| "package")
constrainedElement	=	xsd:string

Content:

xmi:Extension*, eAnnotations*, ownedComment*, (templateBinding | ownedTemplateSignature)*, (clientDependency | nameExpression)*, templateParameter*, (specification | constrainedElement)*

</preCondition>

Included in content model of elements (1):

uml:ProtocolTransition

Annotation

Specifies the precondition of the transition. It specifies the condition that should be verified before triggering the transition. This guard condition added to the source state will be evaluated as part of the precondition of the operation refered by the transition if any.

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

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

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.