| <?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/2005/GraphicalDefinition"> | |
| <figures> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| referencingElements="LocalPreconditionNode" | |
| name="LocalPreconditionFigure" | |
| qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure" | |
| bundleName=""> | |
| <attributes | |
| name="FixedLabelText" | |
| value=""\u00ABlocalPrecondition\u00BB""/> | |
| <customChildren | |
| referencingElements="precondition" | |
| accessor="getContentPane"/> | |
| </figures> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| referencingElements="LocalPostconditionNode" | |
| name="LocalPostconditionFigure" | |
| qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure" | |
| bundleName=""> | |
| <attributes | |
| name="FixedLabelText" | |
| value=""\u00ABlocalPostcondition\u00BB""/> | |
| <customChildren | |
| referencingElements="postcondition" | |
| accessor="getContentPane"> | |
| <typedFigure | |
| href="#PostconditionContentPane"/> | |
| </customChildren> | |
| </figures> | |
| <figures | |
| xsi:type="gmfgraph:CustomConnection" | |
| name="CustomConnectFigure"> | |
| <customChildren | |
| referencingElements="TargetCustomDecorCompartment" | |
| accessor="getFigure2" | |
| typedFigure="CustomFigure"/> | |
| </figures> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| name="CustomFigure" | |
| qualifiedClassName="org.eclipse.draw2d.ScalableFigure" | |
| bundleName="some.bundle"/> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| name="AnotherPostconditionFigure" | |
| qualifiedClassName="org.eclipse.uml2.diagram.common.draw2d.ConstraintFigure" | |
| bundleName=""> | |
| <customChildren | |
| accessor="getContentPane"> | |
| <typedFigure | |
| href="#AnotherPostconditionContentPane"/> | |
| </customChildren> | |
| </figures> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| name="PostconditionContentPane" | |
| qualifiedClassName="org.eclipse.draw2d.Rectangle"/> | |
| <figures | |
| xsi:type="gmfgraph:CustomFigure" | |
| name="AnotherPostconditionContentPane" | |
| qualifiedClassName="org.eclipse.draw2d.Rectangle" | |
| referencingElements="anotherPostcondition"/> | |
| </figures> | |
| <nodes | |
| name="LocalPreconditionNode" | |
| figure="LocalPreconditionFigure"/> | |
| <nodes | |
| name="LocalPostconditionNode" | |
| figure="LocalPostconditionFigure"/> | |
| <compartments | |
| name="postcondition" | |
| figure="//@figures.0/@figures.1/@customChildren.0"/> | |
| <compartments | |
| name="precondition" | |
| figure="//@figures.0/@figures.0/@customChildren.0"/> | |
| <compartments | |
| name="anotherPostcondition" | |
| figure="AnotherPostconditionContentPane"/> | |
| <compartments | |
| name="TargetCustomDecorCompartment" | |
| figure="//@figures.0/@figures.2/@customChildren.0"/> | |
| </gmfgraph:Canvas> |