|
<?xml version="1.0" encoding="UTF-8" standalone="no"?> |
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" |
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> |
|
<!-- Generated by graphviz version 2.43.0 (0) |
|
--> |
|
<!-- Title: graph Pages: 1 --> |
|
<svg width="865pt" height="262pt" |
|
viewBox="0.00 0.00 865.00 262.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> |
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 258)"> |
|
<title>graph</title> |
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-258 861,-258 861,4 -4,4"/> |
|
<!-- N9 --> |
|
<g id="node1" class="node"> |
|
<title>N9</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="327,-132 171,-132 171,-85 327,-85 327,-132"/> |
|
<text text-anchor="middle" x="249" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Room</text> |
|
<text text-anchor="middle" x="249" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">currentKey: Key1</text> |
|
<text text-anchor="middle" x="249" y="-92.4" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key0, Key1, Key4</text> |
|
</g> |
|
<!-- N6 --> |
|
<g id="node2" class="node"> |
|
<title>N6</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="154,-36 100,-36 100,0 154,0 154,-36"/> |
|
<text text-anchor="middle" x="127" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key1</text> |
|
</g> |
|
<!-- N9->N6 --> |
|
<g id="edge1" class="edge"> |
|
<title>N9->N6</title> |
|
<path fill="none" stroke="#e41a1c" d="M213.19,-84.95C204.51,-79.25 195.33,-73.03 187,-67 176.45,-59.36 165.22,-50.56 155.36,-42.61"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="157.41,-39.76 147.44,-36.16 152.99,-45.19 157.41,-39.76"/> |
|
<text text-anchor="middle" x="221" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">currentKey</text> |
|
</g> |
|
<!-- N9->N6 --> |
|
<g id="edge12" class="edge"> |
|
<title>N9->N6</title> |
|
<path fill="none" stroke="#377eb8" d="M170.87,-89.68C158.93,-84.07 147.7,-76.69 139,-67 133.87,-61.29 130.86,-53.71 129.12,-46.27"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="132.56,-45.67 127.44,-36.4 125.66,-46.84 132.56,-45.67"/> |
|
<text text-anchor="middle" x="153" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N3 --> |
|
<g id="node9" class="node"> |
|
<title>N3</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="499,-36 445,-36 445,0 499,0 499,-36"/> |
|
<text text-anchor="middle" x="472" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key4</text> |
|
</g> |
|
<!-- N9->N3 --> |
|
<g id="edge13" class="edge"> |
|
<title>N9->N3</title> |
|
<path fill="none" stroke="#377eb8" d="M305.85,-84.94C346.54,-68.79 400.14,-47.52 435.31,-33.56"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="436.71,-36.77 444.71,-29.83 434.12,-30.27 436.71,-36.77"/> |
|
<text text-anchor="middle" x="394" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N2 --> |
|
<g id="node10" class="node"> |
|
<title>N2</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="296,-36 242,-36 242,0 296,0 296,-36"/> |
|
<text text-anchor="middle" x="269" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key0</text> |
|
</g> |
|
<!-- N9->N2 --> |
|
<g id="edge11" class="edge"> |
|
<title>N9->N2</title> |
|
<path fill="none" stroke="#377eb8" d="M254.15,-84.71C256.83,-72.87 260.11,-58.32 262.92,-45.92"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="266.34,-46.65 265.13,-36.12 259.51,-45.11 266.34,-46.65"/> |
|
<text text-anchor="middle" x="275" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N12 --> |
|
<g id="node3" class="node"> |
|
<title>N12</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="98,-247.5 0,-247.5 0,-187.5 98,-187.5 98,-247.5"/> |
|
<text text-anchor="middle" x="49" y="-233.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin0</text> |
|
<text text-anchor="middle" x="49" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="49" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="49" y="-194.9" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N12->N9 --> |
|
<g id="edge16" class="edge"> |
|
<title>N12->N9</title> |
|
<path fill="none" stroke="#a65628" d="M67.91,-187.45C77.82,-174.3 91.01,-159.59 106,-150 116.08,-143.55 137.62,-136.46 160.99,-130.04"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="161.98,-133.4 170.73,-127.43 160.16,-126.64 161.98,-133.4"/> |
|
<text text-anchor="middle" x="122.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N12->N6 --> |
|
<g id="edge6" class="edge"> |
|
<title>N12->N6</title> |
|
<path fill="none" stroke="#ff7f00" d="M36.72,-187.35C27.04,-159.69 17.51,-117.62 33,-85 44.4,-60.99 69.41,-44.09 90.76,-33.41"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="92.4,-36.51 99.95,-29.07 89.41,-30.18 92.4,-36.51"/> |
|
<text text-anchor="middle" x="44" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N7 --> |
|
<g id="node4" class="node"> |
|
<title>N7</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="145.5,-126.5 64.5,-126.5 64.5,-90.5 145.5,-90.5 145.5,-126.5"/> |
|
<text text-anchor="middle" x="105" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
<text text-anchor="middle" x="105" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key1</text> |
|
</g> |
|
<!-- N12->N7 --> |
|
<g id="edge2" class="edge"> |
|
<title>N12->N7</title> |
|
<path fill="none" stroke="#a65628" d="M46.2,-187.26C46.27,-175.11 48.04,-161.25 54,-150 57.31,-143.76 62.04,-138.15 67.3,-133.24"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="69.87,-135.65 75.29,-126.55 65.38,-130.29 69.87,-135.65"/> |
|
<text text-anchor="middle" x="70.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N7->N6 --> |
|
<g id="edge9" class="edge"> |
|
<title>N7->N6</title> |
|
<path fill="none" stroke="#4daf4a" d="M86.75,-90.16C78.03,-79.7 70.71,-66.09 77,-54 80.43,-47.41 85.73,-41.8 91.63,-37.14"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="93.71,-39.95 99.91,-31.35 89.7,-34.21 93.71,-39.95"/> |
|
<text text-anchor="middle" x="91" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N11 --> |
|
<g id="node5" class="node"> |
|
<title>N11</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="506,-247.5 408,-247.5 408,-187.5 506,-187.5 506,-247.5"/> |
|
<text text-anchor="middle" x="457" y="-233.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin1</text> |
|
<text text-anchor="middle" x="457" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest1</text> |
|
<text text-anchor="middle" x="457" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key4</text> |
|
<text text-anchor="middle" x="457" y="-194.9" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N11->N9 --> |
|
<g id="edge17" class="edge"> |
|
<title>N11->N9</title> |
|
<path fill="none" stroke="#a65628" d="M410.4,-187.4C406.57,-185.19 402.74,-183.03 399,-181 369.84,-165.18 336.61,-149.15 308.85,-136.28"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="310.2,-133.05 299.66,-132.04 307.27,-139.41 310.2,-133.05"/> |
|
<text text-anchor="middle" x="378.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N4 --> |
|
<g id="node6" class="node"> |
|
<title>N4</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="565.5,-126.5 484.5,-126.5 484.5,-90.5 565.5,-90.5 565.5,-126.5"/> |
|
<text text-anchor="middle" x="525" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest1</text> |
|
<text text-anchor="middle" x="525" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key4</text> |
|
</g> |
|
<!-- N11->N4 --> |
|
<g id="edge3" class="edge"> |
|
<title>N11->N4</title> |
|
<path fill="none" stroke="#a65628" d="M462.46,-187.46C465.67,-175.21 470.6,-161.22 478,-150 481.9,-144.08 486.91,-138.52 492.19,-133.54"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="494.81,-135.89 500.03,-126.67 490.2,-130.63 494.81,-135.89"/> |
|
<text text-anchor="middle" x="494.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N11->N3 --> |
|
<g id="edge7" class="edge"> |
|
<title>N11->N3</title> |
|
<path fill="none" stroke="#ff7f00" d="M453.75,-187.37C451.38,-160.63 449.32,-119.97 454,-85 455.76,-71.89 459.39,-57.69 462.94,-45.84"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="466.34,-46.7 465.98,-36.11 459.66,-44.61 466.34,-46.7"/> |
|
<text text-anchor="middle" x="465" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N4->N3 --> |
|
<g id="edge10" class="edge"> |
|
<title>N4->N3</title> |
|
<path fill="none" stroke="#4daf4a" d="M514.78,-90.44C507.01,-77.46 496.19,-59.39 487.37,-44.67"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="490.33,-42.79 482.19,-36.01 484.32,-46.39 490.33,-42.79"/> |
|
<text text-anchor="middle" x="514" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N8 --> |
|
<g id="node7" class="node"> |
|
<title>N8</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="214,-235.5 116,-235.5 116,-199.5 214,-199.5 214,-235.5"/> |
|
<text text-anchor="middle" x="165" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkout</text> |
|
<text text-anchor="middle" x="165" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
</g> |
|
<!-- N8->N7 --> |
|
<g id="edge4" class="edge"> |
|
<title>N8->N7</title> |
|
<path fill="none" stroke="#a65628" d="M161.47,-199.24C158.12,-185.28 152.2,-165.47 143,-150 139.7,-144.45 135.53,-139.04 131.17,-134.06"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="133.63,-131.58 124.25,-126.66 128.52,-136.36 133.63,-131.58"/> |
|
<text text-anchor="middle" x="166.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N10 --> |
|
<g id="node8" class="node"> |
|
<title>N10</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="390,-254 232,-254 232,-181 390,-181 390,-254"/> |
|
<text text-anchor="middle" x="311" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Entry</text> |
|
<text text-anchor="middle" x="311" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e', post)</text> |
|
<text text-anchor="middle" x="311" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="311" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="311" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N10->N9 --> |
|
<g id="edge18" class="edge"> |
|
<title>N10->N9</title> |
|
<path fill="none" stroke="#a65628" d="M290.35,-180.87C282.87,-167.96 274.48,-153.47 267.22,-140.94"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="270.2,-139.11 262.16,-132.22 264.15,-142.62 270.2,-139.11"/> |
|
<text text-anchor="middle" x="296.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N10->N6 --> |
|
<g id="edge8" class="edge"> |
|
<title>N10->N6</title> |
|
<path fill="none" stroke="#ff7f00" d="M335.16,-180.94C356.35,-144.91 379.44,-89.53 349,-54 332.03,-34.19 258.77,-40.07 233,-36 210.11,-32.39 184.45,-28.28 164.11,-25"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="164.44,-21.51 154.01,-23.37 163.32,-28.42 164.44,-21.51"/> |
|
<text text-anchor="middle" x="374" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N10->N7 --> |
|
<g id="edge5" class="edge"> |
|
<title>N10->N7</title> |
|
<path fill="none" stroke="#a65628" d="M245.58,-180.89C226.74,-170.77 206.11,-159.84 187,-150 174.85,-143.74 161.6,-137.12 149.37,-131.08"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="150.76,-127.86 140.24,-126.59 147.67,-134.14 150.76,-127.86"/> |
|
<text text-anchor="middle" x="227.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N5 --> |
|
<g id="node11" class="node"> |
|
<title>N5</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="713,-241 543,-241 543,-194 713,-194 713,-241"/> |
|
<text text-anchor="middle" x="628" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="628" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key4</text> |
|
<text text-anchor="middle" x="628" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">occupant: Room->Guest1</text> |
|
</g> |
|
<!-- N5->N4 --> |
|
<g id="edge15" class="edge"> |
|
<title>N5->N4</title> |
|
<path fill="none" stroke="#e41a1c" d="M569.47,-193.73C555.95,-185.89 542.93,-175.77 534,-163 528.73,-155.45 526.17,-145.87 525.02,-136.91"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="528.5,-136.53 524.24,-126.82 521.52,-137.06 528.5,-136.53"/> |
|
<text text-anchor="middle" x="586" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">occupant [Room]</text> |
|
</g> |
|
<!-- N5->N3 --> |
|
<g id="edge14" class="edge"> |
|
<title>N5->N3</title> |
|
<path fill="none" stroke="#984ea3" d="M637.12,-193.95C641.07,-180.74 643.65,-163.96 638,-150 614.73,-92.55 549.94,-53.89 508.53,-34.23"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="509.85,-30.99 499.3,-29.99 506.92,-37.35 509.85,-30.99"/> |
|
<text text-anchor="middle" x="674.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#984ea3">lastKey [Room]</text> |
|
</g> |
|
<!-- N0 --> |
|
<g id="node12" class="node"> |
|
<title>N0</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="785,-235.5 731,-235.5 731,-199.5 785,-199.5 785,-235.5"/> |
|
<text text-anchor="middle" x="758" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key3</text> |
|
</g> |
|
<!-- N1 --> |
|
<g id="node13" class="node"> |
|
<title>N1</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="857,-235.5 803,-235.5 803,-199.5 857,-199.5 857,-235.5"/> |
|
<text text-anchor="middle" x="830" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
</g> |
|
</g> |
|
</svg> |