forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBossa.txt
117 lines (117 loc) · 2.44 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
package#BossaProgramm
package#Scheduler
package#NormalScheduler
package#VirtualScheduler
package#AbstractSchedulerDecl
package#SchedulerDecl
package#VSchdulerDecl
package#ConstDef
package#TypeDef
package#EnumRange
package#EnumDef
package#BagId
package#RangeDef
package#ProcessDef
package#SchedulerDef
package#ProcessVarDecl
package#Timer_ProcessVarDecl
package#System_ProcessVarDecl
package#Normal_ProcessVarDecl
package#HandlerDef
package#InterfaceDef
package#FunctionDef
package#Expression
package#Integer_Expression
package#Id_Expression
package#State_Expression
package#True_Expression
package#False_Expression
package#Unop_Expression
package#Etoile_Expression
package#ExpId_Expression
package#Select_Expression
package#FnName_Expression
package#Empty_Expression
package#SRCOnSched_Expression
package#SchedulerOf_Expression
package#In_Expression
package#Parenthese_Expression
package#Binop_Expression
package#Compo_Binop_Expression
package#ValDecl
package#Normal_ValDecl
package#System_ValDecl
package#Timer_ValDecl
package#FunDecl
package#StateDef
package#ClassNameStorage
package#OrderDef
package#AdmissionDef
package#TraceDef
package#TypeExpr
package#TypeOrVoid
package#ParameterType
package#Storage
package#Process_Storage
package#Scheduler_Storage
package#Queue_Storage
package#KeyCritDecls
package#CompoKeyCritDecls
package#CritDecls
package#CritDecl
package#CritDeclWhithId
package#CritDeclWhithoutId
package#ValDef
package#AdmCrit
package#AttachDetach
package#ParamVarDecl
package#SeqStmt
package#TraceEvent
package#TraceExpr
package#TraceTest
package#ProcParam
package#Statment
package#IfStmt
package#ForStmt
package#ForeachForStmt
package#ForEachIncreasingForStmt
package#ForEachDecreasingForStmt
package#ReturnStmt
package#SwitchStmt
package#AssignStmt
package#MoveStmt
package#NormalMoveStmt
package#ForwardMoveStmt
package#StateRef
package#DeferStmt
package#PrimStmt
package#ErrorStmt
package#BreakStmt
package#LocExpr
package#MoveExpr
package#Select_MoveExpr
package#SatateName_MoveExpr
package#ID_MoveExpr
package#IDSource_MoveExpr
package#IDTarget_MoveExpr
package#ClassState
package#OnHandlerDef
package#EventName
package#ComposantOfSwitchStmt
package#ComposantOfInterFunc
package#BossaTypeExpr
package#QueueType
package#Normal_QueueType
package#Fifo_QueueType
package#Lifo_QueueType
package#Critop
package#StateVisibility
package#ClassName
package#NonProcType
package#Unop
package#Binop
package#AssignUnop
package#AssignBinop
package#String
package#Boolean
package#Integer