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