<?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=""\u00ABlocalPrecondition\u00BB""/> | |
<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=""\u00ABlocalPostcondition\u00BB""/> | |
<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> |