| <?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> |