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=20)
3display({},{},10,10,{},{},10,0,0,{})
4addLabel(Elements6,10)
5display({},{},20,20,{},{},20,0,0,{})
6addBlockedZone(0,3,20)
7addLabel(Elements9,20)
8addBlockedZone(0,4,20)
9removeLabel(Elements6,20)
10addBlockedZone(0,5,20)
11addBlockedZone(0,0,20)
12addLabel(Elements8,20)
13addBlockedZone(0,7,20)
14addRequest(7,0,Elements8,1,1,20)
15addLabel(Elements10,20)
16display({(Elements8|->2)},{},30,30,{Elements8},{Elements8},30,0,0,{})
17addBlockedZone(0,9,30)
18addRequest(7,0,Elements9,1,1,30)
19addLabel(Elements11,30)
20display({(Elements8|->2),(Elements9|->10)},{},40,40,{Elements8,Elements9},{Elements8,Elements9},40,0,0,{})
21addBlockedZone(0,11,40)
22movingMouse(40,zoom)
23addBlockedZone(0,12,40)
24clickMouse
25selectZoom(45,{Elements8,Elements9},40)
26addRequest(7,0,Elements10,1,1,40)
27display({(Elements8|->2),(Elements9|->10),(Elements10|->18)},{},50,50,{Elements8,Elements9,Elements10},{Elements8,Elemen...
28addBlockedZone(0,14,50)
29display({(Elements8|->2),(Elements9|->10),(Elements10|->18)},{},0,60,{Elements8,Elements9,Elements10},{Elements8,Element...
30addBlockedZone(0,15,60)
31display({(Elements8|->2),(Elements9|->10),(Elements10|->18)},{},10,70,{Elements8,Elements9,Elements10},{Elements8,Elemen...
32addBlockedZone(0,16,70)
33display({(Elements8|->2),(Elements9|->10),(Elements10|->18)},{},20,80,{Elements8,Elements9,Elements10},{Elements8,Elemen...
34addBlockedZone(0,17,80)
35display({(Elements8|->2),(Elements9|->10),(Elements10|->18)},{},30,90,{Elements8,Elements9,Elements10},{Elements8,Elemen...
36addBlockedZone(0,18,90)
37display({(Elements8|->2),(Elements9|->10),(Elements10|->19)},{},40,100,{Elements8,Elements9,Elements10},{Elements8,Eleme...
38addBlockedZone(0,19,100)
39display({(Elements8|->2),(Elements9|->10),(Elements10|->20)},{},50,110,{Elements8,Elements9,Elements10},{Elements8,Eleme...
40addBlockedZone(0,21,110)
41display({(Elements9|->10),(Elements10|->20)},{Elements8},0,120,{Elements9,Elements10},{Elements9,Elements10},120,0,2,{})
42addBlockedZone(0,22,120)
43display({(Elements9|->10),(Elements10|->20)},{},10,130,{Elements9,Elements10},{Elements9,Elements10},130,0,2,{})
44display({(Elements9|->10),(Elements10|->20)},{},20,140,{Elements9,Elements10},{Elements9,Elements10},140,0,2,{})
45display({(Elements9|->10),(Elements10|->20)},{},30,150,{Elements9,Elements10},{Elements9,Elements10},150,0,2,{})
46display({(Elements9|->10),(Elements10|->20)},{},40,160,{Elements9,Elements10},{Elements9,Elements10},160,0,2,{})
47display({(Elements9|->10),(Elements10|->20)},{},50,170,{Elements9,Elements10},{Elements9,Elements10},170,0,2,{})
48display({(Elements9|->10),(Elements10|->20)},{},0,180,{Elements9,Elements10},{Elements9,Elements10},180,0,3,{})
49display({(Elements9|->10),(Elements10|->20)},{},10,190,{Elements9,Elements10},{Elements9,Elements10},190,0,3,{})
50display({(Elements9|->10),(Elements10|->20)},{},20,200,{Elements9,Elements10},{Elements9,Elements10},200,0,3,{})
51display({(Elements9|->10),(Elements10|->20)},{},30,210,{Elements9,Elements10},{Elements9,Elements10},210,0,3,{})
52display({(Elements9|->10),(Elements10|->20)},{},40,220,{Elements9,Elements10},{Elements9,Elements10},220,0,3,{})
53display({(Elements9|->10),(Elements10|->20)},{},50,230,{Elements9,Elements10},{Elements9,Elements10},230,0,3,{})
54display({(Elements9|->10),(Elements10|->20)},{},0,240,{Elements9,Elements10},{Elements9,Elements10},240,0,4,{})
55display({(Elements9|->10),(Elements10|->20)},{},10,250,{Elements9,Elements10},{Elements9,Elements10},250,0,4,{})
56clickMouse
57selectZoom(20,{Elements9,Elements10},250)
58display({(Elements9|->10),(Elements10|->20)},{},20,260,{Elements9,Elements10},{Elements9,Elements10},260,0,4,{})
59display({(Elements9|->10),(Elements10|->20)},{},30,270,{Elements9,Elements10},{Elements9,Elements10},270,0,4,{})
60display({(Elements9|->10),(Elements10|->20)},{},40,280,{Elements9,Elements10},{Elements9,Elements10},280,0,4,{})
61display({(Elements9|->10),(Elements10|->20)},{},50,290,{Elements9,Elements10},{Elements9,Elements10},290,0,4,{})
62display({(Elements9|->10),(Elements10|->20)},{},0,300,{Elements9,Elements10},{Elements9,Elements10},300,0,5,{})
Generated on 5/2/2024 at 17:25 using ProB version 1.13.0-nightly
Main specification file: M8_mch.eventb (modified on 5/2/2024 at 13:24)
Main specification name: M8
Main VisB JSON file: visualization/AMAN_M8_vis.json (modified on 5/2/2024 at 17:24)
VisB SVG file: visualization/AMAN.svg (modified on 23/1/2023 at 20:03)