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