1 <?xml version=
"1.0" encoding=
"UTF-8" standalone=
"no"?>
2 <!-- Created with Bouml (http://bouml.free.fr/) -->
3 <!DOCTYPE svg PUBLIC
"-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4 <svg width=
"585" height=
"443" version=
"1.1" xmlns=
"http://www.w3.org/2000/svg">
6 <rect fill=
"#dfffdf" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"56" y=
"82" width=
"498" height=
"272" />
7 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-anchor=
"middle" x=
"67" y=
"95">loop
</text>
8 <line stroke=
"black" stroke-opacity=
"1" x1=
"56" y1=
"99" x2=
"78" y2=
"99" />
9 <line stroke=
"black" stroke-opacity=
"1" x1=
"78" y1=
"99" x2=
"87" y2=
"90" />
10 <line stroke=
"black" stroke-opacity=
"1" x1=
"87" y1=
"90" x2=
"87" y2=
"82" />
13 <rect fill=
"#e0ffff" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"329" y=
"157" width=
"219" height=
"80" />
14 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-anchor=
"middle" x=
"378" y=
"170">[sector is intermediate]
</text>
15 <line stroke=
"black" stroke-opacity=
"1" x1=
"329" y1=
"174" x2=
"426" y2=
"174" />
16 <line stroke=
"black" stroke-opacity=
"1" x1=
"426" y1=
"174" x2=
"435" y2=
"165" />
17 <line stroke=
"black" stroke-opacity=
"1" x1=
"435" y1=
"165" x2=
"435" y2=
"157" />
20 <line stroke=
"black" stroke-opacity=
"1" x1=
"163" y1=
"149" x2=
"440" y2=
"149" />
21 <path fill=
"none" stroke=
"black" stroke-opacity=
"1" d=
"M 436 145 L 440 149 L 436 153" />
24 <line stroke-dasharray=
"4,4" stroke=
"black" stroke-opacity=
"1" x1=
"264" y1=
"387" x2=
"264" y2=
"364" />
27 <line stroke-dasharray=
"4,4" stroke=
"black" stroke-opacity=
"1" x1=
"264" y1=
"364" x2=
"162" y2=
"363" />
30 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"479" y=
"8" width=
"3" height=
"18" />
31 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"413" y=
"23" width=
"69" height=
"3" />
32 <rect fill=
"#ffffc0" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"409" y=
"4" width=
"70" height=
"19" />
33 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-decoration=
"underline" text-anchor=
"middle" x=
"444" y=
"18">The_Race:Race
</text>
36 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"569" y=
"8" width=
"3" height=
"18" />
37 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"492" y=
"23" width=
"80" height=
"3" />
38 <rect fill=
"#ffffc0" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"488" y=
"4" width=
"81" height=
"19" />
39 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-decoration=
"underline" text-anchor=
"middle" x=
"529" y=
"18">A_Monitor:Monitor
</text>
42 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"75" y=
"8" width=
"3" height=
"18" />
43 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"14" y=
"23" width=
"64" height=
"3" />
44 <rect fill=
"#ffffc0" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"10" y=
"4" width=
"65" height=
"19" />
45 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-decoration=
"underline" text-anchor=
"middle" x=
"43" y=
"18">car:The_Racer
</text>
48 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"182" y=
"8" width=
"3" height=
"18" />
49 <rect fill=
"#808080" stroke=
"none" stroke-opacity=
"1" x=
"134" y=
"23" width=
"51" height=
"3" />
50 <rect fill=
"#ffffc0" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"130" y=
"4" width=
"52" height=
"19" />
51 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-decoration=
"underline" text-anchor=
"middle" x=
"156" y=
"18">Track:Track
</text>
54 <line stroke=
"black" stroke-dasharray=
"18,6" stroke-opacity=
"1" x1=
"34" y1=
"45" x2=
"34" y2=
"443" />
57 <polygon fill=
"#ffdca8" stroke=
"black" stroke-opacity=
"1" points=
"188,388 331,388 331,398 341,398 341,431 188,431 188,388" />
58 <line stroke=
"black" stroke-opacity=
"1" x1=
"331" y1=
"388" x2=
"341" y2=
"398" />
59 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"198" y=
"410">il ritorno avviene prima di entrare
</text>
60 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"198" y=
"423">nel settore successivo.
</text>
63 <line stroke=
"black" stroke-dasharray=
"18,6" stroke-opacity=
"1" x1=
"530" y1=
"45" x2=
"530" y2=
"443" />
66 <rect fill=
"none" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"29" y=
"51" width=
"10" height=
"361" />
69 <rect fill=
"none" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"525" y=
"178" width=
"10" height=
"41" />
72 <line stroke=
"black" stroke-opacity=
"1" x1=
"40" y1=
"57" x2=
"152" y2=
"57" />
73 <polygon fill=
"#000000" stroke=
"none" points=
"152,57 148,53 148,61" />
76 <line stroke=
"black" stroke-opacity=
"1" x1=
"163" y1=
"72" x2=
"440" y2=
"72" />
77 <path fill=
"none" stroke=
"black" stroke-opacity=
"1" d=
"M 167 68 L 163 72 L 167 76" />
80 <line stroke=
"black" stroke-opacity=
"1" x1=
"40" y1=
"131" x2=
"152" y2=
"131" />
81 <path fill=
"none" stroke=
"black" stroke-opacity=
"1" d=
"M 44 127 L 40 131 L 44 135" />
84 <line stroke=
"black" stroke-opacity=
"1" stroke-dasharray=
"4,4" x1=
"40" y1=
"377" x2=
"152" y2=
"377" />
85 <path fill=
"none" stroke=
"black" stroke-opacity=
"1" d=
"M 44 373 L 40 377 L 44 381" />
88 <line stroke=
"black" stroke-opacity=
"1" x1=
"451" y1=
"189" x2=
"525" y2=
"189" />
89 <path fill=
"none" stroke=
"black" stroke-opacity=
"1" d=
"M 521 185 L 525 189 L 521 193" />
92 <rect fill=
"#ffc0ff" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"69" y=
"253" width=
"435" height=
"75" />
93 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" text-anchor=
"middle" x=
"102" y=
"266">[lap
> last_lap]
</text>
94 <line stroke=
"black" stroke-opacity=
"1" x1=
"69" y1=
"270" x2=
"134" y2=
"270" />
95 <line stroke=
"black" stroke-opacity=
"1" x1=
"134" y1=
"270" x2=
"143" y2=
"261" />
96 <line stroke=
"black" stroke-opacity=
"1" x1=
"143" y1=
"261" x2=
"143" y2=
"253" />
99 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"65" y=
"125">UpdateProperties
</text>
102 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"291" y=
"64">StartRace
</text>
105 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"93" y=
"369">RaceEnded
</text>
108 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"66" y=
"50">PutOnPitLane
</text>
111 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"460" y=
"180">UpdateMonitor
</text>
114 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"183" y=
"139">UpdateStatistics(lap : Natural, sector: Natural, speed: Float)
</text>
117 <line stroke=
"black" stroke-dasharray=
"18,6" stroke-opacity=
"1" x1=
"445" y1=
"45" x2=
"445" y2=
"443" />
120 <line stroke=
"black" stroke-dasharray=
"18,6" stroke-opacity=
"1" x1=
"157" y1=
"45" x2=
"157" y2=
"443" />
123 <rect fill=
"none" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"152" y=
"51" width=
"10" height=
"332" />
126 <rect fill=
"none" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"158" y=
"278" width=
"10" height=
"46" />
129 <rect fill=
"none" stroke=
"black" stroke-width=
"1" stroke-opacity=
"1" x=
"440" y=
"51" width=
"10" height=
"344" />
132 <line stroke=
"black" stroke-opacity=
"1" x1=
"169" y1=
"289" x2=
"440" y2=
"289" />
133 <polygon fill=
"#000000" stroke=
"none" points=
"169,289 173,285 173,293" />
136 <text font-family=
"Helvetica" font-size=
"9" fill=
"#000000" xml:
space=
"preserve" x=
"279" y=
"281">Kill
</text>