contract-flow scaled to fit on A4

diff --git a/doc/contract-flow.svg b/doc/contract-flow.svg
index 81de53144497fe2f9a079db107523f3f9037d992..01f032d81d51fa6aa5e8bbd6290415728970ac33 100644 (file)
--- a/doc/contract-flow.svg
+++ b/doc/contract-flow.svg
@@ -8,8 +8,8 @@
    xmlns="http://www.w3.org/2000/svg"
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   width="1022.3939"
-   height="898.69128"
+   width="1052.3622"
+   height="744.09448"
    id="svg2383"
    sodipodi:version="0.32"
    inkscape:version="0.46"
@@ -42,9 +42,9 @@
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="0.88254547"
-     inkscape:cx="420.06197"
-     inkscape:cy="411.42335"
+     inkscape:zoom="0.5"
+     inkscape:cx="404.68726"
+     inkscape:cy="345.66049"
      inkscape:current-layer="layer2"
      inkscape:document-units="px"
      showgrid="false"
@@ -61,8 +61,10 @@
      inkscape:guide-bbox="true"
      inkscape:snap-global="true"
      inkscape:snap-nodes="true"
-     showborder="false"
-     inkscape:connector-spacing="3" />
+     showborder="true"
+     inkscape:connector-spacing="3"
+     units="cm"
+     borderlayer="false" />
   <metadata
      id="metadata2388">
     <rdf:RDF>
@@ -81,40 +83,38 @@
      style="display:inline"
      transform="translate(12.535594,-276.21398)">
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="M 778.11401,291.35714 L 795.42644,243.76752"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 722.7869,562.59974 L 736.63684,524.52805"
        id="path4320"
-       transform="translate(-12.535594,276.21398)"
        inkscape:connector-type="polyline" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
-       d="M 421.90298,283.75593 L 365.98681,235.83592"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+       d="M 422.57898,556.51878 L 393.08514,518.18277"
        id="path4318"
-       transform="translate(-12.535594,276.21398)"
        inkscape:connector-type="polyline"
        inkscape:connection-start="#g3390" />
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
-       x="-759.63147"
-       y="404.09589"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
+       x="-716.24799"
+       y="433.60089"
        id="text3481"
        transform="matrix(0,-1,1,0,0,0)"><tspan
          sodipodi:role="line"
          id="tspan3483"
-         x="-759.63147"
-         y="404.09589"
-         style="font-size:16px">1. frsh_contract_negotiate()</tspan></text>
+         x="-716.24799"
+         y="433.60089"
+         style="font-size:12.80000019px">1. frsh_contract_negotiate()</tspan></text>
     <rect
-       style="opacity:1;fill:#e6e6e6;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:#e6e6e6;fill-opacity:1;stroke:#000000;stroke-width:0.80000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
        id="rect3505"
-       width="453.29221"
-       height="129.67314"
-       x="332.50775"
-       y="891.87958" />
+       width="362.63376"
+       height="103.73851"
+       x="376.33038"
+       y="822.04645" />
     <g
        id="g3969"
-       transform="translate(-37.188037,231.92226)">
+       transform="matrix(0.8,0,0,0.8,80.573736,294.08065)">
       <rect
          style="fill:#ffc0c0;fill-opacity:1;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
          id="rect3260"
@@ -354,7 +354,7 @@
     </g>
     <g
        id="g4013"
-       transform="translate(40.145986,-58.215154)">
+       transform="matrix(0.8,0,0,0.8,142.44095,61.97072)">
       <rect
          y="334.42914"
          x="424.65244"
@@ -465,7 +465,7 @@
     </g>
     <g
        id="g4037"
-       transform="translate(122.84701,294.90515)">
+       transform="matrix(0.8,0,0,0.8,208.60177,344.46697)">
       <rect
          style="fill:#ffc0c0;fill-opacity:1;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
          id="rect3913"
