forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBossa.txt
103 lines (103 loc) · 2.05 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
Scheduler#defaultAtt
Scheduler#high_Res
Scheduler#low_Res
Scheduler#id
Scheduler#handlerDef
Scheduler#interfaceDef
Scheduler#functionDef
AbstractSchedulerDecl#constDef
AbstractSchedulerDecl#typeDef
AbstractSchedulerDecl#funDecl
AbstractSchedulerDecl#valDecl
AbstractSchedulerDecl#stateDef
AbstractSchedulerDecl#orderDef
AbstractSchedulerDecl#admissionDef
AbstractSchedulerDecl#traceDef
ConstDef#id
ConstDef#expr
ConstDef#bossaTypeExpr
ProcessVarDecl#id
ProcessVarDecl#processDef
ProcessVarDecl#schedulerDef
HandlerDef#id
HandlerDef#scheduler
HandlerDef#onHandlerDef
In_Expression#in
In_Expression#expr
In_Expression#classState
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
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