blob: bdcb4b3ed453b52447ae5a7048daf58e20df6bcc [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>
<descriptors
name="LocalPreconditionFigure">
<actualFigure
xsi:type="gmfgraph:CustomFigure"
name="LocalPreconditionFigure"
qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure">
<children
xsi:type="gmfgraph:Rectangle"
name="LocalPreconditionFigure_Body"
outline="false"/>
<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/@children.0"/>
</descriptors>
<descriptors
name="LocalPostconditionFigure">
<actualFigure
xsi:type="gmfgraph:CustomFigure"
name="LocalPostconditionFigure"
qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure">
<children
xsi:type="gmfgraph:Rectangle"
name="LocalPostconditionFigure_Body"/>
<attributes
name="FixedLabelText"
value="&quot;\u00ABlocalPostcondition\u00BB&quot;"/>
<customChildren
accessor="getContentPane">
<typedFigure
xsi:type="gmfgraph:CustomFigure"
qualifiedClassName="org.eclipse.draw2d.IFigure"/>
</customChildren>
</actualFigure>
<accessors
figure="//@figures.0/@descriptors.1/@actualFigure/@children.0"/>
</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"/>
</gmfgraph:Canvas>