1 Terminals which are not used
10 0 $accept: program $end
32 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
39 21 | ACTIVE '[' CONST ']'
40 22 | ACTIVE '[' NAME ']'
44 24 init: INIT @3 Opt_priority body
48 26 claim: CLAIM @4 body
52 28 events: TRACE @5 body
56 30 utype: TYPEDEF NAME @6 '{' decl_lst '}'
63 34 ns: INLINE nm '(' @7 args ')'
68 37 cstate: C_STATE STRING STRING
69 38 | C_TRACK STRING STRING
70 39 | C_STATE STRING STRING STRING
71 40 | C_TRACK STRING STRING STRING
82 46 body: '{' @8 sequence OS @9 '}'
89 51 | NAME ':' one_decl
92 54 | stmnt UNLESS stmnt
102 61 one_decl: vis TYPE var_list
103 62 | vis UNAME var_list
104 63 | vis TYPE asgn '{' nlst '}'
106 64 decl_lst: one_decl
107 65 | one_decl SEMI decl_lst
113 69 | varref ',' vref_lst
116 71 | ivar ',' var_list
119 73 | vardcl ASGN expr
120 74 | vardcl ASGN ch_init
122 75 ch_init: '[' CONST ']' OF '{' typ_list '}'
126 78 | NAME '[' CONST ']'
134 82 pfld: NAME @10 '[' expr ']'
138 84 cmpnd: pfld @11 sfld
148 90 Special: varref RCV @12 rargs
152 92 Special: varref SND @13 margs
157 95 Special: DO @14 options OD
162 99 Stmnt: varref ASGN expr
168 103 Stmnt: PRINT '(' STRING @15 prargs ')'
169 104 | PRINTM '(' varref ')'
170 105 | PRINTM '(' CONST ')'
171 106 | ASSERT full_expr
176 109 Stmnt: varref R_RCV @16 rargs
180 111 Stmnt: varref RCV @17 LT rargs GT
184 113 Stmnt: varref R_RCV @18 LT rargs GT
188 115 Stmnt: varref O_SND @19 margs
194 119 Stmnt: ATOMIC '{' @20 sequence OS '}'
198 121 Stmnt: D_STEP '{' @21 sequence OS '}'
202 123 Stmnt: '{' @22 sequence OS '}'
208 126 Stmnt: INAME @23 '(' args ')' @24 Stmnt
215 130 option: SEP @25 sequence OS
226 137 expr: '(' expr ')'
243 154 | expr LSHIFT expr
244 155 | expr RSHIFT expr
248 159 | '(' expr SEMI expr ':' expr ')'
252 161 expr: RUN aname @26 '(' args ')' Opt_priority
253 162 | LEN '(' varref ')'
254 163 | ENABLED '(' expr ')'
258 165 expr: varref RCV @27 '[' rargs ']'
262 167 expr: varref R_RCV @28 '[' rargs ']'
268 173 | PC_VAL '(' expr ')'
269 174 | PNAME '[' expr ']' '@' NAME
270 175 | PNAME '[' expr ']' ':' pfld
274 178 Opt_priority: /* empty */
280 182 Opt_enabler: /* empty */
281 183 | PROVIDED '(' full_expr ')'
293 193 Probe: FULL '(' varref ')'
294 194 | NFULL '(' varref ')'
295 195 | EMPTY '(' varref ')'
296 196 | NEMPTY '(' varref ')'
302 200 typ_list: basetype
303 201 | basetype ',' typ_list
305 202 args: /* empty */
308 204 prargs: /* empty */
312 207 | expr '(' arg ')'
318 211 | EVAL '(' expr ')'
324 216 | rarg '(' rargs ')'
332 Terminals, with rules where they appear
337 '(' (40) 16 34 103 104 105 126 137 159 161 162 163 173 183 186 193
338 194 195 196 207 211 216 217
339 ')' (41) 16 34 103 104 105 126 137 159 161 162 163 173 183 186 193
340 194 195 196 207 211 216 217
343 ',' (44) 69 71 201 205 209 215 220
347 ':' (58) 51 52 77 98 159 175 177
349 '[' (91) 21 22 75 78 82 165 167 174 175
350 ']' (93) 21 22 75 78 82 165 167 174 175
352 '{' (123) 30 46 63 75 119 121 123
354 '}' (125) 30 46 63 75 119 121 123
356 error (256) 13 184 199
378 SEMI (279) 12 65 132 133 134 159
389 NONPROGRESS (290) 172
390 ACTIVE (291) 20 21 22
397 PROVIDED (298) 183 184
402 CONST (303) 21 75 77 78 105 170 179 212 213
405 NAME (306) 16 22 30 31 51 52 76 77 78 80 82 97 98 135 174 176 218 219
407 PNAME (308) 136 174 175 176 177
409 STRING (310) 37 38 39 40 103
413 ASGN (314) 60 73 74 99
414 R_RCV (315) 109 113 167
418 OR (319) 153 189 190 192
419 AND (320) 152 187 188 191
435 Nonterminals, with rules where they appear
440 on left: 1, on right: 0
442 on left: 2 3, on right: 1 3
444 on left: 4 5 6 7 8 9 10 11 12 13, on right: 2 3
446 on left: 16, on right: 4
448 on left: 14, on right: 16
450 on left: 15, on right: 16
452 on left: 17 18, on right: 16
454 on left: 19 20 21 22, on right: 16
456 on left: 24, on right: 5
458 on left: 23, on right: 24
460 on left: 26, on right: 6
462 on left: 25, on right: 26
464 on left: 28, on right: 7
466 on left: 27, on right: 28
468 on left: 30, on right: 9
470 on left: 29, on right: 30
472 on left: 31 32, on right: 34
474 on left: 34, on right: 11
476 on left: 33, on right: 34
478 on left: 35 36, on right: 10
480 on left: 37 38 39 40, on right: 36
482 on left: 41 42, on right: 35 107
484 on left: 43, on right: 169
486 on left: 46, on right: 16 24 26 28
488 on left: 44, on right: 46
490 on left: 45, on right: 46
492 on left: 47 48, on right: 46 48 119 121 123 130
494 on left: 49 50 51 52 53 54, on right: 47 48
496 on left: 55 56 57 58, on right: 61 62 63
498 on left: 59 60, on right: 63
500 on left: 61 62 63, on right: 8 49 51 64 65
502 on left: 64 65, on right: 30 65 67
504 on left: 66 67, on right: 16
506 on left: 68 69, on right: 50 69
508 on left: 70 71, on right: 61 62 71
510 on left: 72 73 74, on right: 70 71
512 on left: 75, on right: 74
514 on left: 76 77 78, on right: 72 73 74
516 on left: 79, on right: 68 69 90 92 99 100 101 104 109 111 113 115
517 162 165 167 168 193 194 195 196 210
519 on left: 80 82, on right: 84 175 177
521 on left: 81, on right: 82
523 on left: 84, on right: 79 86
525 on left: 83, on right: 84
527 on left: 85 86, on right: 84
529 on left: 87 88, on right: 53 54 98
531 on left: 90 92 93 95 96 97 98, on right: 87
533 on left: 89, on right: 90
535 on left: 91, on right: 92
537 on left: 94, on right: 95
539 on left: 99 100 101 103 104 105 106 107 109 111 113 115 116 117
540 119 121 123 126, on right: 88 126
542 on left: 102, on right: 103
544 on left: 108, on right: 109
546 on left: 110, on right: 111
548 on left: 112, on right: 113
550 on left: 114, on right: 115
552 on left: 118, on right: 119
554 on left: 120, on right: 121
556 on left: 122, on right: 123
558 on left: 124, on right: 126
560 on left: 125, on right: 126
562 on left: 127 128, on right: 93 95 128
564 on left: 130, on right: 127 128
566 on left: 129, on right: 130
568 on left: 131 132, on right: 46 119 121 123 130
570 on left: 133 134, on right: 48 134
572 on left: 135 136, on right: 161
574 on left: 137 138 139 140 141 142 143 144 145 146 147 148 149 150
575 151 152 153 154 155 156 157 158 159 161 162 163 165 167 168 169
576 170 171 172 173 174 175 176 177, on right: 73 82 99 137 138 139
577 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155
578 156 157 158 159 163 173 174 175 180 188 190 191 192 207 208 209
581 on left: 160, on right: 161
583 on left: 164, on right: 165
585 on left: 166, on right: 167
587 on left: 178 179, on right: 16 24 161
589 on left: 180 181, on right: 106 116 183
591 on left: 182 183 184, on right: 16
593 on left: 185 186 187 188 189 190 191 192, on right: 181 186 187
596 on left: 193 194 195 196, on right: 185
598 on left: 197 198 199, on right: 200 201
600 on left: 200 201, on right: 75 201
602 on left: 202 203, on right: 34 126 161
604 on left: 204 205, on right: 103
606 on left: 206 207, on right: 92 115
608 on left: 208 209, on right: 203 205 206 207 209
610 on left: 210 211 212 213, on right: 214 215 216
612 on left: 214 215 216 217, on right: 90 109 111 113 165 167 215
615 on left: 218 219 220, on right: 63 219 220
620 0 $accept: . program $end
622 error shift, and go to state 1
623 C_CODE shift, and go to state 2
624 C_DECL shift, and go to state 3
625 C_STATE shift, and go to state 4
626 C_TRACK shift, and go to state 5
627 TYPEDEF shift, and go to state 6
628 INLINE shift, and go to state 7
629 SEMI shift, and go to state 8
630 ACTIVE shift, and go to state 9
631 HIDDEN shift, and go to state 10
632 SHOW shift, and go to state 11
633 ISLOCAL shift, and go to state 12
634 CLAIM shift, and go to state 13
635 TRACE shift, and go to state 14
636 INIT shift, and go to state 15
638 PROCTYPE reduce using rule 19 (inst)
639 D_PROCTYPE reduce using rule 19 (inst)
640 TYPE reduce using rule 55 (vis)
641 UNAME reduce using rule 55 (vis)
643 program go to state 16
650 events go to state 23
653 c_fcts go to state 26
654 cstate go to state 27
657 one_decl go to state 30
664 $default reduce using rule 13 (unit)
671 $default reduce using rule 41 (ccode)
678 $default reduce using rule 42 (ccode)
683 37 cstate: C_STATE . STRING STRING
684 39 | C_STATE . STRING STRING STRING
686 STRING shift, and go to state 31
691 38 cstate: C_TRACK . STRING STRING
692 40 | C_TRACK . STRING STRING STRING
694 STRING shift, and go to state 32
699 30 utype: TYPEDEF . NAME @6 '{' decl_lst '}'
701 NAME shift, and go to state 33
706 34 ns: INLINE . nm '(' @7 args ')'
708 NAME shift, and go to state 34
709 INAME shift, and go to state 35
718 $default reduce using rule 12 (unit)
724 21 | ACTIVE . '[' CONST ']'
725 22 | ACTIVE . '[' NAME ']'
727 '[' shift, and go to state 37
729 $default reduce using rule 20 (inst)
736 $default reduce using rule 56 (vis)
743 $default reduce using rule 57 (vis)
750 $default reduce using rule 58 (vis)
755 26 claim: CLAIM . @4 body
757 $default reduce using rule 25 (@4)
764 28 events: TRACE . @5 body
766 $default reduce using rule 27 (@5)
773 24 init: INIT . @3 Opt_priority body
775 $default reduce using rule 23 (@3)
782 0 $accept: program . $end
784 $end shift, and go to state 41
790 3 units: units . unit
792 error shift, and go to state 1
793 C_CODE shift, and go to state 2
794 C_DECL shift, and go to state 3
795 C_STATE shift, and go to state 4
796 C_TRACK shift, and go to state 5
797 TYPEDEF shift, and go to state 6
798 INLINE shift, and go to state 7
799 SEMI shift, and go to state 8
800 ACTIVE shift, and go to state 9
801 HIDDEN shift, and go to state 10
802 SHOW shift, and go to state 11
803 ISLOCAL shift, and go to state 12
804 CLAIM shift, and go to state 13
805 TRACE shift, and go to state 14
806 INIT shift, and go to state 15
808 $end reduce using rule 1 (program)
809 PROCTYPE reduce using rule 19 (inst)
810 D_PROCTYPE reduce using rule 19 (inst)
811 TYPE reduce using rule 55 (vis)
812 UNAME reduce using rule 55 (vis)
819 events go to state 23
822 c_fcts go to state 26
823 cstate go to state 27
826 one_decl go to state 30
833 $default reduce using rule 2 (units)
840 $default reduce using rule 4 (unit)
845 16 proc: inst . proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
847 PROCTYPE shift, and go to state 43
848 D_PROCTYPE shift, and go to state 44
850 proctype go to state 45
857 $default reduce using rule 5 (unit)
864 $default reduce using rule 6 (unit)
871 $default reduce using rule 7 (unit)
878 $default reduce using rule 9 (unit)
885 $default reduce using rule 11 (unit)
892 $default reduce using rule 10 (unit)
899 $default reduce using rule 36 (c_fcts)
906 $default reduce using rule 35 (c_fcts)
911 61 one_decl: vis . TYPE var_list
912 62 | vis . UNAME var_list
913 63 | vis . TYPE asgn '{' nlst '}'
915 TYPE shift, and go to state 46
916 UNAME shift, and go to state 47
923 $default reduce using rule 8 (unit)
928 37 cstate: C_STATE STRING . STRING
929 39 | C_STATE STRING . STRING STRING
931 STRING shift, and go to state 48
936 38 cstate: C_TRACK STRING . STRING
937 40 | C_TRACK STRING . STRING STRING
939 STRING shift, and go to state 49
944 30 utype: TYPEDEF NAME . @6 '{' decl_lst '}'
946 $default reduce using rule 29 (@6)
955 $default reduce using rule 31 (nm)
962 $default reduce using rule 32 (nm)
967 34 ns: INLINE nm . '(' @7 args ')'
969 '(' shift, and go to state 51
974 21 inst: ACTIVE '[' . CONST ']'
975 22 | ACTIVE '[' . NAME ']'
977 CONST shift, and go to state 52
978 NAME shift, and go to state 53
983 26 claim: CLAIM @4 . body
985 '{' shift, and go to state 54
992 28 events: TRACE @5 . body
994 '{' shift, and go to state 54
1001 24 init: INIT @3 . Opt_priority body
1003 PRIORITY shift, and go to state 57
1005 $default reduce using rule 178 (Opt_priority)
1007 Opt_priority go to state 58
1012 0 $accept: program $end .
1019 3 units: units unit .
1021 $default reduce using rule 3 (units)
1026 17 proctype: PROCTYPE .
1028 $default reduce using rule 17 (proctype)
1033 18 proctype: D_PROCTYPE .
1035 $default reduce using rule 18 (proctype)
1040 16 proc: inst proctype . NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
1042 NAME shift, and go to state 59
1047 61 one_decl: vis TYPE . var_list
1048 63 | vis TYPE . asgn '{' nlst '}'
1050 NAME shift, and go to state 60
1051 ASGN shift, and go to state 61
1053 $default reduce using rule 59 (asgn)
1056 var_list go to state 63
1058 vardcl go to state 65
1063 62 one_decl: vis UNAME . var_list
1065 NAME shift, and go to state 60
1067 var_list go to state 66
1069 vardcl go to state 65
1074 37 cstate: C_STATE STRING STRING .
1075 39 | C_STATE STRING STRING . STRING
1077 STRING shift, and go to state 67
1079 $default reduce using rule 37 (cstate)
1084 38 cstate: C_TRACK STRING STRING .
1085 40 | C_TRACK STRING STRING . STRING
1087 STRING shift, and go to state 68
1089 $default reduce using rule 38 (cstate)
1094 30 utype: TYPEDEF NAME @6 . '{' decl_lst '}'
1096 '{' shift, and go to state 69
1101 34 ns: INLINE nm '(' . @7 args ')'
1103 $default reduce using rule 33 (@7)
1110 21 inst: ACTIVE '[' CONST . ']'
1112 ']' shift, and go to state 71
1117 22 inst: ACTIVE '[' NAME . ']'
1119 ']' shift, and go to state 72
1124 46 body: '{' . @8 sequence OS @9 '}'
1126 $default reduce using rule 44 (@8)
1133 26 claim: CLAIM @4 body .
1135 $default reduce using rule 26 (claim)
1140 28 events: TRACE @5 body .
1142 $default reduce using rule 28 (events)
1147 179 Opt_priority: PRIORITY . CONST
1149 CONST shift, and go to state 74
1154 24 init: INIT @3 Opt_priority . body
1156 '{' shift, and go to state 54
1163 16 proc: inst proctype NAME . @1 '(' decl ')' @2 Opt_priority Opt_enabler body
1165 $default reduce using rule 14 (@1)
1173 77 | NAME . ':' CONST
1174 78 | NAME . '[' CONST ']'
1176 '[' shift, and go to state 77
1177 ':' shift, and go to state 78
1179 $default reduce using rule 76 (vardcl)
1186 $default reduce using rule 60 (asgn)
1191 63 one_decl: vis TYPE asgn . '{' nlst '}'
1193 '{' shift, and go to state 79
1198 61 one_decl: vis TYPE var_list .
1200 $default reduce using rule 61 (one_decl)
1206 71 | ivar . ',' var_list
1208 ',' shift, and go to state 80
1210 $default reduce using rule 70 (var_list)
1216 73 | vardcl . ASGN expr
1217 74 | vardcl . ASGN ch_init
1219 ASGN shift, and go to state 81
1221 $default reduce using rule 72 (ivar)
1226 62 one_decl: vis UNAME var_list .
1228 $default reduce using rule 62 (one_decl)
1233 39 cstate: C_STATE STRING STRING STRING .
1235 $default reduce using rule 39 (cstate)
1240 40 cstate: C_TRACK STRING STRING STRING .
1242 $default reduce using rule 40 (cstate)
1247 30 utype: TYPEDEF NAME @6 '{' . decl_lst '}'
1249 HIDDEN shift, and go to state 10
1250 SHOW shift, and go to state 11
1251 ISLOCAL shift, and go to state 12
1253 $default reduce using rule 55 (vis)
1256 one_decl go to state 82
1257 decl_lst go to state 83
1262 34 ns: INLINE nm '(' @7 . args ')'
1264 C_EXPR shift, and go to state 84
1265 RUN shift, and go to state 85
1266 LEN shift, and go to state 86
1267 ENABLED shift, and go to state 87
1268 PC_VAL shift, and go to state 88
1269 TIMEOUT shift, and go to state 89
1270 NONPROGRESS shift, and go to state 90
1271 CONST shift, and go to state 91
1272 NAME shift, and go to state 92
1273 PNAME shift, and go to state 93
1274 SND shift, and go to state 94
1275 '-' shift, and go to state 95
1276 '~' shift, and go to state 96
1277 '(' shift, and go to state 97
1279 $default reduce using rule 202 (args)
1281 cexpr go to state 98
1282 varref go to state 99
1283 pfld go to state 100
1284 cmpnd go to state 101
1285 expr go to state 102
1286 args go to state 103
1292 21 inst: ACTIVE '[' CONST ']' .
1294 $default reduce using rule 21 (inst)
1299 22 inst: ACTIVE '[' NAME ']' .
1301 $default reduce using rule 22 (inst)
1306 46 body: '{' @8 . sequence OS @9 '}'
1308 ASSERT shift, and go to state 105
1309 PRINT shift, and go to state 106
1310 PRINTM shift, and go to state 107
1311 C_CODE shift, and go to state 2
1312 C_DECL shift, and go to state 3
1313 C_EXPR shift, and go to state 84
1314 RUN shift, and go to state 85
1315 LEN shift, and go to state 86
1316 ENABLED shift, and go to state 87
1317 PC_VAL shift, and go to state 88
1318 GOTO shift, and go to state 108
1319 BREAK shift, and go to state 109
1320 ELSE shift, and go to state 110
1321 IF shift, and go to state 111
1322 DO shift, and go to state 112
1323 ATOMIC shift, and go to state 113
1324 D_STEP shift, and go to state 114
1325 TIMEOUT shift, and go to state 89
1326 NONPROGRESS shift, and go to state 90
1327 HIDDEN shift, and go to state 10
1328 SHOW shift, and go to state 11
1329 ISLOCAL shift, and go to state 12
1330 FULL shift, and go to state 115
1331 EMPTY shift, and go to state 116
1332 NFULL shift, and go to state 117
1333 NEMPTY shift, and go to state 118
1334 CONST shift, and go to state 91
1335 XU shift, and go to state 119
1336 NAME shift, and go to state 120
1337 PNAME shift, and go to state 93
1338 INAME shift, and go to state 121
1339 SND shift, and go to state 94
1340 '-' shift, and go to state 95
1341 '~' shift, and go to state 96
1342 '(' shift, and go to state 122
1343 '{' shift, and go to state 123
1345 $default reduce using rule 55 (vis)
1347 ccode go to state 124
1348 cexpr go to state 98
1349 sequence go to state 125
1350 step go to state 126
1352 one_decl go to state 127
1353 varref go to state 128
1354 pfld go to state 100
1355 cmpnd go to state 101
1356 stmnt go to state 129
1357 Special go to state 130
1358 Stmnt go to state 131
1359 expr go to state 132
1360 full_expr go to state 133
1361 Expr go to state 134
1362 Probe go to state 135
1367 179 Opt_priority: PRIORITY CONST .
1369 $default reduce using rule 179 (Opt_priority)
1374 24 init: INIT @3 Opt_priority body .
1376 $default reduce using rule 24 (init)
1381 16 proc: inst proctype NAME @1 . '(' decl ')' @2 Opt_priority Opt_enabler body
1383 '(' shift, and go to state 136
1388 78 vardcl: NAME '[' . CONST ']'
1390 CONST shift, and go to state 137
1395 77 vardcl: NAME ':' . CONST
1397 CONST shift, and go to state 138
1402 63 one_decl: vis TYPE asgn '{' . nlst '}'
1404 NAME shift, and go to state 139
1406 nlst go to state 140
1411 71 var_list: ivar ',' . var_list
1413 NAME shift, and go to state 60
1415 var_list go to state 141
1417 vardcl go to state 65
1422 73 ivar: vardcl ASGN . expr
1423 74 | vardcl ASGN . ch_init
1425 C_EXPR shift, and go to state 84
1426 RUN shift, and go to state 85
1427 LEN shift, and go to state 86
1428 ENABLED shift, and go to state 87
1429 PC_VAL shift, and go to state 88
1430 TIMEOUT shift, and go to state 89
1431 NONPROGRESS shift, and go to state 90
1432 CONST shift, and go to state 91
1433 NAME shift, and go to state 92
1434 PNAME shift, and go to state 93
1435 SND shift, and go to state 94
1436 '-' shift, and go to state 95
1437 '~' shift, and go to state 96
1438 '(' shift, and go to state 97
1439 '[' shift, and go to state 142
1441 cexpr go to state 98
1442 ch_init go to state 143
1443 varref go to state 99
1444 pfld go to state 100
1445 cmpnd go to state 101
1446 expr go to state 144
1451 64 decl_lst: one_decl .
1452 65 | one_decl . SEMI decl_lst
1454 SEMI shift, and go to state 145
1456 $default reduce using rule 64 (decl_lst)
1461 30 utype: TYPEDEF NAME @6 '{' decl_lst . '}'
1463 '}' shift, and go to state 146
1470 $default reduce using rule 43 (cexpr)
1475 161 expr: RUN . aname @26 '(' args ')' Opt_priority
1477 NAME shift, and go to state 147
1478 PNAME shift, and go to state 148
1480 aname go to state 149
1485 162 expr: LEN . '(' varref ')'
1487 '(' shift, and go to state 150
1492 163 expr: ENABLED . '(' expr ')'
1494 '(' shift, and go to state 151
1499 173 expr: PC_VAL . '(' expr ')'
1501 '(' shift, and go to state 152
1508 $default reduce using rule 171 (expr)
1513 172 expr: NONPROGRESS .
1515 $default reduce using rule 172 (expr)
1522 $default reduce using rule 170 (expr)
1528 82 | NAME . @10 '[' expr ']'
1530 '[' reduce using rule 81 (@10)
1531 $default reduce using rule 80 (pfld)
1538 174 expr: PNAME . '[' expr ']' '@' NAME
1539 175 | PNAME . '[' expr ']' ':' pfld
1540 176 | PNAME . '@' NAME
1541 177 | PNAME . ':' pfld
1543 '[' shift, and go to state 154
1544 ':' shift, and go to state 155
1545 '@' shift, and go to state 156
1550 158 expr: SND . expr
1552 C_EXPR shift, and go to state 84
1553 RUN shift, and go to state 85
1554 LEN shift, and go to state 86
1555 ENABLED shift, and go to state 87
1556 PC_VAL shift, and go to state 88
1557 TIMEOUT shift, and go to state 89
1558 NONPROGRESS shift, and go to state 90
1559 CONST shift, and go to state 91
1560 NAME shift, and go to state 92
1561 PNAME shift, and go to state 93
1562 SND shift, and go to state 94
1563 '-' shift, and go to state 95
1564 '~' shift, and go to state 96
1565 '(' shift, and go to state 97
1567 cexpr go to state 98
1568 varref go to state 99
1569 pfld go to state 100
1570 cmpnd go to state 101
1571 expr go to state 157
1576 157 expr: '-' . expr
1578 C_EXPR shift, and go to state 84
1579 RUN shift, and go to state 85
1580 LEN shift, and go to state 86
1581 ENABLED shift, and go to state 87
1582 PC_VAL shift, and go to state 88
1583 TIMEOUT shift, and go to state 89
1584 NONPROGRESS shift, and go to state 90
1585 CONST shift, and go to state 91
1586 NAME shift, and go to state 92
1587 PNAME shift, and go to state 93
1588 SND shift, and go to state 94
1589 '-' shift, and go to state 95
1590 '~' shift, and go to state 96
1591 '(' shift, and go to state 97
1593 cexpr go to state 98
1594 varref go to state 99
1595 pfld go to state 100
1596 cmpnd go to state 101
1597 expr go to state 158
1602 156 expr: '~' . expr
1604 C_EXPR shift, and go to state 84
1605 RUN shift, and go to state 85
1606 LEN shift, and go to state 86
1607 ENABLED shift, and go to state 87
1608 PC_VAL shift, and go to state 88
1609 TIMEOUT shift, and go to state 89
1610 NONPROGRESS shift, and go to state 90
1611 CONST shift, and go to state 91
1612 NAME shift, and go to state 92
1613 PNAME shift, and go to state 93
1614 SND shift, and go to state 94
1615 '-' shift, and go to state 95
1616 '~' shift, and go to state 96
1617 '(' shift, and go to state 97
1619 cexpr go to state 98
1620 varref go to state 99
1621 pfld go to state 100
1622 cmpnd go to state 101
1623 expr go to state 159
1628 137 expr: '(' . expr ')'
1629 159 | '(' . expr SEMI expr ':' expr ')'
1631 C_EXPR shift, and go to state 84
1632 RUN shift, and go to state 85
1633 LEN shift, and go to state 86
1634 ENABLED shift, and go to state 87
1635 PC_VAL shift, and go to state 88
1636 TIMEOUT shift, and go to state 89
1637 NONPROGRESS shift, and go to state 90
1638 CONST shift, and go to state 91
1639 NAME shift, and go to state 92
1640 PNAME shift, and go to state 93
1641 SND shift, and go to state 94
1642 '-' shift, and go to state 95
1643 '~' shift, and go to state 96
1644 '(' shift, and go to state 97
1646 cexpr go to state 98
1647 varref go to state 99
1648 pfld go to state 100
1649 cmpnd go to state 101
1650 expr go to state 160
1657 $default reduce using rule 169 (expr)
1662 165 expr: varref . RCV @27 '[' rargs ']'
1663 167 | varref . R_RCV @28 '[' rargs ']'
1666 R_RCV shift, and go to state 161
1667 RCV shift, and go to state 162
1669 $default reduce using rule 168 (expr)
1674 84 cmpnd: pfld . @11 sfld
1676 $default reduce using rule 83 (@11)
1685 $default reduce using rule 79 (varref)
1690 138 expr: expr . '+' expr
1691 139 | expr . '-' expr
1692 140 | expr . '*' expr
1693 141 | expr . '/' expr
1694 142 | expr . '%' expr
1695 143 | expr . '&' expr
1696 144 | expr . '^' expr
1697 145 | expr . '|' expr
1698 146 | expr . GT expr
1699 147 | expr . LT expr
1700 148 | expr . GE expr
1701 149 | expr . LE expr
1702 150 | expr . EQ expr
1703 151 | expr . NE expr
1704 152 | expr . AND expr
1705 153 | expr . OR expr
1706 154 | expr . LSHIFT expr
1707 155 | expr . RSHIFT expr
1709 209 | expr . ',' arg
1711 OR shift, and go to state 164
1712 AND shift, and go to state 165
1713 '|' shift, and go to state 166
1714 '^' shift, and go to state 167
1715 '&' shift, and go to state 168
1716 NE shift, and go to state 169
1717 EQ shift, and go to state 170
1718 LE shift, and go to state 171
1719 GE shift, and go to state 172
1720 LT shift, and go to state 173
1721 GT shift, and go to state 174
1722 RSHIFT shift, and go to state 175
1723 LSHIFT shift, and go to state 176
1724 '+' shift, and go to state 177
1725 '-' shift, and go to state 178
1726 '*' shift, and go to state 179
1727 '/' shift, and go to state 180
1728 '%' shift, and go to state 181
1729 ',' shift, and go to state 182
1731 $default reduce using rule 208 (arg)
1736 34 ns: INLINE nm '(' @7 args . ')'
1738 ')' shift, and go to state 183
1745 $default reduce using rule 203 (args)
1750 106 Stmnt: ASSERT . full_expr
1752 C_EXPR shift, and go to state 84
1753 RUN shift, and go to state 85
1754 LEN shift, and go to state 86
1755 ENABLED shift, and go to state 87
1756 PC_VAL shift, and go to state 88
1757 TIMEOUT shift, and go to state 89
1758 NONPROGRESS shift, and go to state 90
1759 FULL shift, and go to state 115
1760 EMPTY shift, and go to state 116
1761 NFULL shift, and go to state 117
1762 NEMPTY shift, and go to state 118
1763 CONST shift, and go to state 91
1764 NAME shift, and go to state 92
1765 PNAME shift, and go to state 93
1766 SND shift, and go to state 94
1767 '-' shift, and go to state 95
1768 '~' shift, and go to state 96
1769 '(' shift, and go to state 122
1771 cexpr go to state 98
1772 varref go to state 99
1773 pfld go to state 100
1774 cmpnd go to state 101
1775 expr go to state 132
1776 full_expr go to state 184
1777 Expr go to state 134
1778 Probe go to state 135
1783 103 Stmnt: PRINT . '(' STRING @15 prargs ')'
1785 '(' shift, and go to state 185
1790 104 Stmnt: PRINTM . '(' varref ')'
1791 105 | PRINTM . '(' CONST ')'
1793 '(' shift, and go to state 186
1798 97 Special: GOTO . NAME
1800 NAME shift, and go to state 187
1807 $default reduce using rule 96 (Special)
1814 $default reduce using rule 117 (Stmnt)
1819 93 Special: IF . options FI
1821 SEP shift, and go to state 188
1823 options go to state 189
1824 option go to state 190
1829 95 Special: DO . @14 options OD
1831 $default reduce using rule 94 (@14)
1838 119 Stmnt: ATOMIC . '{' @20 sequence OS '}'
1840 '{' shift, and go to state 192
1845 121 Stmnt: D_STEP . '{' @21 sequence OS '}'
1847 '{' shift, and go to state 193
1852 193 Probe: FULL . '(' varref ')'
1854 '(' shift, and go to state 194
1859 195 Probe: EMPTY . '(' varref ')'
1861 '(' shift, and go to state 195
1866 194 Probe: NFULL . '(' varref ')'
1868 '(' shift, and go to state 196
1873 196 Probe: NEMPTY . '(' varref ')'
1875 '(' shift, and go to state 197
1880 50 step: XU . vref_lst
1882 NAME shift, and go to state 92
1884 vref_lst go to state 198
1885 varref go to state 199
1886 pfld go to state 100
1887 cmpnd go to state 101
1892 51 step: NAME . ':' one_decl
1895 82 | NAME . @10 '[' expr ']'
1896 98 Special: NAME . ':' stmnt
1898 ':' shift, and go to state 200
1900 '[' reduce using rule 81 (@10)
1901 $default reduce using rule 80 (pfld)
1908 126 Stmnt: INAME . @23 '(' args ')' @24 Stmnt
1910 $default reduce using rule 124 (@23)
1917 137 expr: '(' . expr ')'
1918 159 | '(' . expr SEMI expr ':' expr ')'
1919 186 Expr: '(' . Expr ')'
1921 C_EXPR shift, and go to state 84
1922 RUN shift, and go to state 85
1923 LEN shift, and go to state 86
1924 ENABLED shift, and go to state 87
1925 PC_VAL shift, and go to state 88
1926 TIMEOUT shift, and go to state 89
1927 NONPROGRESS shift, and go to state 90
1928 FULL shift, and go to state 115
1929 EMPTY shift, and go to state 116
1930 NFULL shift, and go to state 117
1931 NEMPTY shift, and go to state 118
1932 CONST shift, and go to state 91
1933 NAME shift, and go to state 92
1934 PNAME shift, and go to state 93
1935 SND shift, and go to state 94
1936 '-' shift, and go to state 95
1937 '~' shift, and go to state 96
1938 '(' shift, and go to state 122
1940 cexpr go to state 98
1941 varref go to state 99
1942 pfld go to state 100
1943 cmpnd go to state 101
1944 expr go to state 202
1945 Expr go to state 203
1946 Probe go to state 135
1951 123 Stmnt: '{' . @22 sequence OS '}'
1953 $default reduce using rule 122 (@22)
1962 $default reduce using rule 107 (Stmnt)
1967 46 body: '{' @8 sequence . OS @9 '}'
1968 48 sequence: sequence . MS step
1970 SEMI shift, and go to state 205
1972 $default reduce using rule 131 (OS)
1982 $default reduce using rule 47 (sequence)
1989 $default reduce using rule 49 (step)
1994 90 Special: varref . RCV @12 rargs
1995 92 | varref . SND @13 margs
1996 99 Stmnt: varref . ASGN expr
1999 109 | varref . R_RCV @16 rargs
2000 111 | varref . RCV @17 LT rargs GT
2001 113 | varref . R_RCV @18 LT rargs GT
2002 115 | varref . O_SND @19 margs
2003 165 expr: varref . RCV @27 '[' rargs ']'
2004 167 | varref . R_RCV @28 '[' rargs ']'
2007 ASGN shift, and go to state 208
2008 R_RCV shift, and go to state 209
2009 RCV shift, and go to state 210
2010 O_SND shift, and go to state 211
2011 SND shift, and go to state 212
2012 DECR shift, and go to state 213
2013 INCR shift, and go to state 214
2015 $default reduce using rule 168 (expr)
2021 54 | stmnt . UNLESS stmnt
2023 UNLESS shift, and go to state 215
2025 $default reduce using rule 53 (step)
2032 $default reduce using rule 87 (stmnt)
2039 $default reduce using rule 88 (stmnt)
2044 138 expr: expr . '+' expr
2045 139 | expr . '-' expr
2046 140 | expr . '*' expr
2047 141 | expr . '/' expr
2048 142 | expr . '%' expr
2049 143 | expr . '&' expr
2050 144 | expr . '^' expr
2051 145 | expr . '|' expr
2052 146 | expr . GT expr
2053 147 | expr . LT expr
2054 148 | expr . GE expr
2055 149 | expr . LE expr
2056 150 | expr . EQ expr
2057 151 | expr . NE expr
2058 152 | expr . AND expr
2059 153 | expr . OR expr
2060 154 | expr . LSHIFT expr
2061 155 | expr . RSHIFT expr
2062 180 full_expr: expr .
2063 191 Expr: expr . AND Expr
2064 192 | expr . OR Expr
2066 OR shift, and go to state 216
2067 AND shift, and go to state 217
2068 '|' shift, and go to state 166
2069 '^' shift, and go to state 167
2070 '&' shift, and go to state 168
2071 NE shift, and go to state 169
2072 EQ shift, and go to state 170
2073 LE shift, and go to state 171
2074 GE shift, and go to state 172
2075 LT shift, and go to state 173
2076 GT shift, and go to state 174
2077 RSHIFT shift, and go to state 175
2078 LSHIFT shift, and go to state 176
2079 '+' shift, and go to state 177
2080 '-' shift, and go to state 178
2081 '*' shift, and go to state 179
2082 '/' shift, and go to state 180
2083 '%' shift, and go to state 181
2085 $default reduce using rule 180 (full_expr)
2090 116 Stmnt: full_expr .
2092 $default reduce using rule 116 (Stmnt)
2097 181 full_expr: Expr .
2098 187 Expr: Expr . AND Expr
2099 188 | Expr . AND expr
2100 189 | Expr . OR Expr
2101 190 | Expr . OR expr
2103 OR shift, and go to state 218
2104 AND shift, and go to state 219
2106 $default reduce using rule 181 (full_expr)
2113 $default reduce using rule 185 (Expr)
2118 16 proc: inst proctype NAME @1 '(' . decl ')' @2 Opt_priority Opt_enabler body
2120 HIDDEN shift, and go to state 10
2121 SHOW shift, and go to state 11
2122 ISLOCAL shift, and go to state 12
2124 ')' reduce using rule 66 (decl)
2125 $default reduce using rule 55 (vis)
2128 one_decl go to state 82
2129 decl_lst go to state 220
2130 decl go to state 221
2135 78 vardcl: NAME '[' CONST . ']'
2137 ']' shift, and go to state 222
2142 77 vardcl: NAME ':' CONST .
2144 $default reduce using rule 77 (vardcl)
2151 $default reduce using rule 218 (nlst)
2156 63 one_decl: vis TYPE asgn '{' nlst . '}'
2157 219 nlst: nlst . NAME
2160 NAME shift, and go to state 223
2161 '}' shift, and go to state 224
2162 ',' shift, and go to state 225
2167 71 var_list: ivar ',' var_list .
2169 $default reduce using rule 71 (var_list)
2174 75 ch_init: '[' . CONST ']' OF '{' typ_list '}'
2176 CONST shift, and go to state 226
2181 74 ivar: vardcl ASGN ch_init .
2183 $default reduce using rule 74 (ivar)
2188 73 ivar: vardcl ASGN expr .
2189 138 expr: expr . '+' expr
2190 139 | expr . '-' expr
2191 140 | expr . '*' expr
2192 141 | expr . '/' expr
2193 142 | expr . '%' expr
2194 143 | expr . '&' expr
2195 144 | expr . '^' expr
2196 145 | expr . '|' expr
2197 146 | expr . GT expr
2198 147 | expr . LT expr
2199 148 | expr . GE expr
2200 149 | expr . LE expr
2201 150 | expr . EQ expr
2202 151 | expr . NE expr
2203 152 | expr . AND expr
2204 153 | expr . OR expr
2205 154 | expr . LSHIFT expr
2206 155 | expr . RSHIFT expr
2208 OR shift, and go to state 164
2209 AND shift, and go to state 165
2210 '|' shift, and go to state 166
2211 '^' shift, and go to state 167
2212 '&' shift, and go to state 168
2213 NE shift, and go to state 169
2214 EQ shift, and go to state 170
2215 LE shift, and go to state 171
2216 GE shift, and go to state 172
2217 LT shift, and go to state 173
2218 GT shift, and go to state 174
2219 RSHIFT shift, and go to state 175
2220 LSHIFT shift, and go to state 176
2221 '+' shift, and go to state 177
2222 '-' shift, and go to state 178
2223 '*' shift, and go to state 179
2224 '/' shift, and go to state 180
2225 '%' shift, and go to state 181
2227 $default reduce using rule 73 (ivar)
2232 65 decl_lst: one_decl SEMI . decl_lst
2234 HIDDEN shift, and go to state 10
2235 SHOW shift, and go to state 11
2236 ISLOCAL shift, and go to state 12
2238 $default reduce using rule 55 (vis)
2241 one_decl go to state 82
2242 decl_lst go to state 227
2247 30 utype: TYPEDEF NAME @6 '{' decl_lst '}' .
2249 $default reduce using rule 30 (utype)
2256 $default reduce using rule 135 (aname)
2263 $default reduce using rule 136 (aname)
2268 161 expr: RUN aname . @26 '(' args ')' Opt_priority
2270 $default reduce using rule 160 (@26)
2277 162 expr: LEN '(' . varref ')'
2279 NAME shift, and go to state 92
2281 varref go to state 229
2282 pfld go to state 100
2283 cmpnd go to state 101
2288 163 expr: ENABLED '(' . expr ')'
2290 C_EXPR shift, and go to state 84
2291 RUN shift, and go to state 85
2292 LEN shift, and go to state 86
2293 ENABLED shift, and go to state 87
2294 PC_VAL shift, and go to state 88
2295 TIMEOUT shift, and go to state 89
2296 NONPROGRESS shift, and go to state 90
2297 CONST shift, and go to state 91
2298 NAME shift, and go to state 92
2299 PNAME shift, and go to state 93
2300 SND shift, and go to state 94
2301 '-' shift, and go to state 95
2302 '~' shift, and go to state 96
2303 '(' shift, and go to state 97
2305 cexpr go to state 98
2306 varref go to state 99
2307 pfld go to state 100
2308 cmpnd go to state 101
2309 expr go to state 230
2314 173 expr: PC_VAL '(' . expr ')'
2316 C_EXPR shift, and go to state 84
2317 RUN shift, and go to state 85
2318 LEN shift, and go to state 86
2319 ENABLED shift, and go to state 87
2320 PC_VAL shift, and go to state 88
2321 TIMEOUT shift, and go to state 89
2322 NONPROGRESS shift, and go to state 90
2323 CONST shift, and go to state 91
2324 NAME shift, and go to state 92
2325 PNAME shift, and go to state 93
2326 SND shift, and go to state 94
2327 '-' shift, and go to state 95
2328 '~' shift, and go to state 96
2329 '(' shift, and go to state 97
2331 cexpr go to state 98
2332 varref go to state 99
2333 pfld go to state 100
2334 cmpnd go to state 101
2335 expr go to state 231
2340 82 pfld: NAME @10 . '[' expr ']'
2342 '[' shift, and go to state 232
2347 174 expr: PNAME '[' . expr ']' '@' NAME
2348 175 | PNAME '[' . expr ']' ':' pfld
2350 C_EXPR shift, and go to state 84
2351 RUN shift, and go to state 85
2352 LEN shift, and go to state 86
2353 ENABLED shift, and go to state 87
2354 PC_VAL shift, and go to state 88
2355 TIMEOUT shift, and go to state 89
2356 NONPROGRESS shift, and go to state 90
2357 CONST shift, and go to state 91
2358 NAME shift, and go to state 92
2359 PNAME shift, and go to state 93
2360 SND shift, and go to state 94
2361 '-' shift, and go to state 95
2362 '~' shift, and go to state 96
2363 '(' shift, and go to state 97
2365 cexpr go to state 98
2366 varref go to state 99
2367 pfld go to state 100
2368 cmpnd go to state 101
2369 expr go to state 233
2374 177 expr: PNAME ':' . pfld
2376 NAME shift, and go to state 92
2378 pfld go to state 234
2383 176 expr: PNAME '@' . NAME
2385 NAME shift, and go to state 235
2390 138 expr: expr . '+' expr
2391 139 | expr . '-' expr
2392 140 | expr . '*' expr
2393 141 | expr . '/' expr
2394 142 | expr . '%' expr
2395 143 | expr . '&' expr
2396 144 | expr . '^' expr
2397 145 | expr . '|' expr
2398 146 | expr . GT expr
2399 147 | expr . LT expr
2400 148 | expr . GE expr
2401 149 | expr . LE expr
2402 150 | expr . EQ expr
2403 151 | expr . NE expr
2404 152 | expr . AND expr
2405 153 | expr . OR expr
2406 154 | expr . LSHIFT expr
2407 155 | expr . RSHIFT expr
2410 $default reduce using rule 158 (expr)
2415 138 expr: expr . '+' expr
2416 139 | expr . '-' expr
2417 140 | expr . '*' expr
2418 141 | expr . '/' expr
2419 142 | expr . '%' expr
2420 143 | expr . '&' expr
2421 144 | expr . '^' expr
2422 145 | expr . '|' expr
2423 146 | expr . GT expr
2424 147 | expr . LT expr
2425 148 | expr . GE expr
2426 149 | expr . LE expr
2427 150 | expr . EQ expr
2428 151 | expr . NE expr
2429 152 | expr . AND expr
2430 153 | expr . OR expr
2431 154 | expr . LSHIFT expr
2432 155 | expr . RSHIFT expr
2435 $default reduce using rule 157 (expr)
2440 138 expr: expr . '+' expr
2441 139 | expr . '-' expr
2442 140 | expr . '*' expr
2443 141 | expr . '/' expr
2444 142 | expr . '%' expr
2445 143 | expr . '&' expr
2446 144 | expr . '^' expr
2447 145 | expr . '|' expr
2448 146 | expr . GT expr
2449 147 | expr . LT expr
2450 148 | expr . GE expr
2451 149 | expr . LE expr
2452 150 | expr . EQ expr
2453 151 | expr . NE expr
2454 152 | expr . AND expr
2455 153 | expr . OR expr
2456 154 | expr . LSHIFT expr
2457 155 | expr . RSHIFT expr
2460 $default reduce using rule 156 (expr)
2465 137 expr: '(' expr . ')'
2466 138 | expr . '+' expr
2467 139 | expr . '-' expr
2468 140 | expr . '*' expr
2469 141 | expr . '/' expr
2470 142 | expr . '%' expr
2471 143 | expr . '&' expr
2472 144 | expr . '^' expr
2473 145 | expr . '|' expr
2474 146 | expr . GT expr
2475 147 | expr . LT expr
2476 148 | expr . GE expr
2477 149 | expr . LE expr
2478 150 | expr . EQ expr
2479 151 | expr . NE expr
2480 152 | expr . AND expr
2481 153 | expr . OR expr
2482 154 | expr . LSHIFT expr
2483 155 | expr . RSHIFT expr
2484 159 | '(' expr . SEMI expr ':' expr ')'
2486 SEMI shift, and go to state 236
2487 OR shift, and go to state 164
2488 AND shift, and go to state 165
2489 '|' shift, and go to state 166
2490 '^' shift, and go to state 167
2491 '&' shift, and go to state 168
2492 NE shift, and go to state 169
2493 EQ shift, and go to state 170
2494 LE shift, and go to state 171
2495 GE shift, and go to state 172
2496 LT shift, and go to state 173
2497 GT shift, and go to state 174
2498 RSHIFT shift, and go to state 175
2499 LSHIFT shift, and go to state 176
2500 '+' shift, and go to state 177
2501 '-' shift, and go to state 178
2502 '*' shift, and go to state 179
2503 '/' shift, and go to state 180
2504 '%' shift, and go to state 181
2505 ')' shift, and go to state 237
2510 167 expr: varref R_RCV . @28 '[' rargs ']'
2512 $default reduce using rule 166 (@28)
2519 165 expr: varref RCV . @27 '[' rargs ']'
2521 $default reduce using rule 164 (@27)
2528 84 cmpnd: pfld @11 . sfld
2530 '.' shift, and go to state 240
2532 $default reduce using rule 85 (sfld)
2534 sfld go to state 241
2539 153 expr: expr OR . expr
2541 C_EXPR shift, and go to state 84
2542 RUN shift, and go to state 85
2543 LEN shift, and go to state 86
2544 ENABLED shift, and go to state 87
2545 PC_VAL shift, and go to state 88
2546 TIMEOUT shift, and go to state 89
2547 NONPROGRESS shift, and go to state 90
2548 CONST shift, and go to state 91
2549 NAME shift, and go to state 92
2550 PNAME shift, and go to state 93
2551 SND shift, and go to state 94
2552 '-' shift, and go to state 95
2553 '~' shift, and go to state 96
2554 '(' shift, and go to state 97
2556 cexpr go to state 98
2557 varref go to state 99
2558 pfld go to state 100
2559 cmpnd go to state 101
2560 expr go to state 242
2565 152 expr: expr AND . expr
2567 C_EXPR shift, and go to state 84
2568 RUN shift, and go to state 85
2569 LEN shift, and go to state 86
2570 ENABLED shift, and go to state 87
2571 PC_VAL shift, and go to state 88
2572 TIMEOUT shift, and go to state 89
2573 NONPROGRESS shift, and go to state 90
2574 CONST shift, and go to state 91
2575 NAME shift, and go to state 92
2576 PNAME shift, and go to state 93
2577 SND shift, and go to state 94
2578 '-' shift, and go to state 95
2579 '~' shift, and go to state 96
2580 '(' shift, and go to state 97
2582 cexpr go to state 98
2583 varref go to state 99
2584 pfld go to state 100
2585 cmpnd go to state 101
2586 expr go to state 243
2591 145 expr: expr '|' . expr
2593 C_EXPR shift, and go to state 84
2594 RUN shift, and go to state 85
2595 LEN shift, and go to state 86
2596 ENABLED shift, and go to state 87
2597 PC_VAL shift, and go to state 88
2598 TIMEOUT shift, and go to state 89
2599 NONPROGRESS shift, and go to state 90
2600 CONST shift, and go to state 91
2601 NAME shift, and go to state 92
2602 PNAME shift, and go to state 93
2603 SND shift, and go to state 94
2604 '-' shift, and go to state 95
2605 '~' shift, and go to state 96
2606 '(' shift, and go to state 97
2608 cexpr go to state 98
2609 varref go to state 99
2610 pfld go to state 100
2611 cmpnd go to state 101
2612 expr go to state 244
2617 144 expr: expr '^' . expr
2619 C_EXPR shift, and go to state 84
2620 RUN shift, and go to state 85
2621 LEN shift, and go to state 86
2622 ENABLED shift, and go to state 87
2623 PC_VAL shift, and go to state 88
2624 TIMEOUT shift, and go to state 89
2625 NONPROGRESS shift, and go to state 90
2626 CONST shift, and go to state 91
2627 NAME shift, and go to state 92
2628 PNAME shift, and go to state 93
2629 SND shift, and go to state 94
2630 '-' shift, and go to state 95
2631 '~' shift, and go to state 96
2632 '(' shift, and go to state 97
2634 cexpr go to state 98
2635 varref go to state 99
2636 pfld go to state 100
2637 cmpnd go to state 101
2638 expr go to state 245
2643 143 expr: expr '&' . expr
2645 C_EXPR shift, and go to state 84
2646 RUN shift, and go to state 85
2647 LEN shift, and go to state 86
2648 ENABLED shift, and go to state 87
2649 PC_VAL shift, and go to state 88
2650 TIMEOUT shift, and go to state 89
2651 NONPROGRESS shift, and go to state 90
2652 CONST shift, and go to state 91
2653 NAME shift, and go to state 92
2654 PNAME shift, and go to state 93
2655 SND shift, and go to state 94
2656 '-' shift, and go to state 95
2657 '~' shift, and go to state 96
2658 '(' shift, and go to state 97
2660 cexpr go to state 98
2661 varref go to state 99
2662 pfld go to state 100
2663 cmpnd go to state 101
2664 expr go to state 246
2669 151 expr: expr NE . expr
2671 C_EXPR shift, and go to state 84
2672 RUN shift, and go to state 85
2673 LEN shift, and go to state 86
2674 ENABLED shift, and go to state 87
2675 PC_VAL shift, and go to state 88
2676 TIMEOUT shift, and go to state 89
2677 NONPROGRESS shift, and go to state 90
2678 CONST shift, and go to state 91
2679 NAME shift, and go to state 92
2680 PNAME shift, and go to state 93
2681 SND shift, and go to state 94
2682 '-' shift, and go to state 95
2683 '~' shift, and go to state 96
2684 '(' shift, and go to state 97
2686 cexpr go to state 98
2687 varref go to state 99
2688 pfld go to state 100
2689 cmpnd go to state 101
2690 expr go to state 247
2695 150 expr: expr EQ . expr
2697 C_EXPR shift, and go to state 84
2698 RUN shift, and go to state 85
2699 LEN shift, and go to state 86
2700 ENABLED shift, and go to state 87
2701 PC_VAL shift, and go to state 88
2702 TIMEOUT shift, and go to state 89
2703 NONPROGRESS shift, and go to state 90
2704 CONST shift, and go to state 91
2705 NAME shift, and go to state 92
2706 PNAME shift, and go to state 93
2707 SND shift, and go to state 94
2708 '-' shift, and go to state 95
2709 '~' shift, and go to state 96
2710 '(' shift, and go to state 97
2712 cexpr go to state 98
2713 varref go to state 99
2714 pfld go to state 100
2715 cmpnd go to state 101
2716 expr go to state 248
2721 149 expr: expr LE . expr
2723 C_EXPR shift, and go to state 84
2724 RUN shift, and go to state 85
2725 LEN shift, and go to state 86
2726 ENABLED shift, and go to state 87
2727 PC_VAL shift, and go to state 88
2728 TIMEOUT shift, and go to state 89
2729 NONPROGRESS shift, and go to state 90
2730 CONST shift, and go to state 91
2731 NAME shift, and go to state 92
2732 PNAME shift, and go to state 93
2733 SND shift, and go to state 94
2734 '-' shift, and go to state 95
2735 '~' shift, and go to state 96
2736 '(' shift, and go to state 97
2738 cexpr go to state 98
2739 varref go to state 99
2740 pfld go to state 100
2741 cmpnd go to state 101
2742 expr go to state 249
2747 148 expr: expr GE . expr
2749 C_EXPR shift, and go to state 84
2750 RUN shift, and go to state 85
2751 LEN shift, and go to state 86
2752 ENABLED shift, and go to state 87
2753 PC_VAL shift, and go to state 88
2754 TIMEOUT shift, and go to state 89
2755 NONPROGRESS shift, and go to state 90
2756 CONST shift, and go to state 91
2757 NAME shift, and go to state 92
2758 PNAME shift, and go to state 93
2759 SND shift, and go to state 94
2760 '-' shift, and go to state 95
2761 '~' shift, and go to state 96
2762 '(' shift, and go to state 97
2764 cexpr go to state 98
2765 varref go to state 99
2766 pfld go to state 100
2767 cmpnd go to state 101
2768 expr go to state 250
2773 147 expr: expr LT . expr
2775 C_EXPR shift, and go to state 84
2776 RUN shift, and go to state 85
2777 LEN shift, and go to state 86
2778 ENABLED shift, and go to state 87
2779 PC_VAL shift, and go to state 88
2780 TIMEOUT shift, and go to state 89
2781 NONPROGRESS shift, and go to state 90
2782 CONST shift, and go to state 91
2783 NAME shift, and go to state 92
2784 PNAME shift, and go to state 93
2785 SND shift, and go to state 94
2786 '-' shift, and go to state 95
2787 '~' shift, and go to state 96
2788 '(' shift, and go to state 97
2790 cexpr go to state 98
2791 varref go to state 99
2792 pfld go to state 100
2793 cmpnd go to state 101
2794 expr go to state 251
2799 146 expr: expr GT . expr
2801 C_EXPR shift, and go to state 84
2802 RUN shift, and go to state 85
2803 LEN shift, and go to state 86
2804 ENABLED shift, and go to state 87
2805 PC_VAL shift, and go to state 88
2806 TIMEOUT shift, and go to state 89
2807 NONPROGRESS shift, and go to state 90
2808 CONST shift, and go to state 91
2809 NAME shift, and go to state 92
2810 PNAME shift, and go to state 93
2811 SND shift, and go to state 94
2812 '-' shift, and go to state 95
2813 '~' shift, and go to state 96
2814 '(' shift, and go to state 97
2816 cexpr go to state 98
2817 varref go to state 99
2818 pfld go to state 100
2819 cmpnd go to state 101
2820 expr go to state 252
2825 155 expr: expr RSHIFT . expr
2827 C_EXPR shift, and go to state 84
2828 RUN shift, and go to state 85
2829 LEN shift, and go to state 86
2830 ENABLED shift, and go to state 87
2831 PC_VAL shift, and go to state 88
2832 TIMEOUT shift, and go to state 89
2833 NONPROGRESS shift, and go to state 90
2834 CONST shift, and go to state 91
2835 NAME shift, and go to state 92
2836 PNAME shift, and go to state 93
2837 SND shift, and go to state 94
2838 '-' shift, and go to state 95
2839 '~' shift, and go to state 96
2840 '(' shift, and go to state 97
2842 cexpr go to state 98
2843 varref go to state 99
2844 pfld go to state 100
2845 cmpnd go to state 101
2846 expr go to state 253
2851 154 expr: expr LSHIFT . expr
2853 C_EXPR shift, and go to state 84
2854 RUN shift, and go to state 85
2855 LEN shift, and go to state 86
2856 ENABLED shift, and go to state 87
2857 PC_VAL shift, and go to state 88
2858 TIMEOUT shift, and go to state 89
2859 NONPROGRESS shift, and go to state 90
2860 CONST shift, and go to state 91
2861 NAME shift, and go to state 92
2862 PNAME shift, and go to state 93
2863 SND shift, and go to state 94
2864 '-' shift, and go to state 95
2865 '~' shift, and go to state 96
2866 '(' shift, and go to state 97
2868 cexpr go to state 98
2869 varref go to state 99
2870 pfld go to state 100
2871 cmpnd go to state 101
2872 expr go to state 254
2877 138 expr: expr '+' . expr
2879 C_EXPR shift, and go to state 84
2880 RUN shift, and go to state 85
2881 LEN shift, and go to state 86
2882 ENABLED shift, and go to state 87
2883 PC_VAL shift, and go to state 88
2884 TIMEOUT shift, and go to state 89
2885 NONPROGRESS shift, and go to state 90
2886 CONST shift, and go to state 91
2887 NAME shift, and go to state 92
2888 PNAME shift, and go to state 93
2889 SND shift, and go to state 94
2890 '-' shift, and go to state 95
2891 '~' shift, and go to state 96
2892 '(' shift, and go to state 97
2894 cexpr go to state 98
2895 varref go to state 99
2896 pfld go to state 100
2897 cmpnd go to state 101
2898 expr go to state 255
2903 139 expr: expr '-' . expr
2905 C_EXPR shift, and go to state 84
2906 RUN shift, and go to state 85
2907 LEN shift, and go to state 86
2908 ENABLED shift, and go to state 87
2909 PC_VAL shift, and go to state 88
2910 TIMEOUT shift, and go to state 89
2911 NONPROGRESS shift, and go to state 90
2912 CONST shift, and go to state 91
2913 NAME shift, and go to state 92
2914 PNAME shift, and go to state 93
2915 SND shift, and go to state 94
2916 '-' shift, and go to state 95
2917 '~' shift, and go to state 96
2918 '(' shift, and go to state 97
2920 cexpr go to state 98
2921 varref go to state 99
2922 pfld go to state 100
2923 cmpnd go to state 101
2924 expr go to state 256
2929 140 expr: expr '*' . expr
2931 C_EXPR shift, and go to state 84
2932 RUN shift, and go to state 85
2933 LEN shift, and go to state 86
2934 ENABLED shift, and go to state 87
2935 PC_VAL shift, and go to state 88
2936 TIMEOUT shift, and go to state 89
2937 NONPROGRESS shift, and go to state 90
2938 CONST shift, and go to state 91
2939 NAME shift, and go to state 92
2940 PNAME shift, and go to state 93
2941 SND shift, and go to state 94
2942 '-' shift, and go to state 95
2943 '~' shift, and go to state 96
2944 '(' shift, and go to state 97
2946 cexpr go to state 98
2947 varref go to state 99
2948 pfld go to state 100
2949 cmpnd go to state 101
2950 expr go to state 257
2955 141 expr: expr '/' . expr
2957 C_EXPR shift, and go to state 84
2958 RUN shift, and go to state 85
2959 LEN shift, and go to state 86
2960 ENABLED shift, and go to state 87
2961 PC_VAL shift, and go to state 88
2962 TIMEOUT shift, and go to state 89
2963 NONPROGRESS shift, and go to state 90
2964 CONST shift, and go to state 91
2965 NAME shift, and go to state 92
2966 PNAME shift, and go to state 93
2967 SND shift, and go to state 94
2968 '-' shift, and go to state 95
2969 '~' shift, and go to state 96
2970 '(' shift, and go to state 97
2972 cexpr go to state 98
2973 varref go to state 99
2974 pfld go to state 100
2975 cmpnd go to state 101
2976 expr go to state 258
2981 142 expr: expr '%' . expr
2983 C_EXPR shift, and go to state 84
2984 RUN shift, and go to state 85
2985 LEN shift, and go to state 86
2986 ENABLED shift, and go to state 87
2987 PC_VAL shift, and go to state 88
2988 TIMEOUT shift, and go to state 89
2989 NONPROGRESS shift, and go to state 90
2990 CONST shift, and go to state 91
2991 NAME shift, and go to state 92
2992 PNAME shift, and go to state 93
2993 SND shift, and go to state 94
2994 '-' shift, and go to state 95
2995 '~' shift, and go to state 96
2996 '(' shift, and go to state 97
2998 cexpr go to state 98
2999 varref go to state 99
3000 pfld go to state 100
3001 cmpnd go to state 101
3002 expr go to state 259
3007 209 arg: expr ',' . arg
3009 C_EXPR shift, and go to state 84
3010 RUN shift, and go to state 85
3011 LEN shift, and go to state 86
3012 ENABLED shift, and go to state 87
3013 PC_VAL shift, and go to state 88
3014 TIMEOUT shift, and go to state 89
3015 NONPROGRESS shift, and go to state 90
3016 CONST shift, and go to state 91
3017 NAME shift, and go to state 92
3018 PNAME shift, and go to state 93
3019 SND shift, and go to state 94
3020 '-' shift, and go to state 95
3021 '~' shift, and go to state 96
3022 '(' shift, and go to state 97
3024 cexpr go to state 98
3025 varref go to state 99
3026 pfld go to state 100
3027 cmpnd go to state 101
3028 expr go to state 102
3034 34 ns: INLINE nm '(' @7 args ')' .
3036 $default reduce using rule 34 (ns)
3041 106 Stmnt: ASSERT full_expr .
3043 $default reduce using rule 106 (Stmnt)
3048 103 Stmnt: PRINT '(' . STRING @15 prargs ')'
3050 STRING shift, and go to state 261
3055 104 Stmnt: PRINTM '(' . varref ')'
3056 105 | PRINTM '(' . CONST ')'
3058 CONST shift, and go to state 262
3059 NAME shift, and go to state 92
3061 varref go to state 263
3062 pfld go to state 100
3063 cmpnd go to state 101
3068 97 Special: GOTO NAME .
3070 $default reduce using rule 97 (Special)
3075 130 option: SEP . @25 sequence OS
3077 $default reduce using rule 129 (@25)
3084 93 Special: IF options . FI
3086 FI shift, and go to state 265
3091 127 options: option .
3092 128 | option . options
3094 SEP shift, and go to state 188
3096 $default reduce using rule 127 (options)
3098 options go to state 266
3099 option go to state 190
3104 95 Special: DO @14 . options OD
3106 SEP shift, and go to state 188
3108 options go to state 267
3109 option go to state 190
3114 119 Stmnt: ATOMIC '{' . @20 sequence OS '}'
3116 $default reduce using rule 118 (@20)
3123 121 Stmnt: D_STEP '{' . @21 sequence OS '}'
3125 $default reduce using rule 120 (@21)
3132 193 Probe: FULL '(' . varref ')'
3134 NAME shift, and go to state 92
3136 varref go to state 270
3137 pfld go to state 100
3138 cmpnd go to state 101
3143 195 Probe: EMPTY '(' . varref ')'
3145 NAME shift, and go to state 92
3147 varref go to state 271
3148 pfld go to state 100
3149 cmpnd go to state 101
3154 194 Probe: NFULL '(' . varref ')'
3156 NAME shift, and go to state 92
3158 varref go to state 272
3159 pfld go to state 100
3160 cmpnd go to state 101
3165 196 Probe: NEMPTY '(' . varref ')'
3167 NAME shift, and go to state 92
3169 varref go to state 273
3170 pfld go to state 100
3171 cmpnd go to state 101
3176 50 step: XU vref_lst .
3178 $default reduce using rule 50 (step)
3183 68 vref_lst: varref .
3184 69 | varref . ',' vref_lst
3186 ',' shift, and go to state 274
3188 $default reduce using rule 68 (vref_lst)
3193 51 step: NAME ':' . one_decl
3195 98 Special: NAME ':' . stmnt
3197 ASSERT shift, and go to state 105
3198 PRINT shift, and go to state 106
3199 PRINTM shift, and go to state 107
3200 C_CODE shift, and go to state 2
3201 C_DECL shift, and go to state 3
3202 C_EXPR shift, and go to state 84
3203 RUN shift, and go to state 85
3204 LEN shift, and go to state 86
3205 ENABLED shift, and go to state 87
3206 PC_VAL shift, and go to state 88
3207 GOTO shift, and go to state 108
3208 BREAK shift, and go to state 109
3209 ELSE shift, and go to state 110
3210 IF shift, and go to state 111
3211 DO shift, and go to state 112
3212 ATOMIC shift, and go to state 113
3213 D_STEP shift, and go to state 114
3214 TIMEOUT shift, and go to state 89
3215 NONPROGRESS shift, and go to state 90
3216 HIDDEN shift, and go to state 10
3217 SHOW shift, and go to state 11
3218 ISLOCAL shift, and go to state 12
3219 FULL shift, and go to state 115
3220 EMPTY shift, and go to state 116
3221 NFULL shift, and go to state 117
3222 NEMPTY shift, and go to state 118
3223 CONST shift, and go to state 91
3224 XU shift, and go to state 275
3225 NAME shift, and go to state 276
3226 PNAME shift, and go to state 93
3227 INAME shift, and go to state 121
3228 SND shift, and go to state 94
3229 '-' shift, and go to state 95
3230 '~' shift, and go to state 96
3231 '(' shift, and go to state 122
3232 '{' shift, and go to state 123
3234 $default reduce using rule 55 (vis)
3236 ccode go to state 124
3237 cexpr go to state 98
3239 one_decl go to state 277
3240 varref go to state 128
3241 pfld go to state 100
3242 cmpnd go to state 101
3243 stmnt go to state 278
3244 Special go to state 130
3245 Stmnt go to state 131
3246 expr go to state 132
3247 full_expr go to state 133
3248 Expr go to state 134
3249 Probe go to state 135
3254 126 Stmnt: INAME @23 . '(' args ')' @24 Stmnt
3256 '(' shift, and go to state 279
3261 137 expr: '(' expr . ')'
3262 138 | expr . '+' expr
3263 139 | expr . '-' expr
3264 140 | expr . '*' expr
3265 141 | expr . '/' expr
3266 142 | expr . '%' expr
3267 143 | expr . '&' expr
3268 144 | expr . '^' expr
3269 145 | expr . '|' expr
3270 146 | expr . GT expr
3271 147 | expr . LT expr
3272 148 | expr . GE expr
3273 149 | expr . LE expr
3274 150 | expr . EQ expr
3275 151 | expr . NE expr
3276 152 | expr . AND expr
3277 153 | expr . OR expr
3278 154 | expr . LSHIFT expr
3279 155 | expr . RSHIFT expr
3280 159 | '(' expr . SEMI expr ':' expr ')'
3281 191 Expr: expr . AND Expr
3282 192 | expr . OR Expr
3284 SEMI shift, and go to state 236
3285 OR shift, and go to state 216
3286 AND shift, and go to state 217
3287 '|' shift, and go to state 166
3288 '^' shift, and go to state 167
3289 '&' shift, and go to state 168
3290 NE shift, and go to state 169
3291 EQ shift, and go to state 170
3292 LE shift, and go to state 171
3293 GE shift, and go to state 172
3294 LT shift, and go to state 173
3295 GT shift, and go to state 174
3296 RSHIFT shift, and go to state 175
3297 LSHIFT shift, and go to state 176
3298 '+' shift, and go to state 177
3299 '-' shift, and go to state 178
3300 '*' shift, and go to state 179
3301 '/' shift, and go to state 180
3302 '%' shift, and go to state 181
3303 ')' shift, and go to state 237
3308 186 Expr: '(' Expr . ')'
3309 187 | Expr . AND Expr
3310 188 | Expr . AND expr
3311 189 | Expr . OR Expr
3312 190 | Expr . OR expr
3314 OR shift, and go to state 218
3315 AND shift, and go to state 219
3316 ')' shift, and go to state 280
3321 123 Stmnt: '{' @22 . sequence OS '}'
3323 ASSERT shift, and go to state 105
3324 PRINT shift, and go to state 106
3325 PRINTM shift, and go to state 107
3326 C_CODE shift, and go to state 2
3327 C_DECL shift, and go to state 3
3328 C_EXPR shift, and go to state 84
3329 RUN shift, and go to state 85
3330 LEN shift, and go to state 86
3331 ENABLED shift, and go to state 87
3332 PC_VAL shift, and go to state 88
3333 GOTO shift, and go to state 108
3334 BREAK shift, and go to state 109
3335 ELSE shift, and go to state 110
3336 IF shift, and go to state 111
3337 DO shift, and go to state 112
3338 ATOMIC shift, and go to state 113
3339 D_STEP shift, and go to state 114
3340 TIMEOUT shift, and go to state 89
3341 NONPROGRESS shift, and go to state 90
3342 HIDDEN shift, and go to state 10
3343 SHOW shift, and go to state 11
3344 ISLOCAL shift, and go to state 12
3345 FULL shift, and go to state 115
3346 EMPTY shift, and go to state 116
3347 NFULL shift, and go to state 117
3348 NEMPTY shift, and go to state 118
3349 CONST shift, and go to state 91
3350 XU shift, and go to state 119
3351 NAME shift, and go to state 120
3352 PNAME shift, and go to state 93
3353 INAME shift, and go to state 121
3354 SND shift, and go to state 94
3355 '-' shift, and go to state 95
3356 '~' shift, and go to state 96
3357 '(' shift, and go to state 122
3358 '{' shift, and go to state 123
3360 $default reduce using rule 55 (vis)
3362 ccode go to state 124
3363 cexpr go to state 98
3364 sequence go to state 281
3365 step go to state 126
3367 one_decl go to state 127
3368 varref go to state 128
3369 pfld go to state 100
3370 cmpnd go to state 101
3371 stmnt go to state 129
3372 Special go to state 130
3373 Stmnt go to state 131
3374 expr go to state 132
3375 full_expr go to state 133
3376 Expr go to state 134
3377 Probe go to state 135
3385 FI reduce using rule 132 (OS)
3386 OD reduce using rule 132 (OS)
3387 SEP reduce using rule 132 (OS)
3388 '}' reduce using rule 132 (OS)
3389 $default reduce using rule 133 (MS)
3394 46 body: '{' @8 sequence OS . @9 '}'
3396 $default reduce using rule 45 (@9)
3403 48 sequence: sequence MS . step
3406 ASSERT shift, and go to state 105
3407 PRINT shift, and go to state 106
3408 PRINTM shift, and go to state 107
3409 C_CODE shift, and go to state 2
3410 C_DECL shift, and go to state 3
3411 C_EXPR shift, and go to state 84
3412 RUN shift, and go to state 85
3413 LEN shift, and go to state 86
3414 ENABLED shift, and go to state 87
3415 PC_VAL shift, and go to state 88
3416 GOTO shift, and go to state 108
3417 BREAK shift, and go to state 109
3418 ELSE shift, and go to state 110
3419 SEMI shift, and go to state 283
3420 IF shift, and go to state 111
3421 DO shift, and go to state 112
3422 ATOMIC shift, and go to state 113
3423 D_STEP shift, and go to state 114
3424 TIMEOUT shift, and go to state 89
3425 NONPROGRESS shift, and go to state 90
3426 HIDDEN shift, and go to state 10
3427 SHOW shift, and go to state 11
3428 ISLOCAL shift, and go to state 12
3429 FULL shift, and go to state 115
3430 EMPTY shift, and go to state 116
3431 NFULL shift, and go to state 117
3432 NEMPTY shift, and go to state 118
3433 CONST shift, and go to state 91
3434 XU shift, and go to state 119
3435 NAME shift, and go to state 120
3436 PNAME shift, and go to state 93
3437 INAME shift, and go to state 121
3438 SND shift, and go to state 94
3439 '-' shift, and go to state 95
3440 '~' shift, and go to state 96
3441 '(' shift, and go to state 122
3442 '{' shift, and go to state 123
3444 $default reduce using rule 55 (vis)
3446 ccode go to state 124
3447 cexpr go to state 98
3448 step go to state 284
3450 one_decl go to state 127
3451 varref go to state 128
3452 pfld go to state 100
3453 cmpnd go to state 101
3454 stmnt go to state 129
3455 Special go to state 130
3456 Stmnt go to state 131
3457 expr go to state 132
3458 full_expr go to state 133
3459 Expr go to state 134
3460 Probe go to state 135
3465 99 Stmnt: varref ASGN . expr
3467 C_EXPR shift, and go to state 84
3468 RUN shift, and go to state 85
3469 LEN shift, and go to state 86
3470 ENABLED shift, and go to state 87
3471 PC_VAL shift, and go to state 88
3472 TIMEOUT shift, and go to state 89
3473 NONPROGRESS shift, and go to state 90
3474 CONST shift, and go to state 91
3475 NAME shift, and go to state 92
3476 PNAME shift, and go to state 93
3477 SND shift, and go to state 94
3478 '-' shift, and go to state 95
3479 '~' shift, and go to state 96
3480 '(' shift, and go to state 97
3482 cexpr go to state 98
3483 varref go to state 99
3484 pfld go to state 100
3485 cmpnd go to state 101
3486 expr go to state 285
3491 109 Stmnt: varref R_RCV . @16 rargs
3492 113 | varref R_RCV . @18 LT rargs GT
3493 167 expr: varref R_RCV . @28 '[' rargs ']'
3495 LT reduce using rule 112 (@18)
3496 '[' reduce using rule 166 (@28)
3497 $default reduce using rule 108 (@16)
3506 90 Special: varref RCV . @12 rargs
3507 111 Stmnt: varref RCV . @17 LT rargs GT
3508 165 expr: varref RCV . @27 '[' rargs ']'
3510 LT reduce using rule 110 (@17)
3511 '[' reduce using rule 164 (@27)
3512 $default reduce using rule 89 (@12)
3521 115 Stmnt: varref O_SND . @19 margs
3523 $default reduce using rule 114 (@19)
3530 92 Special: varref SND . @13 margs
3532 $default reduce using rule 91 (@13)
3539 101 Stmnt: varref DECR .
3541 $default reduce using rule 101 (Stmnt)
3546 100 Stmnt: varref INCR .
3548 $default reduce using rule 100 (Stmnt)
3553 54 step: stmnt UNLESS . stmnt
3555 ASSERT shift, and go to state 105
3556 PRINT shift, and go to state 106
3557 PRINTM shift, and go to state 107
3558 C_CODE shift, and go to state 2
3559 C_DECL shift, and go to state 3
3560 C_EXPR shift, and go to state 84
3561 RUN shift, and go to state 85
3562 LEN shift, and go to state 86
3563 ENABLED shift, and go to state 87
3564 PC_VAL shift, and go to state 88
3565 GOTO shift, and go to state 108
3566 BREAK shift, and go to state 109
3567 ELSE shift, and go to state 110
3568 IF shift, and go to state 111
3569 DO shift, and go to state 112
3570 ATOMIC shift, and go to state 113
3571 D_STEP shift, and go to state 114
3572 TIMEOUT shift, and go to state 89
3573 NONPROGRESS shift, and go to state 90
3574 FULL shift, and go to state 115
3575 EMPTY shift, and go to state 116
3576 NFULL shift, and go to state 117
3577 NEMPTY shift, and go to state 118
3578 CONST shift, and go to state 91
3579 NAME shift, and go to state 276
3580 PNAME shift, and go to state 93
3581 INAME shift, and go to state 121
3582 SND shift, and go to state 94
3583 '-' shift, and go to state 95
3584 '~' shift, and go to state 96
3585 '(' shift, and go to state 122
3586 '{' shift, and go to state 123
3588 ccode go to state 124
3589 cexpr go to state 98
3590 varref go to state 128
3591 pfld go to state 100
3592 cmpnd go to state 101
3593 stmnt go to state 292
3594 Special go to state 130
3595 Stmnt go to state 131
3596 expr go to state 132
3597 full_expr go to state 133
3598 Expr go to state 134
3599 Probe go to state 135
3604 153 expr: expr OR . expr
3605 192 Expr: expr OR . Expr
3607 C_EXPR shift, and go to state 84
3608 RUN shift, and go to state 85
3609 LEN shift, and go to state 86
3610 ENABLED shift, and go to state 87
3611 PC_VAL shift, and go to state 88
3612 TIMEOUT shift, and go to state 89
3613 NONPROGRESS shift, and go to state 90
3614 FULL shift, and go to state 115
3615 EMPTY shift, and go to state 116
3616 NFULL shift, and go to state 117
3617 NEMPTY shift, and go to state 118
3618 CONST shift, and go to state 91
3619 NAME shift, and go to state 92
3620 PNAME shift, and go to state 93
3621 SND shift, and go to state 94
3622 '-' shift, and go to state 95
3623 '~' shift, and go to state 96
3624 '(' shift, and go to state 122
3626 cexpr go to state 98
3627 varref go to state 99
3628 pfld go to state 100
3629 cmpnd go to state 101
3630 expr go to state 293
3631 Expr go to state 294
3632 Probe go to state 135
3637 152 expr: expr AND . expr
3638 191 Expr: expr AND . Expr
3640 C_EXPR shift, and go to state 84
3641 RUN shift, and go to state 85
3642 LEN shift, and go to state 86
3643 ENABLED shift, and go to state 87
3644 PC_VAL shift, and go to state 88
3645 TIMEOUT shift, and go to state 89
3646 NONPROGRESS shift, and go to state 90
3647 FULL shift, and go to state 115
3648 EMPTY shift, and go to state 116
3649 NFULL shift, and go to state 117
3650 NEMPTY shift, and go to state 118
3651 CONST shift, and go to state 91
3652 NAME shift, and go to state 92
3653 PNAME shift, and go to state 93
3654 SND shift, and go to state 94
3655 '-' shift, and go to state 95
3656 '~' shift, and go to state 96
3657 '(' shift, and go to state 122
3659 cexpr go to state 98
3660 varref go to state 99
3661 pfld go to state 100
3662 cmpnd go to state 101
3663 expr go to state 295
3664 Expr go to state 296
3665 Probe go to state 135
3670 189 Expr: Expr OR . Expr
3671 190 | Expr OR . expr
3673 C_EXPR shift, and go to state 84
3674 RUN shift, and go to state 85
3675 LEN shift, and go to state 86
3676 ENABLED shift, and go to state 87
3677 PC_VAL shift, and go to state 88
3678 TIMEOUT shift, and go to state 89
3679 NONPROGRESS shift, and go to state 90
3680 FULL shift, and go to state 115
3681 EMPTY shift, and go to state 116
3682 NFULL shift, and go to state 117
3683 NEMPTY shift, and go to state 118
3684 CONST shift, and go to state 91
3685 NAME shift, and go to state 92
3686 PNAME shift, and go to state 93
3687 SND shift, and go to state 94
3688 '-' shift, and go to state 95
3689 '~' shift, and go to state 96
3690 '(' shift, and go to state 122
3692 cexpr go to state 98
3693 varref go to state 99
3694 pfld go to state 100
3695 cmpnd go to state 101
3696 expr go to state 297
3697 Expr go to state 298
3698 Probe go to state 135
3703 187 Expr: Expr AND . Expr
3704 188 | Expr AND . expr
3706 C_EXPR shift, and go to state 84
3707 RUN shift, and go to state 85
3708 LEN shift, and go to state 86
3709 ENABLED shift, and go to state 87
3710 PC_VAL shift, and go to state 88
3711 TIMEOUT shift, and go to state 89
3712 NONPROGRESS shift, and go to state 90
3713 FULL shift, and go to state 115
3714 EMPTY shift, and go to state 116
3715 NFULL shift, and go to state 117
3716 NEMPTY shift, and go to state 118
3717 CONST shift, and go to state 91
3718 NAME shift, and go to state 92
3719 PNAME shift, and go to state 93
3720 SND shift, and go to state 94
3721 '-' shift, and go to state 95
3722 '~' shift, and go to state 96
3723 '(' shift, and go to state 122
3725 cexpr go to state 98
3726 varref go to state 99
3727 pfld go to state 100
3728 cmpnd go to state 101
3729 expr go to state 299
3730 Expr go to state 300
3731 Probe go to state 135
3738 $default reduce using rule 67 (decl)
3743 16 proc: inst proctype NAME @1 '(' decl . ')' @2 Opt_priority Opt_enabler body
3745 ')' shift, and go to state 301
3750 78 vardcl: NAME '[' CONST ']' .
3752 $default reduce using rule 78 (vardcl)
3757 219 nlst: nlst NAME .
3759 $default reduce using rule 219 (nlst)
3764 63 one_decl: vis TYPE asgn '{' nlst '}' .
3766 $default reduce using rule 63 (one_decl)
3771 220 nlst: nlst ',' .
3773 $default reduce using rule 220 (nlst)
3778 75 ch_init: '[' CONST . ']' OF '{' typ_list '}'
3780 ']' shift, and go to state 302
3785 65 decl_lst: one_decl SEMI decl_lst .
3787 $default reduce using rule 65 (decl_lst)
3792 161 expr: RUN aname @26 . '(' args ')' Opt_priority
3794 '(' shift, and go to state 303
3799 162 expr: LEN '(' varref . ')'
3801 ')' shift, and go to state 304
3806 138 expr: expr . '+' expr
3807 139 | expr . '-' expr
3808 140 | expr . '*' expr
3809 141 | expr . '/' expr
3810 142 | expr . '%' expr
3811 143 | expr . '&' expr
3812 144 | expr . '^' expr
3813 145 | expr . '|' expr
3814 146 | expr . GT expr
3815 147 | expr . LT expr
3816 148 | expr . GE expr
3817 149 | expr . LE expr
3818 150 | expr . EQ expr
3819 151 | expr . NE expr
3820 152 | expr . AND expr
3821 153 | expr . OR expr
3822 154 | expr . LSHIFT expr
3823 155 | expr . RSHIFT expr
3824 163 | ENABLED '(' expr . ')'
3826 OR shift, and go to state 164
3827 AND shift, and go to state 165
3828 '|' shift, and go to state 166
3829 '^' shift, and go to state 167
3830 '&' shift, and go to state 168
3831 NE shift, and go to state 169
3832 EQ shift, and go to state 170
3833 LE shift, and go to state 171
3834 GE shift, and go to state 172
3835 LT shift, and go to state 173
3836 GT shift, and go to state 174
3837 RSHIFT shift, and go to state 175
3838 LSHIFT shift, and go to state 176
3839 '+' shift, and go to state 177
3840 '-' shift, and go to state 178
3841 '*' shift, and go to state 179
3842 '/' shift, and go to state 180
3843 '%' shift, and go to state 181
3844 ')' shift, and go to state 305
3849 138 expr: expr . '+' expr
3850 139 | expr . '-' expr
3851 140 | expr . '*' expr
3852 141 | expr . '/' expr
3853 142 | expr . '%' expr
3854 143 | expr . '&' expr
3855 144 | expr . '^' expr
3856 145 | expr . '|' expr
3857 146 | expr . GT expr
3858 147 | expr . LT expr
3859 148 | expr . GE expr
3860 149 | expr . LE expr
3861 150 | expr . EQ expr
3862 151 | expr . NE expr
3863 152 | expr . AND expr
3864 153 | expr . OR expr
3865 154 | expr . LSHIFT expr
3866 155 | expr . RSHIFT expr
3867 173 | PC_VAL '(' expr . ')'
3869 OR shift, and go to state 164
3870 AND shift, and go to state 165
3871 '|' shift, and go to state 166
3872 '^' shift, and go to state 167
3873 '&' shift, and go to state 168
3874 NE shift, and go to state 169
3875 EQ shift, and go to state 170
3876 LE shift, and go to state 171
3877 GE shift, and go to state 172
3878 LT shift, and go to state 173
3879 GT shift, and go to state 174
3880 RSHIFT shift, and go to state 175
3881 LSHIFT shift, and go to state 176
3882 '+' shift, and go to state 177
3883 '-' shift, and go to state 178
3884 '*' shift, and go to state 179
3885 '/' shift, and go to state 180
3886 '%' shift, and go to state 181
3887 ')' shift, and go to state 306
3892 82 pfld: NAME @10 '[' . expr ']'
3894 C_EXPR shift, and go to state 84
3895 RUN shift, and go to state 85
3896 LEN shift, and go to state 86
3897 ENABLED shift, and go to state 87
3898 PC_VAL shift, and go to state 88
3899 TIMEOUT shift, and go to state 89
3900 NONPROGRESS shift, and go to state 90
3901 CONST shift, and go to state 91
3902 NAME shift, and go to state 92
3903 PNAME shift, and go to state 93
3904 SND shift, and go to state 94
3905 '-' shift, and go to state 95
3906 '~' shift, and go to state 96
3907 '(' shift, and go to state 97
3909 cexpr go to state 98
3910 varref go to state 99
3911 pfld go to state 100
3912 cmpnd go to state 101
3913 expr go to state 307
3918 138 expr: expr . '+' expr
3919 139 | expr . '-' expr
3920 140 | expr . '*' expr
3921 141 | expr . '/' expr
3922 142 | expr . '%' expr
3923 143 | expr . '&' expr
3924 144 | expr . '^' expr
3925 145 | expr . '|' expr
3926 146 | expr . GT expr
3927 147 | expr . LT expr
3928 148 | expr . GE expr
3929 149 | expr . LE expr
3930 150 | expr . EQ expr
3931 151 | expr . NE expr
3932 152 | expr . AND expr
3933 153 | expr . OR expr
3934 154 | expr . LSHIFT expr
3935 155 | expr . RSHIFT expr
3936 174 | PNAME '[' expr . ']' '@' NAME
3937 175 | PNAME '[' expr . ']' ':' pfld
3939 OR shift, and go to state 164
3940 AND shift, and go to state 165
3941 '|' shift, and go to state 166
3942 '^' shift, and go to state 167
3943 '&' shift, and go to state 168
3944 NE shift, and go to state 169
3945 EQ shift, and go to state 170
3946 LE shift, and go to state 171
3947 GE shift, and go to state 172
3948 LT shift, and go to state 173
3949 GT shift, and go to state 174
3950 RSHIFT shift, and go to state 175
3951 LSHIFT shift, and go to state 176
3952 '+' shift, and go to state 177
3953 '-' shift, and go to state 178
3954 '*' shift, and go to state 179
3955 '/' shift, and go to state 180
3956 '%' shift, and go to state 181
3957 ']' shift, and go to state 308
3962 177 expr: PNAME ':' pfld .
3964 $default reduce using rule 177 (expr)
3969 176 expr: PNAME '@' NAME .
3971 $default reduce using rule 176 (expr)
3976 159 expr: '(' expr SEMI . expr ':' expr ')'
3978 C_EXPR shift, and go to state 84
3979 RUN shift, and go to state 85
3980 LEN shift, and go to state 86
3981 ENABLED shift, and go to state 87
3982 PC_VAL shift, and go to state 88
3983 TIMEOUT shift, and go to state 89
3984 NONPROGRESS shift, and go to state 90
3985 CONST shift, and go to state 91
3986 NAME shift, and go to state 92
3987 PNAME shift, and go to state 93
3988 SND shift, and go to state 94
3989 '-' shift, and go to state 95
3990 '~' shift, and go to state 96
3991 '(' shift, and go to state 97
3993 cexpr go to state 98
3994 varref go to state 99
3995 pfld go to state 100
3996 cmpnd go to state 101
3997 expr go to state 309
4002 137 expr: '(' expr ')' .
4004 $default reduce using rule 137 (expr)
4009 167 expr: varref R_RCV @28 . '[' rargs ']'
4011 '[' shift, and go to state 310
4016 165 expr: varref RCV @27 . '[' rargs ']'
4018 '[' shift, and go to state 311
4023 86 sfld: '.' . cmpnd
4025 NAME shift, and go to state 92
4027 pfld go to state 100
4028 cmpnd go to state 312
4033 84 cmpnd: pfld @11 sfld .
4035 $default reduce using rule 84 (cmpnd)
4040 138 expr: expr . '+' expr
4041 139 | expr . '-' expr
4042 140 | expr . '*' expr
4043 141 | expr . '/' expr
4044 142 | expr . '%' expr
4045 143 | expr . '&' expr
4046 144 | expr . '^' expr
4047 145 | expr . '|' expr
4048 146 | expr . GT expr
4049 147 | expr . LT expr
4050 148 | expr . GE expr
4051 149 | expr . LE expr
4052 150 | expr . EQ expr
4053 151 | expr . NE expr
4054 152 | expr . AND expr
4055 153 | expr . OR expr
4056 153 | expr OR expr .
4057 154 | expr . LSHIFT expr
4058 155 | expr . RSHIFT expr
4060 AND shift, and go to state 165
4061 '|' shift, and go to state 166
4062 '^' shift, and go to state 167
4063 '&' shift, and go to state 168
4064 NE shift, and go to state 169
4065 EQ shift, and go to state 170
4066 LE shift, and go to state 171
4067 GE shift, and go to state 172
4068 LT shift, and go to state 173
4069 GT shift, and go to state 174
4070 RSHIFT shift, and go to state 175
4071 LSHIFT shift, and go to state 176
4072 '+' shift, and go to state 177
4073 '-' shift, and go to state 178
4074 '*' shift, and go to state 179
4075 '/' shift, and go to state 180
4076 '%' shift, and go to state 181
4078 $default reduce using rule 153 (expr)
4083 138 expr: expr . '+' expr
4084 139 | expr . '-' expr
4085 140 | expr . '*' expr
4086 141 | expr . '/' expr
4087 142 | expr . '%' expr
4088 143 | expr . '&' expr
4089 144 | expr . '^' expr
4090 145 | expr . '|' expr
4091 146 | expr . GT expr
4092 147 | expr . LT expr
4093 148 | expr . GE expr
4094 149 | expr . LE expr
4095 150 | expr . EQ expr
4096 151 | expr . NE expr
4097 152 | expr . AND expr
4098 152 | expr AND expr .
4099 153 | expr . OR expr
4100 154 | expr . LSHIFT expr
4101 155 | expr . RSHIFT expr
4103 '|' shift, and go to state 166
4104 '^' shift, and go to state 167
4105 '&' shift, and go to state 168
4106 NE shift, and go to state 169
4107 EQ shift, and go to state 170
4108 LE shift, and go to state 171
4109 GE shift, and go to state 172
4110 LT shift, and go to state 173
4111 GT shift, and go to state 174
4112 RSHIFT shift, and go to state 175
4113 LSHIFT shift, and go to state 176
4114 '+' shift, and go to state 177
4115 '-' shift, and go to state 178
4116 '*' shift, and go to state 179
4117 '/' shift, and go to state 180
4118 '%' shift, and go to state 181
4120 $default reduce using rule 152 (expr)
4125 138 expr: expr . '+' expr
4126 139 | expr . '-' expr
4127 140 | expr . '*' expr
4128 141 | expr . '/' expr
4129 142 | expr . '%' expr
4130 143 | expr . '&' expr
4131 144 | expr . '^' expr
4132 145 | expr . '|' expr
4133 145 | expr '|' expr .
4134 146 | expr . GT expr
4135 147 | expr . LT expr
4136 148 | expr . GE expr
4137 149 | expr . LE expr
4138 150 | expr . EQ expr
4139 151 | expr . NE expr
4140 152 | expr . AND expr
4141 153 | expr . OR expr
4142 154 | expr . LSHIFT expr
4143 155 | expr . RSHIFT expr
4145 '^' shift, and go to state 167
4146 '&' shift, and go to state 168
4147 NE shift, and go to state 169
4148 EQ shift, and go to state 170
4149 LE shift, and go to state 171
4150 GE shift, and go to state 172
4151 LT shift, and go to state 173
4152 GT shift, and go to state 174
4153 RSHIFT shift, and go to state 175
4154 LSHIFT shift, and go to state 176
4155 '+' shift, and go to state 177
4156 '-' shift, and go to state 178
4157 '*' shift, and go to state 179
4158 '/' shift, and go to state 180
4159 '%' shift, and go to state 181
4161 $default reduce using rule 145 (expr)
4166 138 expr: expr . '+' expr
4167 139 | expr . '-' expr
4168 140 | expr . '*' expr
4169 141 | expr . '/' expr
4170 142 | expr . '%' expr
4171 143 | expr . '&' expr
4172 144 | expr . '^' expr
4173 144 | expr '^' expr .
4174 145 | expr . '|' expr
4175 146 | expr . GT expr
4176 147 | expr . LT expr
4177 148 | expr . GE expr
4178 149 | expr . LE expr
4179 150 | expr . EQ expr
4180 151 | expr . NE expr
4181 152 | expr . AND expr
4182 153 | expr . OR expr
4183 154 | expr . LSHIFT expr
4184 155 | expr . RSHIFT expr
4186 '&' shift, and go to state 168
4187 NE shift, and go to state 169
4188 EQ shift, and go to state 170
4189 LE shift, and go to state 171
4190 GE shift, and go to state 172
4191 LT shift, and go to state 173
4192 GT shift, and go to state 174
4193 RSHIFT shift, and go to state 175
4194 LSHIFT shift, and go to state 176
4195 '+' shift, and go to state 177
4196 '-' shift, and go to state 178
4197 '*' shift, and go to state 179
4198 '/' shift, and go to state 180
4199 '%' shift, and go to state 181
4201 $default reduce using rule 144 (expr)
4206 138 expr: expr . '+' expr
4207 139 | expr . '-' expr
4208 140 | expr . '*' expr
4209 141 | expr . '/' expr
4210 142 | expr . '%' expr
4211 143 | expr . '&' expr
4212 143 | expr '&' expr .
4213 144 | expr . '^' expr
4214 145 | expr . '|' expr
4215 146 | expr . GT expr
4216 147 | expr . LT expr
4217 148 | expr . GE expr
4218 149 | expr . LE expr
4219 150 | expr . EQ expr
4220 151 | expr . NE expr
4221 152 | expr . AND expr
4222 153 | expr . OR expr
4223 154 | expr . LSHIFT expr
4224 155 | expr . RSHIFT expr
4226 NE shift, and go to state 169
4227 EQ shift, and go to state 170
4228 LE shift, and go to state 171
4229 GE shift, and go to state 172
4230 LT shift, and go to state 173
4231 GT shift, and go to state 174
4232 RSHIFT shift, and go to state 175
4233 LSHIFT shift, and go to state 176
4234 '+' shift, and go to state 177
4235 '-' shift, and go to state 178
4236 '*' shift, and go to state 179
4237 '/' shift, and go to state 180
4238 '%' shift, and go to state 181
4240 $default reduce using rule 143 (expr)
4245 138 expr: expr . '+' expr
4246 139 | expr . '-' expr
4247 140 | expr . '*' expr
4248 141 | expr . '/' expr
4249 142 | expr . '%' expr
4250 143 | expr . '&' expr
4251 144 | expr . '^' expr
4252 145 | expr . '|' expr
4253 146 | expr . GT expr
4254 147 | expr . LT expr
4255 148 | expr . GE expr
4256 149 | expr . LE expr
4257 150 | expr . EQ expr
4258 151 | expr . NE expr
4259 151 | expr NE expr .
4260 152 | expr . AND expr
4261 153 | expr . OR expr
4262 154 | expr . LSHIFT expr
4263 155 | expr . RSHIFT expr
4265 LE shift, and go to state 171
4266 GE shift, and go to state 172
4267 LT shift, and go to state 173
4268 GT shift, and go to state 174
4269 RSHIFT shift, and go to state 175
4270 LSHIFT shift, and go to state 176
4271 '+' shift, and go to state 177
4272 '-' shift, and go to state 178
4273 '*' shift, and go to state 179
4274 '/' shift, and go to state 180
4275 '%' shift, and go to state 181
4277 $default reduce using rule 151 (expr)
4282 138 expr: expr . '+' expr
4283 139 | expr . '-' expr
4284 140 | expr . '*' expr
4285 141 | expr . '/' expr
4286 142 | expr . '%' expr
4287 143 | expr . '&' expr
4288 144 | expr . '^' expr
4289 145 | expr . '|' expr
4290 146 | expr . GT expr
4291 147 | expr . LT expr
4292 148 | expr . GE expr
4293 149 | expr . LE expr
4294 150 | expr . EQ expr
4295 150 | expr EQ expr .
4296 151 | expr . NE expr
4297 152 | expr . AND expr
4298 153 | expr . OR expr
4299 154 | expr . LSHIFT expr
4300 155 | expr . RSHIFT expr
4302 LE shift, and go to state 171
4303 GE shift, and go to state 172
4304 LT shift, and go to state 173
4305 GT shift, and go to state 174
4306 RSHIFT shift, and go to state 175
4307 LSHIFT shift, and go to state 176
4308 '+' shift, and go to state 177
4309 '-' shift, and go to state 178
4310 '*' shift, and go to state 179
4311 '/' shift, and go to state 180
4312 '%' shift, and go to state 181
4314 $default reduce using rule 150 (expr)
4319 138 expr: expr . '+' expr
4320 139 | expr . '-' expr
4321 140 | expr . '*' expr
4322 141 | expr . '/' expr
4323 142 | expr . '%' expr
4324 143 | expr . '&' expr
4325 144 | expr . '^' expr
4326 145 | expr . '|' expr
4327 146 | expr . GT expr
4328 147 | expr . LT expr
4329 148 | expr . GE expr
4330 149 | expr . LE expr
4331 149 | expr LE expr .
4332 150 | expr . EQ expr
4333 151 | expr . NE expr
4334 152 | expr . AND expr
4335 153 | expr . OR expr
4336 154 | expr . LSHIFT expr
4337 155 | expr . RSHIFT expr
4339 RSHIFT shift, and go to state 175
4340 LSHIFT shift, and go to state 176
4341 '+' shift, and go to state 177
4342 '-' shift, and go to state 178
4343 '*' shift, and go to state 179
4344 '/' shift, and go to state 180
4345 '%' shift, and go to state 181
4347 $default reduce using rule 149 (expr)
4352 138 expr: expr . '+' expr
4353 139 | expr . '-' expr
4354 140 | expr . '*' expr
4355 141 | expr . '/' expr
4356 142 | expr . '%' expr
4357 143 | expr . '&' expr
4358 144 | expr . '^' expr
4359 145 | expr . '|' expr
4360 146 | expr . GT expr
4361 147 | expr . LT expr
4362 148 | expr . GE expr
4363 148 | expr GE expr .
4364 149 | expr . LE expr
4365 150 | expr . EQ expr
4366 151 | expr . NE expr
4367 152 | expr . AND expr
4368 153 | expr . OR expr
4369 154 | expr . LSHIFT expr
4370 155 | expr . RSHIFT expr
4372 RSHIFT shift, and go to state 175
4373 LSHIFT shift, and go to state 176
4374 '+' shift, and go to state 177
4375 '-' shift, and go to state 178
4376 '*' shift, and go to state 179
4377 '/' shift, and go to state 180
4378 '%' shift, and go to state 181
4380 $default reduce using rule 148 (expr)
4385 138 expr: expr . '+' expr
4386 139 | expr . '-' expr
4387 140 | expr . '*' expr
4388 141 | expr . '/' expr
4389 142 | expr . '%' expr
4390 143 | expr . '&' expr
4391 144 | expr . '^' expr
4392 145 | expr . '|' expr
4393 146 | expr . GT expr
4394 147 | expr . LT expr
4395 147 | expr LT expr .
4396 148 | expr . GE expr
4397 149 | expr . LE expr
4398 150 | expr . EQ expr
4399 151 | expr . NE expr
4400 152 | expr . AND expr
4401 153 | expr . OR expr
4402 154 | expr . LSHIFT expr
4403 155 | expr . RSHIFT expr
4405 RSHIFT shift, and go to state 175
4406 LSHIFT shift, and go to state 176
4407 '+' shift, and go to state 177
4408 '-' shift, and go to state 178
4409 '*' shift, and go to state 179
4410 '/' shift, and go to state 180
4411 '%' shift, and go to state 181
4413 $default reduce using rule 147 (expr)
4418 138 expr: expr . '+' expr
4419 139 | expr . '-' expr
4420 140 | expr . '*' expr
4421 141 | expr . '/' expr
4422 142 | expr . '%' expr
4423 143 | expr . '&' expr
4424 144 | expr . '^' expr
4425 145 | expr . '|' expr
4426 146 | expr . GT expr
4427 146 | expr GT expr .
4428 147 | expr . LT expr
4429 148 | expr . GE expr
4430 149 | expr . LE expr
4431 150 | expr . EQ expr
4432 151 | expr . NE expr
4433 152 | expr . AND expr
4434 153 | expr . OR expr
4435 154 | expr . LSHIFT expr
4436 155 | expr . RSHIFT expr
4438 RSHIFT shift, and go to state 175
4439 LSHIFT shift, and go to state 176
4440 '+' shift, and go to state 177
4441 '-' shift, and go to state 178
4442 '*' shift, and go to state 179
4443 '/' shift, and go to state 180
4444 '%' shift, and go to state 181
4446 $default reduce using rule 146 (expr)
4451 138 expr: expr . '+' expr
4452 139 | expr . '-' expr
4453 140 | expr . '*' expr
4454 141 | expr . '/' expr
4455 142 | expr . '%' expr
4456 143 | expr . '&' expr
4457 144 | expr . '^' expr
4458 145 | expr . '|' expr
4459 146 | expr . GT expr
4460 147 | expr . LT expr
4461 148 | expr . GE expr
4462 149 | expr . LE expr
4463 150 | expr . EQ expr
4464 151 | expr . NE expr
4465 152 | expr . AND expr
4466 153 | expr . OR expr
4467 154 | expr . LSHIFT expr
4468 155 | expr . RSHIFT expr
4469 155 | expr RSHIFT expr .
4471 '+' shift, and go to state 177
4472 '-' shift, and go to state 178
4473 '*' shift, and go to state 179
4474 '/' shift, and go to state 180
4475 '%' shift, and go to state 181
4477 $default reduce using rule 155 (expr)
4482 138 expr: expr . '+' expr
4483 139 | expr . '-' expr
4484 140 | expr . '*' expr
4485 141 | expr . '/' expr
4486 142 | expr . '%' expr
4487 143 | expr . '&' expr
4488 144 | expr . '^' expr
4489 145 | expr . '|' expr
4490 146 | expr . GT expr
4491 147 | expr . LT expr
4492 148 | expr . GE expr
4493 149 | expr . LE expr
4494 150 | expr . EQ expr
4495 151 | expr . NE expr
4496 152 | expr . AND expr
4497 153 | expr . OR expr
4498 154 | expr . LSHIFT expr
4499 154 | expr LSHIFT expr .
4500 155 | expr . RSHIFT expr
4502 '+' shift, and go to state 177
4503 '-' shift, and go to state 178
4504 '*' shift, and go to state 179
4505 '/' shift, and go to state 180
4506 '%' shift, and go to state 181
4508 $default reduce using rule 154 (expr)
4513 138 expr: expr . '+' expr
4514 138 | expr '+' expr .
4515 139 | expr . '-' expr
4516 140 | expr . '*' expr
4517 141 | expr . '/' expr
4518 142 | expr . '%' expr
4519 143 | expr . '&' expr
4520 144 | expr . '^' expr
4521 145 | expr . '|' expr
4522 146 | expr . GT expr
4523 147 | expr . LT expr
4524 148 | expr . GE expr
4525 149 | expr . LE expr
4526 150 | expr . EQ expr
4527 151 | expr . NE expr
4528 152 | expr . AND expr
4529 153 | expr . OR expr
4530 154 | expr . LSHIFT expr
4531 155 | expr . RSHIFT expr
4533 '*' shift, and go to state 179
4534 '/' shift, and go to state 180
4535 '%' shift, and go to state 181
4537 $default reduce using rule 138 (expr)
4542 138 expr: expr . '+' expr
4543 139 | expr . '-' expr
4544 139 | expr '-' expr .
4545 140 | expr . '*' expr
4546 141 | expr . '/' expr
4547 142 | expr . '%' expr
4548 143 | expr . '&' expr
4549 144 | expr . '^' expr
4550 145 | expr . '|' expr
4551 146 | expr . GT expr
4552 147 | expr . LT expr
4553 148 | expr . GE expr
4554 149 | expr . LE expr
4555 150 | expr . EQ expr
4556 151 | expr . NE expr
4557 152 | expr . AND expr
4558 153 | expr . OR expr
4559 154 | expr . LSHIFT expr
4560 155 | expr . RSHIFT expr
4562 '*' shift, and go to state 179
4563 '/' shift, and go to state 180
4564 '%' shift, and go to state 181
4566 $default reduce using rule 139 (expr)
4571 138 expr: expr . '+' expr
4572 139 | expr . '-' expr
4573 140 | expr . '*' expr
4574 140 | expr '*' expr .
4575 141 | expr . '/' expr
4576 142 | expr . '%' expr
4577 143 | expr . '&' expr
4578 144 | expr . '^' expr
4579 145 | expr . '|' expr
4580 146 | expr . GT expr
4581 147 | expr . LT expr
4582 148 | expr . GE expr
4583 149 | expr . LE expr
4584 150 | expr . EQ expr
4585 151 | expr . NE expr
4586 152 | expr . AND expr
4587 153 | expr . OR expr
4588 154 | expr . LSHIFT expr
4589 155 | expr . RSHIFT expr
4591 $default reduce using rule 140 (expr)
4596 138 expr: expr . '+' expr
4597 139 | expr . '-' expr
4598 140 | expr . '*' expr
4599 141 | expr . '/' expr
4600 141 | expr '/' expr .
4601 142 | expr . '%' expr
4602 143 | expr . '&' expr
4603 144 | expr . '^' expr
4604 145 | expr . '|' expr
4605 146 | expr . GT expr
4606 147 | expr . LT expr
4607 148 | expr . GE expr
4608 149 | expr . LE expr
4609 150 | expr . EQ expr
4610 151 | expr . NE expr
4611 152 | expr . AND expr
4612 153 | expr . OR expr
4613 154 | expr . LSHIFT expr
4614 155 | expr . RSHIFT expr
4616 $default reduce using rule 141 (expr)
4621 138 expr: expr . '+' expr
4622 139 | expr . '-' expr
4623 140 | expr . '*' expr
4624 141 | expr . '/' expr
4625 142 | expr . '%' expr
4626 142 | expr '%' expr .
4627 143 | expr . '&' expr
4628 144 | expr . '^' expr
4629 145 | expr . '|' expr
4630 146 | expr . GT expr
4631 147 | expr . LT expr
4632 148 | expr . GE expr
4633 149 | expr . LE expr
4634 150 | expr . EQ expr
4635 151 | expr . NE expr
4636 152 | expr . AND expr
4637 153 | expr . OR expr
4638 154 | expr . LSHIFT expr
4639 155 | expr . RSHIFT expr
4641 $default reduce using rule 142 (expr)
4646 209 arg: expr ',' arg .
4648 $default reduce using rule 209 (arg)
4653 103 Stmnt: PRINT '(' STRING . @15 prargs ')'
4655 $default reduce using rule 102 (@15)
4662 105 Stmnt: PRINTM '(' CONST . ')'
4664 ')' shift, and go to state 314
4669 104 Stmnt: PRINTM '(' varref . ')'
4671 ')' shift, and go to state 315
4676 130 option: SEP @25 . sequence OS
4678 ASSERT shift, and go to state 105
4679 PRINT shift, and go to state 106
4680 PRINTM shift, and go to state 107
4681 C_CODE shift, and go to state 2
4682 C_DECL shift, and go to state 3
4683 C_EXPR shift, and go to state 84
4684 RUN shift, and go to state 85
4685 LEN shift, and go to state 86
4686 ENABLED shift, and go to state 87
4687 PC_VAL shift, and go to state 88
4688 GOTO shift, and go to state 108
4689 BREAK shift, and go to state 109
4690 ELSE shift, and go to state 110
4691 IF shift, and go to state 111
4692 DO shift, and go to state 112
4693 ATOMIC shift, and go to state 113
4694 D_STEP shift, and go to state 114
4695 TIMEOUT shift, and go to state 89
4696 NONPROGRESS shift, and go to state 90
4697 HIDDEN shift, and go to state 10
4698 SHOW shift, and go to state 11
4699 ISLOCAL shift, and go to state 12
4700 FULL shift, and go to state 115
4701 EMPTY shift, and go to state 116
4702 NFULL shift, and go to state 117
4703 NEMPTY shift, and go to state 118
4704 CONST shift, and go to state 91
4705 XU shift, and go to state 119
4706 NAME shift, and go to state 120
4707 PNAME shift, and go to state 93
4708 INAME shift, and go to state 121
4709 SND shift, and go to state 94
4710 '-' shift, and go to state 95
4711 '~' shift, and go to state 96
4712 '(' shift, and go to state 122
4713 '{' shift, and go to state 123
4715 $default reduce using rule 55 (vis)
4717 ccode go to state 124
4718 cexpr go to state 98
4719 sequence go to state 316
4720 step go to state 126
4722 one_decl go to state 127
4723 varref go to state 128
4724 pfld go to state 100
4725 cmpnd go to state 101
4726 stmnt go to state 129
4727 Special go to state 130
4728 Stmnt go to state 131
4729 expr go to state 132
4730 full_expr go to state 133
4731 Expr go to state 134
4732 Probe go to state 135
4737 93 Special: IF options FI .
4739 $default reduce using rule 93 (Special)
4744 128 options: option options .
4746 $default reduce using rule 128 (options)
4751 95 Special: DO @14 options . OD
4753 OD shift, and go to state 317
4758 119 Stmnt: ATOMIC '{' @20 . sequence OS '}'
4760 ASSERT shift, and go to state 105
4761 PRINT shift, and go to state 106
4762 PRINTM shift, and go to state 107
4763 C_CODE shift, and go to state 2
4764 C_DECL shift, and go to state 3
4765 C_EXPR shift, and go to state 84
4766 RUN shift, and go to state 85
4767 LEN shift, and go to state 86
4768 ENABLED shift, and go to state 87
4769 PC_VAL shift, and go to state 88
4770 GOTO shift, and go to state 108
4771 BREAK shift, and go to state 109
4772 ELSE shift, and go to state 110
4773 IF shift, and go to state 111
4774 DO shift, and go to state 112
4775 ATOMIC shift, and go to state 113
4776 D_STEP shift, and go to state 114
4777 TIMEOUT shift, and go to state 89
4778 NONPROGRESS shift, and go to state 90
4779 HIDDEN shift, and go to state 10
4780 SHOW shift, and go to state 11
4781 ISLOCAL shift, and go to state 12
4782 FULL shift, and go to state 115
4783 EMPTY shift, and go to state 116
4784 NFULL shift, and go to state 117
4785 NEMPTY shift, and go to state 118
4786 CONST shift, and go to state 91
4787 XU shift, and go to state 119
4788 NAME shift, and go to state 120
4789 PNAME shift, and go to state 93
4790 INAME shift, and go to state 121
4791 SND shift, and go to state 94
4792 '-' shift, and go to state 95
4793 '~' shift, and go to state 96
4794 '(' shift, and go to state 122
4795 '{' shift, and go to state 123
4797 $default reduce using rule 55 (vis)
4799 ccode go to state 124
4800 cexpr go to state 98
4801 sequence go to state 318
4802 step go to state 126
4804 one_decl go to state 127
4805 varref go to state 128
4806 pfld go to state 100
4807 cmpnd go to state 101
4808 stmnt go to state 129
4809 Special go to state 130
4810 Stmnt go to state 131
4811 expr go to state 132
4812 full_expr go to state 133
4813 Expr go to state 134
4814 Probe go to state 135
4819 121 Stmnt: D_STEP '{' @21 . sequence OS '}'
4821 ASSERT shift, and go to state 105
4822 PRINT shift, and go to state 106
4823 PRINTM shift, and go to state 107
4824 C_CODE shift, and go to state 2
4825 C_DECL shift, and go to state 3
4826 C_EXPR shift, and go to state 84
4827 RUN shift, and go to state 85
4828 LEN shift, and go to state 86
4829 ENABLED shift, and go to state 87
4830 PC_VAL shift, and go to state 88
4831 GOTO shift, and go to state 108
4832 BREAK shift, and go to state 109
4833 ELSE shift, and go to state 110
4834 IF shift, and go to state 111
4835 DO shift, and go to state 112
4836 ATOMIC shift, and go to state 113
4837 D_STEP shift, and go to state 114
4838 TIMEOUT shift, and go to state 89
4839 NONPROGRESS shift, and go to state 90
4840 HIDDEN shift, and go to state 10
4841 SHOW shift, and go to state 11
4842 ISLOCAL shift, and go to state 12
4843 FULL shift, and go to state 115
4844 EMPTY shift, and go to state 116
4845 NFULL shift, and go to state 117
4846 NEMPTY shift, and go to state 118
4847 CONST shift, and go to state 91
4848 XU shift, and go to state 119
4849 NAME shift, and go to state 120
4850 PNAME shift, and go to state 93
4851 INAME shift, and go to state 121
4852 SND shift, and go to state 94
4853 '-' shift, and go to state 95
4854 '~' shift, and go to state 96
4855 '(' shift, and go to state 122
4856 '{' shift, and go to state 123
4858 $default reduce using rule 55 (vis)
4860 ccode go to state 124
4861 cexpr go to state 98
4862 sequence go to state 319
4863 step go to state 126
4865 one_decl go to state 127
4866 varref go to state 128
4867 pfld go to state 100
4868 cmpnd go to state 101
4869 stmnt go to state 129
4870 Special go to state 130
4871 Stmnt go to state 131
4872 expr go to state 132
4873 full_expr go to state 133
4874 Expr go to state 134
4875 Probe go to state 135
4880 193 Probe: FULL '(' varref . ')'
4882 ')' shift, and go to state 320
4887 195 Probe: EMPTY '(' varref . ')'
4889 ')' shift, and go to state 321
4894 194 Probe: NFULL '(' varref . ')'
4896 ')' shift, and go to state 322
4901 196 Probe: NEMPTY '(' varref . ')'
4903 ')' shift, and go to state 323
4908 69 vref_lst: varref ',' . vref_lst
4910 NAME shift, and go to state 92
4912 vref_lst go to state 324
4913 varref go to state 199
4914 pfld go to state 100
4915 cmpnd go to state 101
4920 52 step: NAME ':' XU .
4922 $default reduce using rule 52 (step)
4928 82 | NAME . @10 '[' expr ']'
4929 98 Special: NAME . ':' stmnt
4931 ':' shift, and go to state 325
4933 '[' reduce using rule 81 (@10)
4934 $default reduce using rule 80 (pfld)
4941 51 step: NAME ':' one_decl .
4943 $default reduce using rule 51 (step)
4948 98 Special: NAME ':' stmnt .
4950 $default reduce using rule 98 (Special)
4955 126 Stmnt: INAME @23 '(' . args ')' @24 Stmnt
4957 C_EXPR shift, and go to state 84
4958 RUN shift, and go to state 85
4959 LEN shift, and go to state 86
4960 ENABLED shift, and go to state 87
4961 PC_VAL shift, and go to state 88
4962 TIMEOUT shift, and go to state 89
4963 NONPROGRESS shift, and go to state 90
4964 CONST shift, and go to state 91
4965 NAME shift, and go to state 92
4966 PNAME shift, and go to state 93
4967 SND shift, and go to state 94
4968 '-' shift, and go to state 95
4969 '~' shift, and go to state 96
4970 '(' shift, and go to state 97
4972 $default reduce using rule 202 (args)
4974 cexpr go to state 98
4975 varref go to state 99
4976 pfld go to state 100
4977 cmpnd go to state 101
4978 expr go to state 102
4979 args go to state 326
4985 186 Expr: '(' Expr ')' .
4987 $default reduce using rule 186 (Expr)
4992 48 sequence: sequence . MS step
4993 123 Stmnt: '{' @22 sequence . OS '}'
4995 SEMI shift, and go to state 205
4997 $default reduce using rule 131 (OS)
5005 46 body: '{' @8 sequence OS @9 . '}'
5007 '}' shift, and go to state 328
5014 $default reduce using rule 134 (MS)
5019 48 sequence: sequence MS step .
5021 $default reduce using rule 48 (sequence)
5026 99 Stmnt: varref ASGN expr .
5027 138 expr: expr . '+' expr
5028 139 | expr . '-' expr
5029 140 | expr . '*' expr
5030 141 | expr . '/' expr
5031 142 | expr . '%' expr
5032 143 | expr . '&' expr
5033 144 | expr . '^' expr
5034 145 | expr . '|' expr
5035 146 | expr . GT expr
5036 147 | expr . LT expr
5037 148 | expr . GE expr
5038 149 | expr . LE expr
5039 150 | expr . EQ expr
5040 151 | expr . NE expr
5041 152 | expr . AND expr
5042 153 | expr . OR expr
5043 154 | expr . LSHIFT expr
5044 155 | expr . RSHIFT expr
5046 OR shift, and go to state 164
5047 AND shift, and go to state 165
5048 '|' shift, and go to state 166
5049 '^' shift, and go to state 167
5050 '&' shift, and go to state 168
5051 NE shift, and go to state 169
5052 EQ shift, and go to state 170
5053 LE shift, and go to state 171
5054 GE shift, and go to state 172
5055 LT shift, and go to state 173
5056 GT shift, and go to state 174
5057 RSHIFT shift, and go to state 175
5058 LSHIFT shift, and go to state 176
5059 '+' shift, and go to state 177
5060 '-' shift, and go to state 178
5061 '*' shift, and go to state 179
5062 '/' shift, and go to state 180
5063 '%' shift, and go to state 181
5065 $default reduce using rule 99 (Stmnt)
5070 109 Stmnt: varref R_RCV @16 . rargs
5072 EVAL shift, and go to state 329
5073 CONST shift, and go to state 330
5074 NAME shift, and go to state 92
5075 '-' shift, and go to state 331
5076 '(' shift, and go to state 332
5078 varref go to state 333
5079 pfld go to state 100
5080 cmpnd go to state 101
5081 rarg go to state 334
5082 rargs go to state 335
5087 113 Stmnt: varref R_RCV @18 . LT rargs GT
5089 LT shift, and go to state 336
5094 90 Special: varref RCV @12 . rargs
5096 EVAL shift, and go to state 329
5097 CONST shift, and go to state 330
5098 NAME shift, and go to state 92
5099 '-' shift, and go to state 331
5100 '(' shift, and go to state 332
5102 varref go to state 333
5103 pfld go to state 100
5104 cmpnd go to state 101
5105 rarg go to state 334
5106 rargs go to state 337
5111 111 Stmnt: varref RCV @17 . LT rargs GT
5113 LT shift, and go to state 338
5118 115 Stmnt: varref O_SND @19 . margs
5120 C_EXPR shift, and go to state 84
5121 RUN shift, and go to state 85
5122 LEN shift, and go to state 86
5123 ENABLED shift, and go to state 87
5124 PC_VAL shift, and go to state 88
5125 TIMEOUT shift, and go to state 89
5126 NONPROGRESS shift, and go to state 90
5127 CONST shift, and go to state 91
5128 NAME shift, and go to state 92
5129 PNAME shift, and go to state 93
5130 SND shift, and go to state 94
5131 '-' shift, and go to state 95
5132 '~' shift, and go to state 96
5133 '(' shift, and go to state 97
5135 cexpr go to state 98
5136 varref go to state 99
5137 pfld go to state 100
5138 cmpnd go to state 101
5139 expr go to state 339
5140 margs go to state 340
5146 92 Special: varref SND @13 . margs
5148 C_EXPR shift, and go to state 84
5149 RUN shift, and go to state 85
5150 LEN shift, and go to state 86
5151 ENABLED shift, and go to state 87
5152 PC_VAL shift, and go to state 88
5153 TIMEOUT shift, and go to state 89
5154 NONPROGRESS shift, and go to state 90
5155 CONST shift, and go to state 91
5156 NAME shift, and go to state 92
5157 PNAME shift, and go to state 93
5158 SND shift, and go to state 94
5159 '-' shift, and go to state 95
5160 '~' shift, and go to state 96
5161 '(' shift, and go to state 97
5163 cexpr go to state 98
5164 varref go to state 99
5165 pfld go to state 100
5166 cmpnd go to state 101
5167 expr go to state 339
5168 margs go to state 342
5174 54 step: stmnt UNLESS stmnt .
5176 $default reduce using rule 54 (step)
5181 138 expr: expr . '+' expr
5182 139 | expr . '-' expr
5183 140 | expr . '*' expr
5184 141 | expr . '/' expr
5185 142 | expr . '%' expr
5186 143 | expr . '&' expr
5187 144 | expr . '^' expr
5188 145 | expr . '|' expr
5189 146 | expr . GT expr
5190 147 | expr . LT expr
5191 148 | expr . GE expr
5192 149 | expr . LE expr
5193 150 | expr . EQ expr
5194 151 | expr . NE expr
5195 152 | expr . AND expr
5196 153 | expr . OR expr
5197 153 | expr OR expr .
5198 154 | expr . LSHIFT expr
5199 155 | expr . RSHIFT expr
5200 191 Expr: expr . AND Expr
5201 192 | expr . OR Expr
5203 AND shift, and go to state 217
5204 '|' shift, and go to state 166
5205 '^' shift, and go to state 167
5206 '&' shift, and go to state 168
5207 NE shift, and go to state 169
5208 EQ shift, and go to state 170
5209 LE shift, and go to state 171
5210 GE shift, and go to state 172
5211 LT shift, and go to state 173
5212 GT shift, and go to state 174
5213 RSHIFT shift, and go to state 175
5214 LSHIFT shift, and go to state 176
5215 '+' shift, and go to state 177
5216 '-' shift, and go to state 178
5217 '*' shift, and go to state 179
5218 '/' shift, and go to state 180
5219 '%' shift, and go to state 181
5221 $default reduce using rule 153 (expr)
5226 187 Expr: Expr . AND Expr
5227 188 | Expr . AND expr
5228 189 | Expr . OR Expr
5229 190 | Expr . OR expr
5230 192 | expr OR Expr .
5232 AND shift, and go to state 219
5234 $default reduce using rule 192 (Expr)
5239 138 expr: expr . '+' expr
5240 139 | expr . '-' expr
5241 140 | expr . '*' expr
5242 141 | expr . '/' expr
5243 142 | expr . '%' expr
5244 143 | expr . '&' expr
5245 144 | expr . '^' expr
5246 145 | expr . '|' expr
5247 146 | expr . GT expr
5248 147 | expr . LT expr
5249 148 | expr . GE expr
5250 149 | expr . LE expr
5251 150 | expr . EQ expr
5252 151 | expr . NE expr
5253 152 | expr . AND expr
5254 152 | expr AND expr .
5255 153 | expr . OR expr
5256 154 | expr . LSHIFT expr
5257 155 | expr . RSHIFT expr
5258 191 Expr: expr . AND Expr
5259 192 | expr . OR Expr
5261 '|' shift, and go to state 166
5262 '^' shift, and go to state 167
5263 '&' shift, and go to state 168
5264 NE shift, and go to state 169
5265 EQ shift, and go to state 170
5266 LE shift, and go to state 171
5267 GE shift, and go to state 172
5268 LT shift, and go to state 173
5269 GT shift, and go to state 174
5270 RSHIFT shift, and go to state 175
5271 LSHIFT shift, and go to state 176
5272 '+' shift, and go to state 177
5273 '-' shift, and go to state 178
5274 '*' shift, and go to state 179
5275 '/' shift, and go to state 180
5276 '%' shift, and go to state 181
5278 $default reduce using rule 152 (expr)
5283 187 Expr: Expr . AND Expr
5284 188 | Expr . AND expr
5285 189 | Expr . OR Expr
5286 190 | Expr . OR expr
5287 191 | expr AND Expr .
5289 $default reduce using rule 191 (Expr)
5294 138 expr: expr . '+' expr
5295 139 | expr . '-' expr
5296 140 | expr . '*' expr
5297 141 | expr . '/' expr
5298 142 | expr . '%' expr
5299 143 | expr . '&' expr
5300 144 | expr . '^' expr
5301 145 | expr . '|' expr
5302 146 | expr . GT expr
5303 147 | expr . LT expr
5304 148 | expr . GE expr
5305 149 | expr . LE expr
5306 150 | expr . EQ expr
5307 151 | expr . NE expr
5308 152 | expr . AND expr
5309 153 | expr . OR expr
5310 154 | expr . LSHIFT expr
5311 155 | expr . RSHIFT expr
5312 190 Expr: Expr OR expr .
5313 191 | expr . AND Expr
5314 192 | expr . OR Expr
5316 AND shift, and go to state 217
5317 '|' shift, and go to state 166
5318 '^' shift, and go to state 167
5319 '&' shift, and go to state 168
5320 NE shift, and go to state 169
5321 EQ shift, and go to state 170
5322 LE shift, and go to state 171
5323 GE shift, and go to state 172
5324 LT shift, and go to state 173
5325 GT shift, and go to state 174
5326 RSHIFT shift, and go to state 175
5327 LSHIFT shift, and go to state 176
5328 '+' shift, and go to state 177
5329 '-' shift, and go to state 178
5330 '*' shift, and go to state 179
5331 '/' shift, and go to state 180
5332 '%' shift, and go to state 181
5334 $default reduce using rule 190 (Expr)
5339 187 Expr: Expr . AND Expr
5340 188 | Expr . AND expr
5341 189 | Expr . OR Expr
5342 189 | Expr OR Expr .
5343 190 | Expr . OR expr
5345 AND shift, and go to state 219
5347 $default reduce using rule 189 (Expr)
5352 138 expr: expr . '+' expr
5353 139 | expr . '-' expr
5354 140 | expr . '*' expr
5355 141 | expr . '/' expr
5356 142 | expr . '%' expr
5357 143 | expr . '&' expr
5358 144 | expr . '^' expr
5359 145 | expr . '|' expr
5360 146 | expr . GT expr
5361 147 | expr . LT expr
5362 148 | expr . GE expr
5363 149 | expr . LE expr
5364 150 | expr . EQ expr
5365 151 | expr . NE expr
5366 152 | expr . AND expr
5367 153 | expr . OR expr
5368 154 | expr . LSHIFT expr
5369 155 | expr . RSHIFT expr
5370 188 Expr: Expr AND expr .
5371 191 | expr . AND Expr
5372 192 | expr . OR Expr
5374 '|' shift, and go to state 166
5375 '^' shift, and go to state 167
5376 '&' shift, and go to state 168
5377 NE shift, and go to state 169
5378 EQ shift, and go to state 170
5379 LE shift, and go to state 171
5380 GE shift, and go to state 172
5381 LT shift, and go to state 173
5382 GT shift, and go to state 174
5383 RSHIFT shift, and go to state 175
5384 LSHIFT shift, and go to state 176
5385 '+' shift, and go to state 177
5386 '-' shift, and go to state 178
5387 '*' shift, and go to state 179
5388 '/' shift, and go to state 180
5389 '%' shift, and go to state 181
5391 $default reduce using rule 188 (Expr)
5396 187 Expr: Expr . AND Expr
5397 187 | Expr AND Expr .
5398 188 | Expr . AND expr
5399 189 | Expr . OR Expr
5400 190 | Expr . OR expr
5402 $default reduce using rule 187 (Expr)
5407 16 proc: inst proctype NAME @1 '(' decl ')' . @2 Opt_priority Opt_enabler body
5409 $default reduce using rule 15 (@2)
5416 75 ch_init: '[' CONST ']' . OF '{' typ_list '}'
5418 OF shift, and go to state 344
5423 161 expr: RUN aname @26 '(' . args ')' Opt_priority
5425 C_EXPR shift, and go to state 84
5426 RUN shift, and go to state 85
5427 LEN shift, and go to state 86
5428 ENABLED shift, and go to state 87
5429 PC_VAL shift, and go to state 88
5430 TIMEOUT shift, and go to state 89
5431 NONPROGRESS shift, and go to state 90
5432 CONST shift, and go to state 91
5433 NAME shift, and go to state 92
5434 PNAME shift, and go to state 93
5435 SND shift, and go to state 94
5436 '-' shift, and go to state 95
5437 '~' shift, and go to state 96
5438 '(' shift, and go to state 97
5440 $default reduce using rule 202 (args)
5442 cexpr go to state 98
5443 varref go to state 99
5444 pfld go to state 100
5445 cmpnd go to state 101
5446 expr go to state 102
5447 args go to state 345
5453 162 expr: LEN '(' varref ')' .
5455 $default reduce using rule 162 (expr)
5460 163 expr: ENABLED '(' expr ')' .
5462 $default reduce using rule 163 (expr)
5467 173 expr: PC_VAL '(' expr ')' .
5469 $default reduce using rule 173 (expr)
5474 82 pfld: NAME @10 '[' expr . ']'
5475 138 expr: expr . '+' expr
5476 139 | expr . '-' expr
5477 140 | expr . '*' expr
5478 141 | expr . '/' expr
5479 142 | expr . '%' expr
5480 143 | expr . '&' expr
5481 144 | expr . '^' expr
5482 145 | expr . '|' expr
5483 146 | expr . GT expr
5484 147 | expr . LT expr
5485 148 | expr . GE expr
5486 149 | expr . LE expr
5487 150 | expr . EQ expr
5488 151 | expr . NE expr
5489 152 | expr . AND expr
5490 153 | expr . OR expr
5491 154 | expr . LSHIFT expr
5492 155 | expr . RSHIFT expr
5494 OR shift, and go to state 164
5495 AND shift, and go to state 165
5496 '|' shift, and go to state 166
5497 '^' shift, and go to state 167
5498 '&' shift, and go to state 168
5499 NE shift, and go to state 169
5500 EQ shift, and go to state 170
5501 LE shift, and go to state 171
5502 GE shift, and go to state 172
5503 LT shift, and go to state 173
5504 GT shift, and go to state 174
5505 RSHIFT shift, and go to state 175
5506 LSHIFT shift, and go to state 176
5507 '+' shift, and go to state 177
5508 '-' shift, and go to state 178
5509 '*' shift, and go to state 179
5510 '/' shift, and go to state 180
5511 '%' shift, and go to state 181
5512 ']' shift, and go to state 346
5517 174 expr: PNAME '[' expr ']' . '@' NAME
5518 175 | PNAME '[' expr ']' . ':' pfld
5520 ':' shift, and go to state 347
5521 '@' shift, and go to state 348
5526 138 expr: expr . '+' expr
5527 139 | expr . '-' expr
5528 140 | expr . '*' expr
5529 141 | expr . '/' expr
5530 142 | expr . '%' expr
5531 143 | expr . '&' expr
5532 144 | expr . '^' expr
5533 145 | expr . '|' expr
5534 146 | expr . GT expr
5535 147 | expr . LT expr
5536 148 | expr . GE expr
5537 149 | expr . LE expr
5538 150 | expr . EQ expr
5539 151 | expr . NE expr
5540 152 | expr . AND expr
5541 153 | expr . OR expr
5542 154 | expr . LSHIFT expr
5543 155 | expr . RSHIFT expr
5544 159 | '(' expr SEMI expr . ':' expr ')'
5546 OR shift, and go to state 164
5547 AND shift, and go to state 165
5548 '|' shift, and go to state 166
5549 '^' shift, and go to state 167
5550 '&' shift, and go to state 168
5551 NE shift, and go to state 169
5552 EQ shift, and go to state 170
5553 LE shift, and go to state 171
5554 GE shift, and go to state 172
5555 LT shift, and go to state 173
5556 GT shift, and go to state 174
5557 RSHIFT shift, and go to state 175
5558 LSHIFT shift, and go to state 176
5559 '+' shift, and go to state 177
5560 '-' shift, and go to state 178
5561 '*' shift, and go to state 179
5562 '/' shift, and go to state 180
5563 '%' shift, and go to state 181
5564 ':' shift, and go to state 349
5569 167 expr: varref R_RCV @28 '[' . rargs ']'
5571 EVAL shift, and go to state 329
5572 CONST shift, and go to state 330
5573 NAME shift, and go to state 92
5574 '-' shift, and go to state 331
5575 '(' shift, and go to state 332
5577 varref go to state 333
5578 pfld go to state 100
5579 cmpnd go to state 101
5580 rarg go to state 334
5581 rargs go to state 350
5586 165 expr: varref RCV @27 '[' . rargs ']'
5588 EVAL shift, and go to state 329
5589 CONST shift, and go to state 330
5590 NAME shift, and go to state 92
5591 '-' shift, and go to state 331
5592 '(' shift, and go to state 332
5594 varref go to state 333
5595 pfld go to state 100
5596 cmpnd go to state 101
5597 rarg go to state 334
5598 rargs go to state 351
5603 86 sfld: '.' cmpnd .
5605 $default reduce using rule 86 (sfld)
5610 103 Stmnt: PRINT '(' STRING @15 . prargs ')'
5612 ',' shift, and go to state 352
5614 $default reduce using rule 204 (prargs)
5616 prargs go to state 353
5621 105 Stmnt: PRINTM '(' CONST ')' .
5623 $default reduce using rule 105 (Stmnt)
5628 104 Stmnt: PRINTM '(' varref ')' .
5630 $default reduce using rule 104 (Stmnt)
5635 48 sequence: sequence . MS step
5636 130 option: SEP @25 sequence . OS
5638 SEMI shift, and go to state 205
5640 $default reduce using rule 131 (OS)
5648 95 Special: DO @14 options OD .
5650 $default reduce using rule 95 (Special)
5655 48 sequence: sequence . MS step
5656 119 Stmnt: ATOMIC '{' @20 sequence . OS '}'
5658 SEMI shift, and go to state 205
5660 $default reduce using rule 131 (OS)
5668 48 sequence: sequence . MS step
5669 121 Stmnt: D_STEP '{' @21 sequence . OS '}'
5671 SEMI shift, and go to state 205
5673 $default reduce using rule 131 (OS)
5681 193 Probe: FULL '(' varref ')' .
5683 $default reduce using rule 193 (Probe)
5688 195 Probe: EMPTY '(' varref ')' .
5690 $default reduce using rule 195 (Probe)
5695 194 Probe: NFULL '(' varref ')' .
5697 $default reduce using rule 194 (Probe)
5702 196 Probe: NEMPTY '(' varref ')' .
5704 $default reduce using rule 196 (Probe)
5709 69 vref_lst: varref ',' vref_lst .
5711 $default reduce using rule 69 (vref_lst)
5716 98 Special: NAME ':' . stmnt
5718 ASSERT shift, and go to state 105
5719 PRINT shift, and go to state 106
5720 PRINTM shift, and go to state 107
5721 C_CODE shift, and go to state 2
5722 C_DECL shift, and go to state 3
5723 C_EXPR shift, and go to state 84
5724 RUN shift, and go to state 85
5725 LEN shift, and go to state 86
5726 ENABLED shift, and go to state 87
5727 PC_VAL shift, and go to state 88
5728 GOTO shift, and go to state 108
5729 BREAK shift, and go to state 109
5730 ELSE shift, and go to state 110
5731 IF shift, and go to state 111
5732 DO shift, and go to state 112
5733 ATOMIC shift, and go to state 113
5734 D_STEP shift, and go to state 114
5735 TIMEOUT shift, and go to state 89
5736 NONPROGRESS shift, and go to state 90
5737 FULL shift, and go to state 115
5738 EMPTY shift, and go to state 116
5739 NFULL shift, and go to state 117
5740 NEMPTY shift, and go to state 118
5741 CONST shift, and go to state 91
5742 NAME shift, and go to state 276
5743 PNAME shift, and go to state 93
5744 INAME shift, and go to state 121
5745 SND shift, and go to state 94
5746 '-' shift, and go to state 95
5747 '~' shift, and go to state 96
5748 '(' shift, and go to state 122
5749 '{' shift, and go to state 123
5751 ccode go to state 124
5752 cexpr go to state 98
5753 varref go to state 128
5754 pfld go to state 100
5755 cmpnd go to state 101
5756 stmnt go to state 278
5757 Special go to state 130
5758 Stmnt go to state 131
5759 expr go to state 132
5760 full_expr go to state 133
5761 Expr go to state 134
5762 Probe go to state 135
5767 126 Stmnt: INAME @23 '(' args . ')' @24 Stmnt
5769 ')' shift, and go to state 357
5774 123 Stmnt: '{' @22 sequence OS . '}'
5776 '}' shift, and go to state 358
5781 46 body: '{' @8 sequence OS @9 '}' .
5783 $default reduce using rule 46 (body)
5788 211 rarg: EVAL . '(' expr ')'
5790 '(' shift, and go to state 359
5797 $default reduce using rule 212 (rarg)
5802 213 rarg: '-' . CONST
5804 CONST shift, and go to state 360
5809 217 rargs: '(' . rargs ')'
5811 EVAL shift, and go to state 329
5812 CONST shift, and go to state 330
5813 NAME shift, and go to state 92
5814 '-' shift, and go to state 331
5815 '(' shift, and go to state 332
5817 varref go to state 333
5818 pfld go to state 100
5819 cmpnd go to state 101
5820 rarg go to state 334
5821 rargs go to state 361
5828 $default reduce using rule 210 (rarg)
5834 215 | rarg . ',' rargs
5835 216 | rarg . '(' rargs ')'
5837 '(' shift, and go to state 362
5838 ',' shift, and go to state 363
5840 $default reduce using rule 214 (rargs)
5845 109 Stmnt: varref R_RCV @16 rargs .
5847 $default reduce using rule 109 (Stmnt)
5852 113 Stmnt: varref R_RCV @18 LT . rargs GT
5854 EVAL shift, and go to state 329
5855 CONST shift, and go to state 330
5856 NAME shift, and go to state 92
5857 '-' shift, and go to state 331
5858 '(' shift, and go to state 332
5860 varref go to state 333
5861 pfld go to state 100
5862 cmpnd go to state 101
5863 rarg go to state 334
5864 rargs go to state 364
5869 90 Special: varref RCV @12 rargs .
5871 $default reduce using rule 90 (Special)
5876 111 Stmnt: varref RCV @17 LT . rargs GT
5878 EVAL shift, and go to state 329
5879 CONST shift, and go to state 330
5880 NAME shift, and go to state 92
5881 '-' shift, and go to state 331
5882 '(' shift, and go to state 332
5884 varref go to state 333
5885 pfld go to state 100
5886 cmpnd go to state 101
5887 rarg go to state 334
5888 rargs go to state 365
5893 138 expr: expr . '+' expr
5894 139 | expr . '-' expr
5895 140 | expr . '*' expr
5896 141 | expr . '/' expr
5897 142 | expr . '%' expr
5898 143 | expr . '&' expr
5899 144 | expr . '^' expr
5900 145 | expr . '|' expr
5901 146 | expr . GT expr
5902 147 | expr . LT expr
5903 148 | expr . GE expr
5904 149 | expr . LE expr
5905 150 | expr . EQ expr
5906 151 | expr . NE expr
5907 152 | expr . AND expr
5908 153 | expr . OR expr
5909 154 | expr . LSHIFT expr
5910 155 | expr . RSHIFT expr
5911 207 margs: expr . '(' arg ')'
5913 209 | expr . ',' arg
5915 OR shift, and go to state 164
5916 AND shift, and go to state 165
5917 '|' shift, and go to state 166
5918 '^' shift, and go to state 167
5919 '&' shift, and go to state 168
5920 NE shift, and go to state 169
5921 EQ shift, and go to state 170
5922 LE shift, and go to state 171
5923 GE shift, and go to state 172
5924 LT shift, and go to state 173
5925 GT shift, and go to state 174
5926 RSHIFT shift, and go to state 175
5927 LSHIFT shift, and go to state 176
5928 '+' shift, and go to state 177
5929 '-' shift, and go to state 178
5930 '*' shift, and go to state 179
5931 '/' shift, and go to state 180
5932 '%' shift, and go to state 181
5933 '(' shift, and go to state 366
5934 ',' shift, and go to state 182
5936 $default reduce using rule 208 (arg)
5941 115 Stmnt: varref O_SND @19 margs .
5943 $default reduce using rule 115 (Stmnt)
5950 $default reduce using rule 206 (margs)
5955 92 Special: varref SND @13 margs .
5957 $default reduce using rule 92 (Special)
5962 16 proc: inst proctype NAME @1 '(' decl ')' @2 . Opt_priority Opt_enabler body
5964 PRIORITY shift, and go to state 57
5966 $default reduce using rule 178 (Opt_priority)
5968 Opt_priority go to state 367
5973 75 ch_init: '[' CONST ']' OF . '{' typ_list '}'
5975 '{' shift, and go to state 368
5980 161 expr: RUN aname @26 '(' args . ')' Opt_priority
5982 ')' shift, and go to state 369
5987 82 pfld: NAME @10 '[' expr ']' .
5989 $default reduce using rule 82 (pfld)
5994 175 expr: PNAME '[' expr ']' ':' . pfld
5996 NAME shift, and go to state 92
5998 pfld go to state 370
6003 174 expr: PNAME '[' expr ']' '@' . NAME
6005 NAME shift, and go to state 371
6010 159 expr: '(' expr SEMI expr ':' . expr ')'
6012 C_EXPR shift, and go to state 84
6013 RUN shift, and go to state 85
6014 LEN shift, and go to state 86
6015 ENABLED shift, and go to state 87
6016 PC_VAL shift, and go to state 88
6017 TIMEOUT shift, and go to state 89
6018 NONPROGRESS shift, and go to state 90
6019 CONST shift, and go to state 91
6020 NAME shift, and go to state 92
6021 PNAME shift, and go to state 93
6022 SND shift, and go to state 94
6023 '-' shift, and go to state 95
6024 '~' shift, and go to state 96
6025 '(' shift, and go to state 97
6027 cexpr go to state 98
6028 varref go to state 99
6029 pfld go to state 100
6030 cmpnd go to state 101
6031 expr go to state 372
6036 167 expr: varref R_RCV @28 '[' rargs . ']'
6038 ']' shift, and go to state 373
6043 165 expr: varref RCV @27 '[' rargs . ']'
6045 ']' shift, and go to state 374
6050 205 prargs: ',' . arg
6052 C_EXPR shift, and go to state 84
6053 RUN shift, and go to state 85
6054 LEN shift, and go to state 86
6055 ENABLED shift, and go to state 87
6056 PC_VAL shift, and go to state 88
6057 TIMEOUT shift, and go to state 89
6058 NONPROGRESS shift, and go to state 90
6059 CONST shift, and go to state 91
6060 NAME shift, and go to state 92
6061 PNAME shift, and go to state 93
6062 SND shift, and go to state 94
6063 '-' shift, and go to state 95
6064 '~' shift, and go to state 96
6065 '(' shift, and go to state 97
6067 cexpr go to state 98
6068 varref go to state 99
6069 pfld go to state 100
6070 cmpnd go to state 101
6071 expr go to state 102
6077 103 Stmnt: PRINT '(' STRING @15 prargs . ')'
6079 ')' shift, and go to state 376
6084 130 option: SEP @25 sequence OS .
6086 $default reduce using rule 130 (option)
6091 119 Stmnt: ATOMIC '{' @20 sequence OS . '}'
6093 '}' shift, and go to state 377
6098 121 Stmnt: D_STEP '{' @21 sequence OS . '}'
6100 '}' shift, and go to state 378
6105 126 Stmnt: INAME @23 '(' args ')' . @24 Stmnt
6107 $default reduce using rule 125 (@24)
6114 123 Stmnt: '{' @22 sequence OS '}' .
6116 $default reduce using rule 123 (Stmnt)
6121 211 rarg: EVAL '(' . expr ')'
6123 C_EXPR shift, and go to state 84
6124 RUN shift, and go to state 85
6125 LEN shift, and go to state 86
6126 ENABLED shift, and go to state 87
6127 PC_VAL shift, and go to state 88
6128 TIMEOUT shift, and go to state 89
6129 NONPROGRESS shift, and go to state 90
6130 CONST shift, and go to state 91
6131 NAME shift, and go to state 92
6132 PNAME shift, and go to state 93
6133 SND shift, and go to state 94
6134 '-' shift, and go to state 95
6135 '~' shift, and go to state 96
6136 '(' shift, and go to state 97
6138 cexpr go to state 98
6139 varref go to state 99
6140 pfld go to state 100
6141 cmpnd go to state 101
6142 expr go to state 380
6147 213 rarg: '-' CONST .
6149 $default reduce using rule 213 (rarg)
6154 217 rargs: '(' rargs . ')'
6156 ')' shift, and go to state 381
6161 216 rargs: rarg '(' . rargs ')'
6163 EVAL shift, and go to state 329
6164 CONST shift, and go to state 330
6165 NAME shift, and go to state 92
6166 '-' shift, and go to state 331
6167 '(' shift, and go to state 332
6169 varref go to state 333
6170 pfld go to state 100
6171 cmpnd go to state 101
6172 rarg go to state 334
6173 rargs go to state 382
6178 215 rargs: rarg ',' . rargs
6180 EVAL shift, and go to state 329
6181 CONST shift, and go to state 330
6182 NAME shift, and go to state 92
6183 '-' shift, and go to state 331
6184 '(' shift, and go to state 332
6186 varref go to state 333
6187 pfld go to state 100
6188 cmpnd go to state 101
6189 rarg go to state 334
6190 rargs go to state 383
6195 113 Stmnt: varref R_RCV @18 LT rargs . GT
6197 GT shift, and go to state 384
6202 111 Stmnt: varref RCV @17 LT rargs . GT
6204 GT shift, and go to state 385
6209 207 margs: expr '(' . arg ')'
6211 C_EXPR shift, and go to state 84
6212 RUN shift, and go to state 85
6213 LEN shift, and go to state 86
6214 ENABLED shift, and go to state 87
6215 PC_VAL shift, and go to state 88
6216 TIMEOUT shift, and go to state 89
6217 NONPROGRESS shift, and go to state 90
6218 CONST shift, and go to state 91
6219 NAME shift, and go to state 92
6220 PNAME shift, and go to state 93
6221 SND shift, and go to state 94
6222 '-' shift, and go to state 95
6223 '~' shift, and go to state 96
6224 '(' shift, and go to state 97
6226 cexpr go to state 98
6227 varref go to state 99
6228 pfld go to state 100
6229 cmpnd go to state 101
6230 expr go to state 102
6236 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority . Opt_enabler body
6238 PROVIDED shift, and go to state 387
6240 $default reduce using rule 182 (Opt_enabler)
6242 Opt_enabler go to state 388
6247 75 ch_init: '[' CONST ']' OF '{' . typ_list '}'
6249 error shift, and go to state 389
6250 TYPE shift, and go to state 390
6251 UNAME shift, and go to state 391
6253 basetype go to state 392
6254 typ_list go to state 393
6259 161 expr: RUN aname @26 '(' args ')' . Opt_priority
6261 PRIORITY shift, and go to state 57
6263 $default reduce using rule 178 (Opt_priority)
6265 Opt_priority go to state 394
6270 175 expr: PNAME '[' expr ']' ':' pfld .
6272 $default reduce using rule 175 (expr)
6277 174 expr: PNAME '[' expr ']' '@' NAME .
6279 $default reduce using rule 174 (expr)
6284 138 expr: expr . '+' expr
6285 139 | expr . '-' expr
6286 140 | expr . '*' expr
6287 141 | expr . '/' expr
6288 142 | expr . '%' expr
6289 143 | expr . '&' expr
6290 144 | expr . '^' expr
6291 145 | expr . '|' expr
6292 146 | expr . GT expr
6293 147 | expr . LT expr
6294 148 | expr . GE expr
6295 149 | expr . LE expr
6296 150 | expr . EQ expr
6297 151 | expr . NE expr
6298 152 | expr . AND expr
6299 153 | expr . OR expr
6300 154 | expr . LSHIFT expr
6301 155 | expr . RSHIFT expr
6302 159 | '(' expr SEMI expr ':' expr . ')'
6304 OR shift, and go to state 164
6305 AND shift, and go to state 165
6306 '|' shift, and go to state 166
6307 '^' shift, and go to state 167
6308 '&' shift, and go to state 168
6309 NE shift, and go to state 169
6310 EQ shift, and go to state 170
6311 LE shift, and go to state 171
6312 GE shift, and go to state 172
6313 LT shift, and go to state 173
6314 GT shift, and go to state 174
6315 RSHIFT shift, and go to state 175
6316 LSHIFT shift, and go to state 176
6317 '+' shift, and go to state 177
6318 '-' shift, and go to state 178
6319 '*' shift, and go to state 179
6320 '/' shift, and go to state 180
6321 '%' shift, and go to state 181
6322 ')' shift, and go to state 395
6327 167 expr: varref R_RCV @28 '[' rargs ']' .
6329 $default reduce using rule 167 (expr)
6334 165 expr: varref RCV @27 '[' rargs ']' .
6336 $default reduce using rule 165 (expr)
6341 205 prargs: ',' arg .
6343 $default reduce using rule 205 (prargs)
6348 103 Stmnt: PRINT '(' STRING @15 prargs ')' .
6350 $default reduce using rule 103 (Stmnt)
6355 119 Stmnt: ATOMIC '{' @20 sequence OS '}' .
6357 $default reduce using rule 119 (Stmnt)
6362 121 Stmnt: D_STEP '{' @21 sequence OS '}' .
6364 $default reduce using rule 121 (Stmnt)
6369 126 Stmnt: INAME @23 '(' args ')' @24 . Stmnt
6371 ASSERT shift, and go to state 105
6372 PRINT shift, and go to state 106
6373 PRINTM shift, and go to state 107
6374 C_CODE shift, and go to state 2
6375 C_DECL shift, and go to state 3
6376 C_EXPR shift, and go to state 84
6377 RUN shift, and go to state 85
6378 LEN shift, and go to state 86
6379 ENABLED shift, and go to state 87
6380 PC_VAL shift, and go to state 88
6381 ELSE shift, and go to state 110
6382 ATOMIC shift, and go to state 113
6383 D_STEP shift, and go to state 114
6384 TIMEOUT shift, and go to state 89
6385 NONPROGRESS shift, and go to state 90
6386 FULL shift, and go to state 115
6387 EMPTY shift, and go to state 116
6388 NFULL shift, and go to state 117
6389 NEMPTY shift, and go to state 118
6390 CONST shift, and go to state 91
6391 NAME shift, and go to state 92
6392 PNAME shift, and go to state 93
6393 INAME shift, and go to state 121
6394 SND shift, and go to state 94
6395 '-' shift, and go to state 95
6396 '~' shift, and go to state 96
6397 '(' shift, and go to state 122
6398 '{' shift, and go to state 123
6400 ccode go to state 124
6401 cexpr go to state 98
6402 varref go to state 396
6403 pfld go to state 100
6404 cmpnd go to state 101
6405 Stmnt go to state 397
6406 expr go to state 132
6407 full_expr go to state 133
6408 Expr go to state 134
6409 Probe go to state 135
6414 138 expr: expr . '+' expr
6415 139 | expr . '-' expr
6416 140 | expr . '*' expr
6417 141 | expr . '/' expr
6418 142 | expr . '%' expr
6419 143 | expr . '&' expr
6420 144 | expr . '^' expr
6421 145 | expr . '|' expr
6422 146 | expr . GT expr
6423 147 | expr . LT expr
6424 148 | expr . GE expr
6425 149 | expr . LE expr
6426 150 | expr . EQ expr
6427 151 | expr . NE expr
6428 152 | expr . AND expr
6429 153 | expr . OR expr
6430 154 | expr . LSHIFT expr
6431 155 | expr . RSHIFT expr
6432 211 rarg: EVAL '(' expr . ')'
6434 OR shift, and go to state 164
6435 AND shift, and go to state 165
6436 '|' shift, and go to state 166
6437 '^' shift, and go to state 167
6438 '&' shift, and go to state 168
6439 NE shift, and go to state 169
6440 EQ shift, and go to state 170
6441 LE shift, and go to state 171
6442 GE shift, and go to state 172
6443 LT shift, and go to state 173
6444 GT shift, and go to state 174
6445 RSHIFT shift, and go to state 175
6446 LSHIFT shift, and go to state 176
6447 '+' shift, and go to state 177
6448 '-' shift, and go to state 178
6449 '*' shift, and go to state 179
6450 '/' shift, and go to state 180
6451 '%' shift, and go to state 181
6452 ')' shift, and go to state 398
6457 217 rargs: '(' rargs ')' .
6459 $default reduce using rule 217 (rargs)
6464 216 rargs: rarg '(' rargs . ')'
6466 ')' shift, and go to state 399
6471 215 rargs: rarg ',' rargs .
6473 $default reduce using rule 215 (rargs)
6478 113 Stmnt: varref R_RCV @18 LT rargs GT .
6480 $default reduce using rule 113 (Stmnt)
6485 111 Stmnt: varref RCV @17 LT rargs GT .
6487 $default reduce using rule 111 (Stmnt)
6492 207 margs: expr '(' arg . ')'
6494 ')' shift, and go to state 400
6499 183 Opt_enabler: PROVIDED . '(' full_expr ')'
6500 184 | PROVIDED . error
6502 error shift, and go to state 401
6503 '(' shift, and go to state 402
6508 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler . body
6510 '{' shift, and go to state 54
6512 body go to state 403
6517 199 basetype: error .
6519 $default reduce using rule 199 (basetype)
6524 197 basetype: TYPE .
6526 $default reduce using rule 197 (basetype)
6531 198 basetype: UNAME .
6533 $default reduce using rule 198 (basetype)
6538 200 typ_list: basetype .
6539 201 | basetype . ',' typ_list
6541 ',' shift, and go to state 404
6543 $default reduce using rule 200 (typ_list)
6548 75 ch_init: '[' CONST ']' OF '{' typ_list . '}'
6550 '}' shift, and go to state 405
6555 161 expr: RUN aname @26 '(' args ')' Opt_priority .
6557 $default reduce using rule 161 (expr)
6562 159 expr: '(' expr SEMI expr ':' expr ')' .
6564 $default reduce using rule 159 (expr)
6569 99 Stmnt: varref . ASGN expr
6572 109 | varref . R_RCV @16 rargs
6573 111 | varref . RCV @17 LT rargs GT
6574 113 | varref . R_RCV @18 LT rargs GT
6575 115 | varref . O_SND @19 margs
6576 165 expr: varref . RCV @27 '[' rargs ']'
6577 167 | varref . R_RCV @28 '[' rargs ']'
6580 ASGN shift, and go to state 208
6581 R_RCV shift, and go to state 209
6582 RCV shift, and go to state 406
6583 O_SND shift, and go to state 211
6584 DECR shift, and go to state 213
6585 INCR shift, and go to state 214
6587 $default reduce using rule 168 (expr)
6592 126 Stmnt: INAME @23 '(' args ')' @24 Stmnt .
6594 $default reduce using rule 126 (Stmnt)
6599 211 rarg: EVAL '(' expr ')' .
6601 $default reduce using rule 211 (rarg)
6606 216 rargs: rarg '(' rargs ')' .
6608 $default reduce using rule 216 (rargs)
6613 207 margs: expr '(' arg ')' .
6615 $default reduce using rule 207 (margs)
6620 184 Opt_enabler: PROVIDED error .
6622 $default reduce using rule 184 (Opt_enabler)
6627 183 Opt_enabler: PROVIDED '(' . full_expr ')'
6629 C_EXPR shift, and go to state 84
6630 RUN shift, and go to state 85
6631 LEN shift, and go to state 86
6632 ENABLED shift, and go to state 87
6633 PC_VAL shift, and go to state 88
6634 TIMEOUT shift, and go to state 89
6635 NONPROGRESS shift, and go to state 90
6636 FULL shift, and go to state 115
6637 EMPTY shift, and go to state 116
6638 NFULL shift, and go to state 117
6639 NEMPTY shift, and go to state 118
6640 CONST shift, and go to state 91
6641 NAME shift, and go to state 92
6642 PNAME shift, and go to state 93
6643 SND shift, and go to state 94
6644 '-' shift, and go to state 95
6645 '~' shift, and go to state 96
6646 '(' shift, and go to state 122
6648 cexpr go to state 98
6649 varref go to state 99
6650 pfld go to state 100
6651 cmpnd go to state 101
6652 expr go to state 132
6653 full_expr go to state 407
6654 Expr go to state 134
6655 Probe go to state 135
6660 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body .
6662 $default reduce using rule 16 (proc)
6667 201 typ_list: basetype ',' . typ_list
6669 error shift, and go to state 389
6670 TYPE shift, and go to state 390
6671 UNAME shift, and go to state 391
6673 basetype go to state 392
6674 typ_list go to state 408
6679 75 ch_init: '[' CONST ']' OF '{' typ_list '}' .
6681 $default reduce using rule 75 (ch_init)
6686 111 Stmnt: varref RCV . @17 LT rargs GT
6687 165 expr: varref RCV . @27 '[' rargs ']'
6689 '[' reduce using rule 164 (@27)
6690 $default reduce using rule 110 (@17)
6698 183 Opt_enabler: PROVIDED '(' full_expr . ')'
6700 ')' shift, and go to state 409
6705 201 typ_list: basetype ',' typ_list .
6707 $default reduce using rule 201 (typ_list)
6712 183 Opt_enabler: PROVIDED '(' full_expr ')' .
6714 $default reduce using rule 183 (Opt_enabler)