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