@@ -545,7 +545,7 @@
       <g
          id="g3323"
          transform="translate(0,46.977432)"
-         style="stroke:#000000;stroke-opacity:1;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none">
+         style="stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1">
         <rect
            style="fill:#ffcc00;fill-opacity:0.71428576;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
            id="rect3957"
@@ -592,15 +592,15 @@
       </g>
     </g>
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:3.00000048;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
-       d="M 413.37894,946.79555 L 413.37894,619.5384"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:2.40000033;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
+       d="M 441.02731,865.97929 L 441.02731,604.17357"
        id="path4065"
        sodipodi:nodetypes="cc" />
     <g
        id="g3373"
-       transform="translate(461.03433,388.92945)">
+       transform="matrix(0.8,0,0,0.8,479.15163,419.68641)">
       <rect
-         style="fill:#ff5f5f;fill-opacity:1;stroke:#000000;stroke-width:1.99999988000000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+         style="fill:#ff5f5f;fill-opacity:1;stroke:#000000;stroke-width:1.99999988;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
          id="rect5280"
          width="127.94772"
          height="57.947727"
@@ -619,16 +619,16 @@
     </g>
     <path
        id="path5392"
-       d="M 455.3007,583.94377 L 650.3912,583.94377"
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:3.00000048;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
+       d="M 474.56472,575.69786 L 630.63712,575.69786"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:2.40000033;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:3.00000048;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
-       d="M 696.49425,955.75069 L 696.28933,714.95752 C 696.27458,697.6262 687.50248,682.95366 663.58299,682.95366 L 470.52694,682.95366 C 447.42951,682.95366 441.02503,696.13022 441.21131,713.4574 L 443.71326,946.18275"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:2.40000033;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
+       d="M 667.51956,873.1434 L 667.35563,680.50886 C 667.34383,666.64381 660.32615,654.90577 641.19055,654.90577 L 486.74571,654.90577 C 468.26777,654.90577 463.14419,665.44702 463.29321,679.30877 L 465.29477,865.48905"
        id="path3413"
        sodipodi:nodetypes="czzzzc" />
     <g
        id="g3355"
-       transform="translate(-317.82556,388.92945)">
+       transform="matrix(0.8,0,0,0.8,-143.93629,419.68641)">
       <rect
          style="fill:#fff6d5;fill-opacity:1;stroke:#ffcc00;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
          id="rect5306"
@@ -653,7 +653,7 @@
     </g>
     <g
        id="g3390"
-       transform="translate(5.4557694,0)">
+       transform="matrix(0.8,0,0,0.8,114.68878,108.54285)">
       <rect
          y="560.96991"
          x="361.21506"
@@ -674,16 +674,17 @@
     </g>
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:start;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-       x="-241.56015"
-       y="516.46289"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:start;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
+       x="-82.92395"
+       y="521.71313"
        id="text6492"><tspan
          sodipodi:role="line"
          id="tspan6494"
-         x="-241.56015"
-         y="516.46289" /></text>
+         x="-82.92395"
+         y="521.71313" /></text>
     <g
-       id="g4292">
+       id="g4292"
+       transform="matrix(0.8,0,0,0.8,110.32416,108.54285)">
       <rect
          rx="22.661722"
          ry="22.661726"
@@ -707,7 +708,7 @@
     <g
        style="display:inline"
        id="g3425"
-       transform="translate(-209.45544,699.95038)">
+       transform="matrix(0.8,0,0,0.8,-57.240186,668.50315)">
       <g
          transform="translate(250.45708,-530.3578)"
          style="display:inline"
@@ -733,56 +734,56 @@
     </g>
     <text
        xml:space="preserve"
-       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
-       x="558.45099"
-       y="572.60785"
+       style="font-size:12.80000019px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
+       x="557.08496"
+       y="566.62909"
        id="text3485"><tspan
          sodipodi:role="line"
