blob: 734c9d6b57b59991b591e624a2546af1f6c94e9b [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<gmfgraph:Canvas xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:gmfgraph="http://www.eclipse.org/gmf/2006/GraphicalDefinition">
<figures>
<figures
xsi:type="gmfgraph:CustomFigure"
name="CustomFigure"
qualifiedClassName="org.eclipse.draw2d.ScalableFigure"/>
<figures
xsi:type="gmfgraph:CustomFigure"
name="AnotherPostconditionFigure"
qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure">
<customChildren
accessor="getContentPane">
<typedFigure
xsi:type="gmfgraph:CustomFigure"
qualifiedClassName="org.eclipse.draw2d.Rectangle"/>
</customChildren>
</figures>
<figures
xsi:type="gmfgraph:CustomFigure"
name="PostconditionContentPane"
qualifiedClassName="org.eclipse.draw2d.Rectangle"/>
<descriptors
name="LocalPreconditionFigure">
<actualFigure
xsi:type="gmfgraph:CustomFigure"
name="LocalPreconditionFigure"
qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure">
<attributes
name="FixedLabelText"
value="&quot;\u00ABlocalPrecondition\u00BB&quot;"/>
<customChildren
accessor="getContentPane">
<typedFigure
xsi:type="gmfgraph:CustomFigure"
qualifiedClassName="org.eclipse.draw2d.IFigure"/>
</customChildren>
</actualFigure>
<accessors
figure="//@figures.0/@descriptors.0/@actualFigure/@customChildren.0/@typedFigure"/>
</descriptors>
<descriptors
name="LocalPostconditionFigure">
<actualFigure
xsi:type="gmfgraph:CustomFigure"
name="LocalPostconditionFigure"
qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure">
<attributes
name="FixedLabelText"
value="&quot;\u00ABlocalPostcondition\u00BB&quot;"/>
<customChildren
accessor="getContentPane">
<typedFigure
xsi:type="gmfgraph:CustomFigure"
qualifiedClassName="org.eclipse.draw2d.Rectangle"/>
</customChildren>
</actualFigure>
<accessors
figure="//@figures.0/@descriptors.1/@actualFigure/@customChildren.0/@typedFigure"/>
</descriptors>
<descriptors
name="CustomConnectFigure">
<actualFigure
xsi:type="gmfgraph:CustomConnection"
name="CustomConnectFigure">
<customChildren
accessor="getFigure2">
<typedFigure
xsi:type="gmfgraph:CustomFigure"
qualifiedClassName="org.eclipse.draw2d.ScalableFigure"/>
</customChildren>
</actualFigure>
<accessors
figure="//@figures.0/@descriptors.2/@actualFigure/@customChildren.0/@typedFigure"/>
</descriptors>
<descriptors
name="AnotherPostconditionContentPane">
<actualFigure
xsi:type="gmfgraph:CustomFigure"
name="AnotherPostconditionContentPane"
qualifiedClassName="org.eclipse.draw2d.Rectangle"/>
</descriptors>
</figures>
<nodes
name="LocalPreconditionNode"
figure="LocalPreconditionFigure"/>
<nodes
name="LocalPostconditionNode"
figure="LocalPostconditionFigure"/>
<compartments
name="postcondition"
figure="LocalPostconditionFigure"
accessor="//@figures.0/@descriptors.1/@accessors.0"/>
<compartments
name="precondition"
figure="LocalPreconditionFigure"
accessor="//@figures.0/@descriptors.0/@accessors.0"/>
<compartments
name="anotherPostcondition"
figure="AnotherPostconditionContentPane"/>
<compartments
name="TargetCustomDecorCompartment"
figure="CustomConnectFigure"
accessor="//@figures.0/@descriptors.2/@accessors.0"/>
</gmfgraph:Canvas>