5 10 15 20 25 30 35 40 45 AIRPLANE1 AIRPLANE2 AIRPLANE3 AIRPLANE4 AIRPLANE5 AIRPLANE6 AIRPLANE7 AIRPLANE8 AIRPLANE9 AIRPLANE10 AIRPLANE11 AIRPLANE12 AIRPLANE13 AIRPLANE14 AIRPLANE15 HOLD Time 15 20 25 30 35 40 45 AMAN is not functioning! :01 :02 :03 :04 :05 :06 :07 :08 :09 :10 :11 :12 :13 :14 :15 :16 :17 :18 :19 :20 :21 :22 :23 :24 :25 :26 :27 :28 :29 :30 :31 :32 :33 :34 :35 :36 :37 :38 :39 :40 :41 :42 :43 :44 :45

Nr Name Value
1 arrivalH_T ?
2 arrivalM_T ?
3 blockedZones_T ?
4 clickedElement ?
5 curTimeH ?
6 curTimeM ?
7 curTimeS ?
8 diplayedLabels ?
9 holdLabels_T ?
10 isStopped ?
11 labels_T ?
12 mousePosition ?
13 mouseState ?
14 newArrivalH_T ?
15 newArrivalM_T ?
16 requests_T ?
17 selectedElement ?
18 zoomLevel ?
Nr Name Value
1 Minutes {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59}
2 zoomLevels {15,20,25,30,35,40,45}
3 Hours {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23}
4 Seconds {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59}
5 Labels {Elements4,Elements5,Elements6,Elements7,Elements8,Elements9,Elements10,Elements11,Elements12,Elements13}
6 sep 3
7 step 10
Nr Name Value
1 Elements {nothing,hold,zoom,Elements4,Elements5,Elements6,Elements7,Elements8,Elements9,Elements10,Elements11,Elements12,Elements13}
2 mouseStates {released,clicked}
Nr Event Target State ID
1SETUP_CONSTANTS(Minutes={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,...State 0
2INITIALISATION(zoomLevel=15)
3addLabel(Elements10,0)
4movingMouse(0,zoom)
5addBlockedZone(0,3,0)
6clickMouse
7selectZoom(30,{},0)
8addBlockedZone(0,4,0)
9display({},{},10,10,{},{},10,0,0,{})
10addBlockedZone(0,5,10)
11addLabel(Elements5,10)
12addRequest(7,0,Elements5,1,1,10)
13display({(Elements5|->9)},{},20,20,{Elements5},{Elements5},20,0,0,{})
14display({(Elements5|->9)},{},30,30,{Elements5},{Elements5},30,0,0,{})
15display({(Elements5|->9)},{},40,40,{Elements5},{Elements5},40,0,0,{})
16display({(Elements5|->9)},{},50,50,{Elements5},{Elements5},50,0,0,{})
17display({(Elements5|->9)},{},0,60,{Elements5},{Elements5},60,0,1,{})
18display({(Elements5|->9)},{},10,70,{Elements5},{Elements5},70,0,1,{})
19display({(Elements5|->9)},{},20,80,{Elements5},{Elements5},80,0,1,{})
20display({(Elements5|->9)},{},30,90,{Elements5},{Elements5},90,0,1,{})
21display({(Elements5|->9)},{},40,100,{Elements5},{Elements5},100,0,1,{})
22display({(Elements5|->9)},{},50,110,{Elements5},{Elements5},110,0,1,{})
23display({(Elements5|->9)},{},0,120,{Elements5},{Elements5},120,0,2,{})
24display({(Elements5|->9)},{},10,130,{Elements5},{Elements5},130,0,2,{})
25display({(Elements5|->9)},{},20,140,{Elements5},{Elements5},140,0,2,{})
26display({(Elements5|->9)},{},30,150,{Elements5},{Elements5},150,0,2,{})
27display({(Elements5|->9)},{},40,160,{Elements5},{Elements5},160,0,2,{})
28display({(Elements5|->9)},{},50,170,{Elements5},{Elements5},170,0,2,{})
29display({(Elements5|->9)},{},0,180,{Elements5},{Elements5},180,0,3,{})
30clickMouse
31selectZoom(15,{Elements5},180)
32display({(Elements5|->9)},{},10,190,{Elements5},{Elements5},190,0,3,{})
33display({(Elements5|->9)},{},20,200,{Elements5},{Elements5},200,0,3,{})
34display({(Elements5|->9)},{},30,210,{Elements5},{Elements5},210,0,3,{})
35addBlockedZone(0,10,210)
36display({(Elements5|->9)},{},40,220,{Elements5},{Elements5},220,0,3,{})
37display({(Elements5|->9)},{},50,230,{Elements5},{Elements5},230,0,3,{})
38display({(Elements5|->9)},{},0,240,{Elements5},{Elements5},240,0,4,{})
39display({(Elements5|->9)},{},10,250,{Elements5},{Elements5},250,0,4,{})
40display({(Elements5|->9)},{},20,260,{Elements5},{Elements5},260,0,4,{})
41display({(Elements5|->9)},{},30,270,{Elements5},{Elements5},270,0,4,{})
42display({(Elements5|->9)},{},40,280,{Elements5},{Elements5},280,0,4,{})
43display({(Elements5|->9)},{},50,290,{Elements5},{Elements5},290,0,4,{})
44display({(Elements5|->9)},{},0,300,{Elements5},{Elements5},300,0,5,{})
45display({(Elements5|->9)},{},10,310,{Elements5},{Elements5},310,0,5,{})
46display({(Elements5|->9)},{},20,320,{Elements5},{Elements5},320,0,5,{})
47addBlockedZone(0,11,320)
48display({(Elements5|->9)},{},30,330,{Elements5},{Elements5},330,0,5,{})
49display({(Elements5|->9)},{},40,340,{Elements5},{Elements5},340,0,5,{})
50display({(Elements5|->9)},{},50,350,{Elements5},{Elements5},350,0,5,{})
51addRequest(9,0,Elements10,1,6,350)
52display({(Elements5|->9),(Elements10|->12)},{},0,360,{Elements5,Elements10},{Elements5,Elements10},360,0,6,{})
53display({(Elements5|->9),(Elements10|->12)},{},10,370,{Elements5,Elements10},{Elements5,Elements10},370,0,6,{})
54display({(Elements5|->9),(Elements10|->12)},{},20,380,{Elements5,Elements10},{Elements5,Elements10},380,0,6,{})
55display({(Elements5|->9),(Elements10|->12)},{},30,390,{Elements5,Elements10},{Elements5,Elements10},390,0,6,{})
56display({(Elements5|->9),(Elements10|->12)},{},40,400,{Elements5,Elements10},{Elements5,Elements10},400,0,6,{})
57display({(Elements5|->9),(Elements10|->12)},{},50,410,{Elements5,Elements10},{Elements5,Elements10},410,0,6,{})
58display({(Elements5|->9),(Elements10|->12)},{},0,420,{Elements5,Elements10},{Elements5,Elements10},420,0,7,{})
59display({(Elements5|->9),(Elements10|->12)},{},10,430,{Elements5,Elements10},{Elements5,Elements10},430,0,7,{})
60display({(Elements5|->9),(Elements10|->12)},{},20,440,{Elements5,Elements10},{Elements5,Elements10},440,0,7,{})
61display({(Elements5|->9),(Elements10|->12)},{},30,450,{Elements5,Elements10},{Elements5,Elements10},450,0,7,{})
62addBlockedZone(0,14,450)
63display({(Elements5|->9),(Elements10|->12)},{},40,460,{Elements5,Elements10},{Elements5,Elements10},460,0,7,{})
64addBlockedZone(0,15,460)
65display({(Elements5|->9),(Elements10|->12)},{},50,470,{Elements5,Elements10},{Elements5,Elements10},470,0,7,{})
66display({(Elements5|->9),(Elements10|->12)},{},0,480,{Elements5,Elements10},{Elements5,Elements10},480,0,8,{})
67display({(Elements5|->9),(Elements10|->12)},{},10,490,{Elements5,Elements10},{Elements5,Elements10},490,0,8,{})
68display({(Elements5|->9),(Elements10|->12)},{},20,500,{Elements5,Elements10},{Elements5,Elements10},500,0,8,{})
69display({(Elements5|->9),(Elements10|->12)},{},30,510,{Elements5,Elements10},{Elements5,Elements10},510,0,8,{})
70display({(Elements5|->9),(Elements10|->12)},{},40,520,{Elements5,Elements10},{Elements5,Elements10},520,0,8,{})
71display({(Elements5|->9),(Elements10|->12)},{},50,530,{Elements5,Elements10},{Elements5,Elements10},530,0,8,{})
72display({(Elements10|->12)},{Elements5},0,540,{Elements10},{Elements10},540,0,9,{})
73addBlockedZone(0,17,540)
74display({(Elements10|->12)},{},10,550,{Elements10},{Elements10},550,0,9,{})
75display({(Elements10|->12)},{},20,560,{Elements10},{Elements10},560,0,9,{})
76addBlockedZone(0,18,560)
77display({(Elements10|->12)},{},30,570,{Elements10},{Elements10},570,0,9,{})
78display({(Elements10|->12)},{},40,580,{Elements10},{Elements10},580,0,9,{})
79display({(Elements10|->12)},{},50,590,{Elements10},{Elements10},590,0,9,{})
80display({(Elements10|->12)},{},0,600,{Elements10},{Elements10},600,0,10,{})
81display({(Elements10|->12)},{},10,610,{Elements10},{Elements10},610,0,10,{})
82display({(Elements10|->12)},{},20,620,{Elements10},{Elements10},620,0,10,{})
83display({(Elements10|->12)},{},30,630,{Elements10},{Elements10},630,0,10,{})
84display({(Elements10|->12)},{},40,640,{Elements10},{Elements10},640,0,10,{})
85display({(Elements10|->12)},{},50,650,{Elements10},{Elements10},650,0,10,{})
86display({(Elements10|->12)},{},0,660,{Elements10},{Elements10},660,0,11,{})
87display({(Elements10|->12)},{},10,670,{Elements10},{Elements10},670,0,11,{})
88display({(Elements10|->12)},{},20,680,{Elements10},{Elements10},680,0,11,{})
89display({(Elements10|->12)},{},30,690,{Elements10},{Elements10},690,0,11,{})
90display({(Elements10|->12)},{},40,700,{Elements10},{Elements10},700,0,11,{})
91display({(Elements10|->12)},{},50,710,{Elements10},{Elements10},710,0,11,{})
92display({},{Elements10},0,720,{},{},720,0,12,{})
93display({},{},10,730,{},{},730,0,12,{})
94display({},{},20,740,{},{},740,0,12,{})
95display({},{},30,750,{},{},750,0,12,{})
96display({},{},40,760,{},{},760,0,12,{})
97display({},{},50,770,{},{},770,0,12,{})
98display({},{},0,780,{},{},780,0,13,{})
99display({},{},10,790,{},{},790,0,13,{})
Generated on 5/2/2024 at 12:34 using ProB version 1.12.3-nightly
Main specification file: M8_mch.eventb (modified on 5/2/2024 at 10:04)
Main specification name: M8
Main VisB JSON file: visualization/AMAN_M8_vis.json (modified on 5/2/2024 at 10:51)
VisB SVG file: visualization/AMAN.svg (modified on 23/1/2023 at 20:03)