generated from NCKU-CCS/TOC-Project-2020
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmachine.py
115 lines (111 loc) · 3.86 KB
/
machine.py
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
from fsm import TocMachine
def create_machine():
machine = TocMachine(
states=["user", "menu", "showFSM",
"voteStats", "voteStatsRegion",
"visualData", "visualDataRegion",
"multiAnalysis", "selectItem", "selectNum",
"funcIntro",
],
transitions=[
{
"trigger": "advance",
"source": "user",
"dest": "menu",
"conditions": "is_going_to_menu",
},
{
"trigger": "advance",
"source": ["user", "menu"],
"dest": "showFSM",
"conditions": "is_going_to_showFSM",
},
{
"trigger": "advance",
"source": "menu",
"dest": "voteStats",
"conditions": "is_going_to_voteStats",
},
{
"trigger": "advance",
"source": "voteStats",
"dest": "voteStatsRegion",
"conditions": "is_going_to_voteStatsRegion",
},
{
"trigger": "advance",
"source": "voteStatsRegion",
"dest": "voteStatsRegion",
"conditions": "is_going_to_voteStatsRegion",
},
{
"trigger": "advance",
"source": "menu",
"dest": "visualData",
"conditions": "is_going_to_visualData",
},
{
"trigger": "advance",
"source": "visualData",
"dest": "visualDataRegion",
"conditions": "is_going_to_visualDataRegion",
},
{
"trigger": "advance",
"source": "visualDataRegion",
"dest": "visualDataRegion",
"conditions": "is_going_to_visualDataRegion",
},
{
"trigger": "advance",
"source": "menu",
"dest": "multiAnalysis",
"conditions": "is_going_to_multiAnalysis",
},
{
"trigger": "advance",
"source": "multiAnalysis",
"dest": "selectItem",
"conditions": "is_going_to_selectItem",
},
{
"trigger": "advance",
"source": "selectItem",
"dest": "selectNum",
"conditions": "is_going_to_selectNum",
},
{
"trigger": "advance",
"source": "selectNum",
"dest": "multiAnalysis",
"conditions": "is_going_back_to_multiAnalysis",
},
{
"trigger": "advance",
"source": "selectNum",
"dest": "selectNum",
"conditions": "is_going_to_selectNum",
},
{
"trigger": "advance",
"source": "menu",
"dest": "funcIntro",
"conditions": "is_going_to_funcIntro",
},
{
"trigger": "advance",
"source": ["voteStats", "visualData", "multiAnalysis",
"voteStatsRegion", "visualDataRegion", "selectItem", "selectNum", "funcIntro"],
"dest": "menu",
"conditions": "is_go_back_to_menu",
},
{"trigger": "go_back", "source": ["menu", "showFSM"], "dest": "user"},
#{"trigger": "go_back", "source": "voteStatsRegion", "dest": "voteStats"},
#{"trigger": "go_back", "source": "visualDataRegion", "dest": "visualData"},
#{"trigger": "go_back", "source": "selectItem", "dest": "multiAnalysis"},
],
initial="user",
auto_transitions=False,
show_conditions=True,
)
return machine