blob: 2d5655001289ecc71bdad1f6eb0d4e05eac47a49 (
plain)
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
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
class Tok:
Invalid = 0
Left_Paren = 1
Right_Paren = 2
Left_Bracket = 3
Right_Bracket = 4
Colon = 5
Semi_Colon = 6
Comma = 7
Double_Arrow = 8
Tick = 9
Double_Star = 10
Assign = 11
Bar = 12
Box = 13
Dot = 14
Equal_Equal = 15
Eof = 16
Newline = 17
Line_Comment = 18
Block_Comment = 19
Character = 20
Identifier = 21
Integer = 22
Real = 23
String = 24
Bit_String = 25
Integer_Letter = 26
Equal = 27
Not_Equal = 28
Less = 29
Less_Equal = 30
Greater = 31
Greater_Equal = 32
Match_Equal = 33
Match_Not_Equal = 34
Match_Less = 35
Match_Less_Equal = 36
Match_Greater = 37
Match_Greater_Equal = 38
Plus = 39
Minus = 40
Ampersand = 41
Condition = 42
Double_Less = 43
Double_Greater = 44
Caret = 45
And_And = 46
Bar_Bar = 47
Left_Curly = 48
Right_Curly = 49
Exclam_Mark = 50
Brack_Star = 51
Brack_Plus_Brack = 52
Brack_Arrow = 53
Brack_Equal = 54
Bar_Arrow = 55
Bar_Double_Arrow = 56
Minus_Greater = 57
Arobase = 58
Star = 59
Slash = 60
Mod = 61
Rem = 62
Abs = 63
Not = 64
Access = 65
After = 66
Alias = 67
All = 68
Architecture = 69
Array = 70
Assert = 71
Attribute = 72
Begin = 73
Block = 74
Body = 75
Buffer = 76
Bus = 77
Case = 78
Component = 79
Configuration = 80
Constant = 81
Disconnect = 82
Downto = 83
Else = 84
Elsif = 85
End = 86
Entity = 87
Exit = 88
File = 89
For = 90
Function = 91
Generate = 92
Generic = 93
Guarded = 94
If = 95
In = 96
Inout = 97
Is = 98
Label = 99
Library = 100
Linkage = 101
Loop = 102
Map = 103
New = 104
Next = 105
Null = 106
Of = 107
On = 108
Open = 109
Others = 110
Out = 111
Package = 112
Port = 113
Procedure = 114
Process = 115
Range = 116
Record = 117
Register = 118
Report = 119
Return = 120
Select = 121
Severity = 122
Signal = 123
Subtype = 124
Then = 125
To = 126
Transport = 127
Type = 128
Units = 129
Until = 130
Use = 131
Variable = 132
Wait = 133
When = 134
While = 135
With = 136
And = 137
Or = 138
Xor = 139
Nand = 140
Nor = 141
Xnor = 142
Group = 143
Impure = 144
Inertial = 145
Literal = 146
Postponed = 147
Pure = 148
Reject = 149
Shared = 150
Unaffected = 151
Sll = 152
Sla = 153
Sra = 154
Srl = 155
Rol = 156
Ror = 157
Protected = 158
Context = 159
Parameter = 160
Across = 161
Break = 162
Limit = 163
Nature = 164
Noise = 165
Procedural = 166
Quantity = 167
Reference = 168
Spectrum = 169
Subnature = 170
Terminal = 171
Through = 172
Tolerance = 173
Psl_Default = 174
Psl_Clock = 175
Psl_Property = 176
Psl_Sequence = 177
Psl_Endpoint = 178
Psl_Assume = 179
Psl_Cover = 180
Psl_Restrict = 181
Psl_Restrict_Guarantee = 182
Psl_Const = 183
Psl_Boolean = 184
Inf = 185
Within = 186
Abort = 187
Before = 188
Before_Em = 189
Before_Un = 190
Before_Em_Un = 191
Until_Em = 192
Until_Un = 193
Until_Em_Un = 194
Always = 195
Never = 196
Eventually = 197
Next_A = 198
Next_E = 199
Next_Event = 200
Next_Event_A = 201
Next_Event_E = 202
|