-         x="558.45099"
-         y="572.60785"
+         x="557.08496"
+         y="566.62909"
          id="tspan3511">2. reserve(), commit()</tspan></text>
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
-       x="-782.87616"
-       y="727.0824"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
+       x="-734.84375"
+       y="691.99011"
        id="text3489"
        transform="matrix(0,-1,1,0,0,0)"><tspan
          sodipodi:role="line"
          id="tspan3491"
-         x="-782.87616"
-         y="727.0824"
-         style="font-size:16px">3. create_vres()</tspan></text>
+         x="-734.84375"
+         y="691.99011"
+         style="font-size:12.80000019px">3. create_vres()</tspan></text>
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
-       x="553.35901"
-       y="600.71265"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
+       x="553.01135"
+       y="589.11292"
        id="text3493"><tspan
          sodipodi:role="line"
          id="tspan3495"
-         x="553.35901"
-         y="600.71265"
-         style="font-size:16px">return</tspan></text>
+         x="553.01135"
+         y="589.11292"
+         style="font-size:12.80000019px">return</tspan></text>
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-       x="563.66425"
-       y="913.30377"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
+       x="561.25555"
+       y="839.18585"
        id="text3507"><tspan
          sodipodi:role="line"
          id="tspan3509"
-         x="563.66425"
-         y="913.30377"
-         style="font-size:16px">Application's address space</tspan></text>
+         x="561.25555"
+         y="839.18585"
+         style="font-size:12.80000019px">Application's address space</tspan></text>
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:3.00000024;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
-       d="M 660.72536,606.08116 L 470.3394,606.08116 C 433.37451,606.08116 434.78353,652.88869 468.69327,652.88869 L 701.41734,652.88869 C 720.99678,652.88869 736.18588,667.27287 736.18588,692.2612 L 736.18588,942.83356"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:2.4000001;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
+       d="M 638.90445,593.40777 L 486.59568,593.40777 C 457.02377,593.40777 458.15099,630.8538 485.27878,630.8538 L 671.45803,630.8538 C 687.12159,630.8538 699.27287,642.36114 699.27287,662.35181 L 699.27287,862.80969"
        id="path5398"
        sodipodi:nodetypes="czzzzc" />
     <g
        id="g3406"
-       transform="translate(4.7548829e-6,2.1862793e-6)">
+       transform="matrix(0.8,0,0,0.8,110.32417,108.54285)">
       <rect
          y="560.96991"
          x="656.11176"
@@ -807,25 +808,23 @@
     </g>
     <text
        xml:space="preserve"
-       style="font-size:20px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
-       x="567.73633"
-       y="677.51312"
+       style="font-size:16px;font-style:normal;font-weight:normal;text-align:center;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline;font-family:Bitstream Vera Sans"
+       x="564.51324"
+       y="650.55328"
        id="text4245"><tspan
          sodipodi:role="line"
          id="tspan4247"
-         x="567.73633"
-         y="677.51312"
-         style="font-size:16px">4. return</tspan></text>
+         x="564.51324"
+         y="650.55328"
+         style="font-size:12.80000019px">4. return</tspan></text>
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="M 727.44127,731.63312 L 756.91138,757.34303"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 682.2487,914.82053 L 705.82479,935.38845"
        id="path4261"
-       inkscape:connector-type="polyline"
-       transform="translate(-12.535594,276.21398)"
-       inkscape:connection-end="#rect4257" />
+       inkscape:connector-type="polyline" />
     <g
        id="g4297"
-       transform="translate(-30.257158,-97.600347)">
+       transform="matrix(0.8,0,0,0.8,86.118439,30.462565)">
       <rect
          style="opacity:1;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.99999994;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:inline"
          id="rect4255"
@@ -856,7 +855,7 @@
     </g>
     <g
        id="g4282"
-       transform="translate(-71.462095,-23.704179)">
+       transform="matrix(0.8,0,0,0.8,53.15449,89.579498)">
       <rect
          rx="22.661722"
          ry="22.661724"