forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBossa.txt
162 lines (162 loc) · 3.55 KB
/
Bossa.txt
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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
Scheduler#defaultAtt
Scheduler#high_Res
Scheduler#low_Res
Scheduler#id
Scheduler#handlerDef
Scheduler#interfaceDef
Scheduler#functionDef
NormalScheduler#defaultAtt
NormalScheduler#high_Res
NormalScheduler#low_Res
NormalScheduler#id
NormalScheduler#handlerDef
NormalScheduler#interfaceDef
NormalScheduler#functionDef
NormalScheduler#schedulerDecl
VirtualScheduler#defaultAtt
VirtualScheduler#high_Res
VirtualScheduler#low_Res
VirtualScheduler#id
VirtualScheduler#handlerDef
VirtualScheduler#interfaceDef
VirtualScheduler#functionDef
VirtualScheduler#vschedulerDecl
AbstractSchedulerDecl#constDef
AbstractSchedulerDecl#typeDef
AbstractSchedulerDecl#funDecl
AbstractSchedulerDecl#valDecl
AbstractSchedulerDecl#stateDef
AbstractSchedulerDecl#orderDef
AbstractSchedulerDecl#admissionDef
AbstractSchedulerDecl#traceDef
SchedulerDecl#constDef
SchedulerDecl#typeDef
SchedulerDecl#funDecl
SchedulerDecl#valDecl
SchedulerDecl#stateDef
SchedulerDecl#orderDef
SchedulerDecl#admissionDef
SchedulerDecl#traceDef
SchedulerDecl#processDef
VSchdulerDecl#constDef
VSchdulerDecl#typeDef
VSchdulerDecl#funDecl
VSchdulerDecl#valDecl
VSchdulerDecl#stateDef
VSchdulerDecl#orderDef
VSchdulerDecl#admissionDef
VSchdulerDecl#traceDef
VSchdulerDecl#schedulerDef
ConstDef#id
ConstDef#expr
ConstDef#bossaTypeExpr
ProcessVarDecl#id
ProcessVarDecl#processDef
ProcessVarDecl#schedulerDef
Timer_ProcessVarDecl#id
Timer_ProcessVarDecl#processDef
Timer_ProcessVarDecl#schedulerDef
System_ProcessVarDecl#id
System_ProcessVarDecl#processDef
System_ProcessVarDecl#schedulerDef
System_ProcessVarDecl#system
System_ProcessVarDecl#typeExpr
Normal_ProcessVarDecl#id
Normal_ProcessVarDecl#processDef
Normal_ProcessVarDecl#schedulerDef
Normal_ProcessVarDecl#typeExpr
HandlerDef#id
HandlerDef#scheduler
HandlerDef#onHandlerDef
In_Expression#in
In_Expression#expr
In_Expression#classState
Normal_ValDecl#id
Normal_ValDecl#abstractSchedulerDecl
Normal_ValDecl#nonProcType
System_ValDecl#id
System_ValDecl#abstractSchedulerDecl
System_ValDecl#nonProcType
FunDecl#parameterTypes
FunDecl#nonProcType
FunDecl#abstractSchedulerDecl
ClassNameStorage#id
ClassNameStorage#className
ClassNameStorage#storage
OrderDef#keyCritDecl
OrderDef#critDecls
OrderDef#abstractSchedulerDecl
AdmissionDef#valDef
AdmissionDef#admCrit
AdmissionDef#attachDetach
AdmissionDef#abstractSchedulerDecl
TraceDef#traceEvent
TraceDef#traceExpr
TraceDef#traceTest
TraceDef#abstractSchedulerDecl
ValDef#id
ValDef#typeExpr
ValDef#expr
AttachDetach#procParam1
AttachDetach#procParam2
AttachDetach#seqStmt1
AttachDetach#seqStmt2
ProcParam#id
ProcParam#process
ProcParam#scheduler
ForeachForStmt#id
ForeachForStmt#isIn
ForeachForStmt#classState
ForeachForStmt#seqStmt
AssignStmt#locExpr
AssignStmt#assignUnop
AssignStmt#assignBinop
AssignStmt#expr
MoveStmt#isHead
MoveStmt#isTail
MoveStmt#moveExpr
NormalMoveStmt#isHead
NormalMoveStmt#isTail
NormalMoveStmt#moveExpr
NormalMoveStmt#stateRef
ForwardMoveStmt#isHead
ForwardMoveStmt#isTail
ForwardMoveStmt#moveExpr
ComposantOfInterFunc#id
ComposantOfInterFunc#typeOrVoid
ComposantOfInterFunc#paramVarDecl
ComposantOfInterFunc#seqStmt
NonProcType#system
NonProcType#struct
NonProcType#id
NonProcType#nonProcType
Unop#plus
Unop#minus
Unop#excl
Unop#tild
Binop#plus
Binop#minus
Binop#star
Binop#slash
Binop#percentage
Binop#doubleAnd
Binop#doubleVerticalBar
Binop#and
Binop#eq
Binop#ne
Binop#lt
Binop#gt
Binop#le
Binop#ge
Binop#doubleLt
Binop#doubleGt
AssignBinop#affect
AssignBinop#plusEqual
AssignBinop#moinsEqual
AssignBinop#starEqual
AssignBinop#slashEqual
AssignBinop#percentageEqual
AssignBinop#andEqual
AssignBinop#orEqual
AssignBinop#doubleLtEqual
AssignBinop#doubleGtEqual