element <postCondition> (local)

Namespace:	{no 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

<postCondition

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

</postCondition>

Included in content model of elements (1):

uml:ProtocolTransition

Annotation

Specifies the post condition of the transition which is the condition that should be obtained once the transition is triggered. This post condition is part of the post condition of the operation connected to the transition.

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

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

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.