+++ /dev/null
-Terminals which are not used
-
- MTYPE
- LABEL
- NON_ATOMIC
-
-
-Grammar
-
- 0 $accept: program $end
-
- 1 program: units
-
- 2 units: unit
- 3 | units unit
-
- 4 unit: proc
- 5 | init
- 6 | claim
- 7 | events
- 8 | one_decl
- 9 | utype
- 10 | c_fcts
- 11 | ns
- 12 | SEMI
- 13 | error
-
- 14 @1: /* empty */
-
- 15 @2: /* empty */
-
- 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
-
- 17 proctype: PROCTYPE
- 18 | D_PROCTYPE
-
- 19 inst: /* empty */
- 20 | ACTIVE
- 21 | ACTIVE '[' CONST ']'
- 22 | ACTIVE '[' NAME ']'
-
- 23 @3: /* empty */
-
- 24 init: INIT @3 Opt_priority body
-
- 25 @4: /* empty */
-
- 26 claim: CLAIM @4 body
-
- 27 @5: /* empty */
-
- 28 events: TRACE @5 body
-
- 29 @6: /* empty */
-
- 30 utype: TYPEDEF NAME @6 '{' decl_lst '}'
-
- 31 nm: NAME
- 32 | INAME
-
- 33 @7: /* empty */
-
- 34 ns: INLINE nm '(' @7 args ')'
-
- 35 c_fcts: ccode
- 36 | cstate
-
- 37 cstate: C_STATE STRING STRING
- 38 | C_TRACK STRING STRING
- 39 | C_STATE STRING STRING STRING
- 40 | C_TRACK STRING STRING STRING
-
- 41 ccode: C_CODE
- 42 | C_DECL
-
- 43 cexpr: C_EXPR
-
- 44 @8: /* empty */
-
- 45 @9: /* empty */
-
- 46 body: '{' @8 sequence OS @9 '}'
-
- 47 sequence: step
- 48 | sequence MS step
-
- 49 step: one_decl
- 50 | XU vref_lst
- 51 | NAME ':' one_decl
- 52 | NAME ':' XU
- 53 | stmnt
- 54 | stmnt UNLESS stmnt
-
- 55 vis: /* empty */
- 56 | HIDDEN
- 57 | SHOW
- 58 | ISLOCAL
-
- 59 asgn: /* empty */
- 60 | ASGN
-
- 61 one_decl: vis TYPE var_list
- 62 | vis UNAME var_list
- 63 | vis TYPE asgn '{' nlst '}'
-
- 64 decl_lst: one_decl
- 65 | one_decl SEMI decl_lst
-
- 66 decl: /* empty */
- 67 | decl_lst
-
- 68 vref_lst: varref
- 69 | varref ',' vref_lst
-
- 70 var_list: ivar
- 71 | ivar ',' var_list
-
- 72 ivar: vardcl
- 73 | vardcl ASGN expr
- 74 | vardcl ASGN ch_init
-
- 75 ch_init: '[' CONST ']' OF '{' typ_list '}'
-
- 76 vardcl: NAME
- 77 | NAME ':' CONST
- 78 | NAME '[' CONST ']'
-
- 79 varref: cmpnd
-
- 80 pfld: NAME
-
- 81 @10: /* empty */
-
- 82 pfld: NAME @10 '[' expr ']'
-
- 83 @11: /* empty */
-
- 84 cmpnd: pfld @11 sfld
-
- 85 sfld: /* empty */
- 86 | '.' cmpnd
-
- 87 stmnt: Special
- 88 | Stmnt
-
- 89 @12: /* empty */
-
- 90 Special: varref RCV @12 rargs
-
- 91 @13: /* empty */
-
- 92 Special: varref SND @13 margs
- 93 | IF options FI
-
- 94 @14: /* empty */
-
- 95 Special: DO @14 options OD
- 96 | BREAK
- 97 | GOTO NAME
- 98 | NAME ':' stmnt
-
- 99 Stmnt: varref ASGN expr
- 100 | varref INCR
- 101 | varref DECR
-
- 102 @15: /* empty */
-
- 103 Stmnt: PRINT '(' STRING @15 prargs ')'
- 104 | PRINTM '(' varref ')'
- 105 | PRINTM '(' CONST ')'
- 106 | ASSERT full_expr
- 107 | ccode
-
- 108 @16: /* empty */
-
- 109 Stmnt: varref R_RCV @16 rargs
-
- 110 @17: /* empty */
-
- 111 Stmnt: varref RCV @17 LT rargs GT
-
- 112 @18: /* empty */
-
- 113 Stmnt: varref R_RCV @18 LT rargs GT
-
- 114 @19: /* empty */
-
- 115 Stmnt: varref O_SND @19 margs
- 116 | full_expr
- 117 | ELSE
-
- 118 @20: /* empty */
-
- 119 Stmnt: ATOMIC '{' @20 sequence OS '}'
-
- 120 @21: /* empty */
-
- 121 Stmnt: D_STEP '{' @21 sequence OS '}'
-
- 122 @22: /* empty */
-
- 123 Stmnt: '{' @22 sequence OS '}'
-
- 124 @23: /* empty */
-
- 125 @24: /* empty */
-
- 126 Stmnt: INAME @23 '(' args ')' @24 Stmnt
-
- 127 options: option
- 128 | option options
-
- 129 @25: /* empty */
-
- 130 option: SEP @25 sequence OS
-
- 131 OS: /* empty */
- 132 | SEMI
-
- 133 MS: SEMI
- 134 | MS SEMI
-
- 135 aname: NAME
- 136 | PNAME
-
- 137 expr: '(' expr ')'
- 138 | expr '+' expr
- 139 | expr '-' expr
- 140 | expr '*' expr
- 141 | expr '/' expr
- 142 | expr '%' expr
- 143 | expr '&' expr
- 144 | expr '^' expr
- 145 | expr '|' expr
- 146 | expr GT expr
- 147 | expr LT expr
- 148 | expr GE expr
- 149 | expr LE expr
- 150 | expr EQ expr
- 151 | expr NE expr
- 152 | expr AND expr
- 153 | expr OR expr
- 154 | expr LSHIFT expr
- 155 | expr RSHIFT expr
- 156 | '~' expr
- 157 | '-' expr
- 158 | SND expr
- 159 | '(' expr SEMI expr ':' expr ')'
-
- 160 @26: /* empty */
-
- 161 expr: RUN aname @26 '(' args ')' Opt_priority
- 162 | LEN '(' varref ')'
- 163 | ENABLED '(' expr ')'
-
- 164 @27: /* empty */
-
- 165 expr: varref RCV @27 '[' rargs ']'
-
- 166 @28: /* empty */
-
- 167 expr: varref R_RCV @28 '[' rargs ']'
- 168 | varref
- 169 | cexpr
- 170 | CONST
- 171 | TIMEOUT
- 172 | NONPROGRESS
- 173 | PC_VAL '(' expr ')'
- 174 | PNAME '[' expr ']' '@' NAME
- 175 | PNAME '[' expr ']' ':' pfld
- 176 | PNAME '@' NAME
- 177 | PNAME ':' pfld
-
- 178 Opt_priority: /* empty */
- 179 | PRIORITY CONST
-
- 180 full_expr: expr
- 181 | Expr
-
- 182 Opt_enabler: /* empty */
- 183 | PROVIDED '(' full_expr ')'
- 184 | PROVIDED error
-
- 185 Expr: Probe
- 186 | '(' Expr ')'
- 187 | Expr AND Expr
- 188 | Expr AND expr
- 189 | Expr OR Expr
- 190 | Expr OR expr
- 191 | expr AND Expr
- 192 | expr OR Expr
-
- 193 Probe: FULL '(' varref ')'
- 194 | NFULL '(' varref ')'
- 195 | EMPTY '(' varref ')'
- 196 | NEMPTY '(' varref ')'
-
- 197 basetype: TYPE
- 198 | UNAME
- 199 | error
-
- 200 typ_list: basetype
- 201 | basetype ',' typ_list
-
- 202 args: /* empty */
- 203 | arg
-
- 204 prargs: /* empty */
- 205 | ',' arg
-
- 206 margs: arg
- 207 | expr '(' arg ')'
-
- 208 arg: expr
- 209 | expr ',' arg
-
- 210 rarg: varref
- 211 | EVAL '(' expr ')'
- 212 | CONST
- 213 | '-' CONST
-
- 214 rargs: rarg
- 215 | rarg ',' rargs
- 216 | rarg '(' rargs ')'
- 217 | '(' rargs ')'
-
- 218 nlst: NAME
- 219 | nlst NAME
- 220 | nlst ','
-
-
-Terminals, with rules where they appear
-
-$end (0) 0
-'%' (37) 142
-'&' (38) 143
-'(' (40) 16 34 103 104 105 126 137 159 161 162 163 173 183 186 193
- 194 195 196 207 211 216 217
-')' (41) 16 34 103 104 105 126 137 159 161 162 163 173 183 186 193
- 194 195 196 207 211 216 217
-'*' (42) 140
-'+' (43) 138
-',' (44) 69 71 201 205 209 215 220
-'-' (45) 139 157 213
-'.' (46) 86
-'/' (47) 141
-':' (58) 51 52 77 98 159 175 177
-'@' (64) 174 176
-'[' (91) 21 22 75 78 82 165 167 174 175
-']' (93) 21 22 75 78 82 165 167 174 175
-'^' (94) 144
-'{' (123) 30 46 63 75 119 121 123
-'|' (124) 145
-'}' (125) 30 46 63 75 119 121 123
-'~' (126) 156
-error (256) 13 184 199
-ASSERT (258) 106
-PRINT (259) 103
-PRINTM (260) 104 105
-C_CODE (261) 41
-C_DECL (262) 42
-C_EXPR (263) 43
-C_STATE (264) 37 39
-C_TRACK (265) 38 40
-RUN (266) 161
-LEN (267) 162
-ENABLED (268) 163
-EVAL (269) 211
-PC_VAL (270) 173
-TYPEDEF (271) 30
-MTYPE (272)
-INLINE (273) 34
-LABEL (274)
-OF (275) 75
-GOTO (276) 97
-BREAK (277) 96
-ELSE (278) 117
-SEMI (279) 12 65 132 133 134 159
-IF (280) 93
-FI (281) 93
-DO (282) 95
-OD (283) 95
-SEP (284) 130
-ATOMIC (285) 119
-NON_ATOMIC (286)
-D_STEP (287) 121
-UNLESS (288) 54
-TIMEOUT (289) 171
-NONPROGRESS (290) 172
-ACTIVE (291) 20 21 22
-PROCTYPE (292) 17
-D_PROCTYPE (293) 18
-HIDDEN (294) 56
-SHOW (295) 57
-ISLOCAL (296) 58
-PRIORITY (297) 179
-PROVIDED (298) 183 184
-FULL (299) 193
-EMPTY (300) 195
-NFULL (301) 194
-NEMPTY (302) 196
-CONST (303) 21 75 77 78 105 170 179 212 213
-TYPE (304) 61 63 197
-XU (305) 50 52
-NAME (306) 16 22 30 31 51 52 76 77 78 80 82 97 98 135 174 176 218 219
-UNAME (307) 62 198
-PNAME (308) 136 174 175 176 177
-INAME (309) 32 126
-STRING (310) 37 38 39 40 103
-CLAIM (311) 26
-TRACE (312) 28
-INIT (313) 24
-ASGN (314) 60 73 74 99
-R_RCV (315) 109 113 167
-RCV (316) 90 111 165
-O_SND (317) 115
-SND (318) 92 158
-OR (319) 153 189 190 192
-AND (320) 152 187 188 191
-NE (321) 151
-EQ (322) 150
-LE (323) 149
-GE (324) 148
-LT (325) 111 113 147
-GT (326) 111 113 146
-RSHIFT (327) 155
-LSHIFT (328) 154
-DECR (329) 101
-INCR (330) 100
-NEG (331)
-UMIN (332)
-DOT (333)
-
-
-Nonterminals, with rules where they appear
-
-$accept (98)
- on left: 0
-program (99)
- on left: 1, on right: 0
-units (100)
- on left: 2 3, on right: 1 3
-unit (101)
- on left: 4 5 6 7 8 9 10 11 12 13, on right: 2 3
-proc (102)
- on left: 16, on right: 4
-@1 (103)
- on left: 14, on right: 16
-@2 (104)
- on left: 15, on right: 16
-proctype (105)
- on left: 17 18, on right: 16
-inst (106)
- on left: 19 20 21 22, on right: 16
-init (107)
- on left: 24, on right: 5
-@3 (108)
- on left: 23, on right: 24
-claim (109)
- on left: 26, on right: 6
-@4 (110)
- on left: 25, on right: 26
-events (111)
- on left: 28, on right: 7
-@5 (112)
- on left: 27, on right: 28
-utype (113)
- on left: 30, on right: 9
-@6 (114)
- on left: 29, on right: 30
-nm (115)
- on left: 31 32, on right: 34
-ns (116)
- on left: 34, on right: 11
-@7 (117)
- on left: 33, on right: 34
-c_fcts (118)
- on left: 35 36, on right: 10
-cstate (119)
- on left: 37 38 39 40, on right: 36
-ccode (120)
- on left: 41 42, on right: 35 107
-cexpr (121)
- on left: 43, on right: 169
-body (122)
- on left: 46, on right: 16 24 26 28
-@8 (123)
- on left: 44, on right: 46
-@9 (124)
- on left: 45, on right: 46
-sequence (125)
- on left: 47 48, on right: 46 48 119 121 123 130
-step (126)
- on left: 49 50 51 52 53 54, on right: 47 48
-vis (127)
- on left: 55 56 57 58, on right: 61 62 63
-asgn (128)
- on left: 59 60, on right: 63
-one_decl (129)
- on left: 61 62 63, on right: 8 49 51 64 65
-decl_lst (130)
- on left: 64 65, on right: 30 65 67
-decl (131)
- on left: 66 67, on right: 16
-vref_lst (132)
- on left: 68 69, on right: 50 69
-var_list (133)
- on left: 70 71, on right: 61 62 71
-ivar (134)
- on left: 72 73 74, on right: 70 71
-ch_init (135)
- on left: 75, on right: 74
-vardcl (136)
- on left: 76 77 78, on right: 72 73 74
-varref (137)
- on left: 79, on right: 68 69 90 92 99 100 101 104 109 111 113 115
- 162 165 167 168 193 194 195 196 210
-pfld (138)
- on left: 80 82, on right: 84 175 177
-@10 (139)
- on left: 81, on right: 82
-cmpnd (140)
- on left: 84, on right: 79 86
-@11 (141)
- on left: 83, on right: 84
-sfld (142)
- on left: 85 86, on right: 84
-stmnt (143)
- on left: 87 88, on right: 53 54 98
-Special (144)
- on left: 90 92 93 95 96 97 98, on right: 87
-@12 (145)
- on left: 89, on right: 90
-@13 (146)
- on left: 91, on right: 92
-@14 (147)
- on left: 94, on right: 95
-Stmnt (148)
- on left: 99 100 101 103 104 105 106 107 109 111 113 115 116 117
- 119 121 123 126, on right: 88 126
-@15 (149)
- on left: 102, on right: 103
-@16 (150)
- on left: 108, on right: 109
-@17 (151)
- on left: 110, on right: 111
-@18 (152)
- on left: 112, on right: 113
-@19 (153)
- on left: 114, on right: 115
-@20 (154)
- on left: 118, on right: 119
-@21 (155)
- on left: 120, on right: 121
-@22 (156)
- on left: 122, on right: 123
-@23 (157)
- on left: 124, on right: 126
-@24 (158)
- on left: 125, on right: 126
-options (159)
- on left: 127 128, on right: 93 95 128
-option (160)
- on left: 130, on right: 127 128
-@25 (161)
- on left: 129, on right: 130
-OS (162)
- on left: 131 132, on right: 46 119 121 123 130
-MS (163)
- on left: 133 134, on right: 48 134
-aname (164)
- on left: 135 136, on right: 161
-expr (165)
- on left: 137 138 139 140 141 142 143 144 145 146 147 148 149 150
- 151 152 153 154 155 156 157 158 159 161 162 163 165 167 168 169
- 170 171 172 173 174 175 176 177, on right: 73 82 99 137 138 139
- 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155
- 156 157 158 159 163 173 174 175 180 188 190 191 192 207 208 209
- 211
-@26 (166)
- on left: 160, on right: 161
-@27 (167)
- on left: 164, on right: 165
-@28 (168)
- on left: 166, on right: 167
-Opt_priority (169)
- on left: 178 179, on right: 16 24 161
-full_expr (170)
- on left: 180 181, on right: 106 116 183
-Opt_enabler (171)
- on left: 182 183 184, on right: 16
-Expr (172)
- on left: 185 186 187 188 189 190 191 192, on right: 181 186 187
- 188 189 190 191 192
-Probe (173)
- on left: 193 194 195 196, on right: 185
-basetype (174)
- on left: 197 198 199, on right: 200 201
-typ_list (175)
- on left: 200 201, on right: 75 201
-args (176)
- on left: 202 203, on right: 34 126 161
-prargs (177)
- on left: 204 205, on right: 103
-margs (178)
- on left: 206 207, on right: 92 115
-arg (179)
- on left: 208 209, on right: 203 205 206 207 209
-rarg (180)
- on left: 210 211 212 213, on right: 214 215 216
-rargs (181)
- on left: 214 215 216 217, on right: 90 109 111 113 165 167 215
- 216 217
-nlst (182)
- on left: 218 219 220, on right: 63 219 220
-
-
-state 0
-
- 0 $accept: . program $end
-
- error shift, and go to state 1
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_STATE shift, and go to state 4
- C_TRACK shift, and go to state 5
- TYPEDEF shift, and go to state 6
- INLINE shift, and go to state 7
- SEMI shift, and go to state 8
- ACTIVE shift, and go to state 9
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- CLAIM shift, and go to state 13
- TRACE shift, and go to state 14
- INIT shift, and go to state 15
-
- PROCTYPE reduce using rule 19 (inst)
- D_PROCTYPE reduce using rule 19 (inst)
- TYPE reduce using rule 55 (vis)
- UNAME reduce using rule 55 (vis)
-
- program go to state 16
- units go to state 17
- unit go to state 18
- proc go to state 19
- inst go to state 20
- init go to state 21
- claim go to state 22
- events go to state 23
- utype go to state 24
- ns go to state 25
- c_fcts go to state 26
- cstate go to state 27
- ccode go to state 28
- vis go to state 29
- one_decl go to state 30
-
-
-state 1
-
- 13 unit: error .
-
- $default reduce using rule 13 (unit)
-
-
-state 2
-
- 41 ccode: C_CODE .
-
- $default reduce using rule 41 (ccode)
-
-
-state 3
-
- 42 ccode: C_DECL .
-
- $default reduce using rule 42 (ccode)
-
-
-state 4
-
- 37 cstate: C_STATE . STRING STRING
- 39 | C_STATE . STRING STRING STRING
-
- STRING shift, and go to state 31
-
-
-state 5
-
- 38 cstate: C_TRACK . STRING STRING
- 40 | C_TRACK . STRING STRING STRING
-
- STRING shift, and go to state 32
-
-
-state 6
-
- 30 utype: TYPEDEF . NAME @6 '{' decl_lst '}'
-
- NAME shift, and go to state 33
-
-
-state 7
-
- 34 ns: INLINE . nm '(' @7 args ')'
-
- NAME shift, and go to state 34
- INAME shift, and go to state 35
-
- nm go to state 36
-
-
-state 8
-
- 12 unit: SEMI .
-
- $default reduce using rule 12 (unit)
-
-
-state 9
-
- 20 inst: ACTIVE .
- 21 | ACTIVE . '[' CONST ']'
- 22 | ACTIVE . '[' NAME ']'
-
- '[' shift, and go to state 37
-
- $default reduce using rule 20 (inst)
-
-
-state 10
-
- 56 vis: HIDDEN .
-
- $default reduce using rule 56 (vis)
-
-
-state 11
-
- 57 vis: SHOW .
-
- $default reduce using rule 57 (vis)
-
-
-state 12
-
- 58 vis: ISLOCAL .
-
- $default reduce using rule 58 (vis)
-
-
-state 13
-
- 26 claim: CLAIM . @4 body
-
- $default reduce using rule 25 (@4)
-
- @4 go to state 38
-
-
-state 14
-
- 28 events: TRACE . @5 body
-
- $default reduce using rule 27 (@5)
-
- @5 go to state 39
-
-
-state 15
-
- 24 init: INIT . @3 Opt_priority body
-
- $default reduce using rule 23 (@3)
-
- @3 go to state 40
-
-
-state 16
-
- 0 $accept: program . $end
-
- $end shift, and go to state 41
-
-
-state 17
-
- 1 program: units .
- 3 units: units . unit
-
- error shift, and go to state 1
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_STATE shift, and go to state 4
- C_TRACK shift, and go to state 5
- TYPEDEF shift, and go to state 6
- INLINE shift, and go to state 7
- SEMI shift, and go to state 8
- ACTIVE shift, and go to state 9
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- CLAIM shift, and go to state 13
- TRACE shift, and go to state 14
- INIT shift, and go to state 15
-
- $end reduce using rule 1 (program)
- PROCTYPE reduce using rule 19 (inst)
- D_PROCTYPE reduce using rule 19 (inst)
- TYPE reduce using rule 55 (vis)
- UNAME reduce using rule 55 (vis)
-
- unit go to state 42
- proc go to state 19
- inst go to state 20
- init go to state 21
- claim go to state 22
- events go to state 23
- utype go to state 24
- ns go to state 25
- c_fcts go to state 26
- cstate go to state 27
- ccode go to state 28
- vis go to state 29
- one_decl go to state 30
-
-
-state 18
-
- 2 units: unit .
-
- $default reduce using rule 2 (units)
-
-
-state 19
-
- 4 unit: proc .
-
- $default reduce using rule 4 (unit)
-
-
-state 20
-
- 16 proc: inst . proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
-
- PROCTYPE shift, and go to state 43
- D_PROCTYPE shift, and go to state 44
-
- proctype go to state 45
-
-
-state 21
-
- 5 unit: init .
-
- $default reduce using rule 5 (unit)
-
-
-state 22
-
- 6 unit: claim .
-
- $default reduce using rule 6 (unit)
-
-
-state 23
-
- 7 unit: events .
-
- $default reduce using rule 7 (unit)
-
-
-state 24
-
- 9 unit: utype .
-
- $default reduce using rule 9 (unit)
-
-
-state 25
-
- 11 unit: ns .
-
- $default reduce using rule 11 (unit)
-
-
-state 26
-
- 10 unit: c_fcts .
-
- $default reduce using rule 10 (unit)
-
-
-state 27
-
- 36 c_fcts: cstate .
-
- $default reduce using rule 36 (c_fcts)
-
-
-state 28
-
- 35 c_fcts: ccode .
-
- $default reduce using rule 35 (c_fcts)
-
-
-state 29
-
- 61 one_decl: vis . TYPE var_list
- 62 | vis . UNAME var_list
- 63 | vis . TYPE asgn '{' nlst '}'
-
- TYPE shift, and go to state 46
- UNAME shift, and go to state 47
-
-
-state 30
-
- 8 unit: one_decl .
-
- $default reduce using rule 8 (unit)
-
-
-state 31
-
- 37 cstate: C_STATE STRING . STRING
- 39 | C_STATE STRING . STRING STRING
-
- STRING shift, and go to state 48
-
-
-state 32
-
- 38 cstate: C_TRACK STRING . STRING
- 40 | C_TRACK STRING . STRING STRING
-
- STRING shift, and go to state 49
-
-
-state 33
-
- 30 utype: TYPEDEF NAME . @6 '{' decl_lst '}'
-
- $default reduce using rule 29 (@6)
-
- @6 go to state 50
-
-
-state 34
-
- 31 nm: NAME .
-
- $default reduce using rule 31 (nm)
-
-
-state 35
-
- 32 nm: INAME .
-
- $default reduce using rule 32 (nm)
-
-
-state 36
-
- 34 ns: INLINE nm . '(' @7 args ')'
-
- '(' shift, and go to state 51
-
-
-state 37
-
- 21 inst: ACTIVE '[' . CONST ']'
- 22 | ACTIVE '[' . NAME ']'
-
- CONST shift, and go to state 52
- NAME shift, and go to state 53
-
-
-state 38
-
- 26 claim: CLAIM @4 . body
-
- '{' shift, and go to state 54
-
- body go to state 55
-
-
-state 39
-
- 28 events: TRACE @5 . body
-
- '{' shift, and go to state 54
-
- body go to state 56
-
-
-state 40
-
- 24 init: INIT @3 . Opt_priority body
-
- PRIORITY shift, and go to state 57
-
- $default reduce using rule 178 (Opt_priority)
-
- Opt_priority go to state 58
-
-
-state 41
-
- 0 $accept: program $end .
-
- $default accept
-
-
-state 42
-
- 3 units: units unit .
-
- $default reduce using rule 3 (units)
-
-
-state 43
-
- 17 proctype: PROCTYPE .
-
- $default reduce using rule 17 (proctype)
-
-
-state 44
-
- 18 proctype: D_PROCTYPE .
-
- $default reduce using rule 18 (proctype)
-
-
-state 45
-
- 16 proc: inst proctype . NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body
-
- NAME shift, and go to state 59
-
-
-state 46
-
- 61 one_decl: vis TYPE . var_list
- 63 | vis TYPE . asgn '{' nlst '}'
-
- NAME shift, and go to state 60
- ASGN shift, and go to state 61
-
- $default reduce using rule 59 (asgn)
-
- asgn go to state 62
- var_list go to state 63
- ivar go to state 64
- vardcl go to state 65
-
-
-state 47
-
- 62 one_decl: vis UNAME . var_list
-
- NAME shift, and go to state 60
-
- var_list go to state 66
- ivar go to state 64
- vardcl go to state 65
-
-
-state 48
-
- 37 cstate: C_STATE STRING STRING .
- 39 | C_STATE STRING STRING . STRING
-
- STRING shift, and go to state 67
-
- $default reduce using rule 37 (cstate)
-
-
-state 49
-
- 38 cstate: C_TRACK STRING STRING .
- 40 | C_TRACK STRING STRING . STRING
-
- STRING shift, and go to state 68
-
- $default reduce using rule 38 (cstate)
-
-
-state 50
-
- 30 utype: TYPEDEF NAME @6 . '{' decl_lst '}'
-
- '{' shift, and go to state 69
-
-
-state 51
-
- 34 ns: INLINE nm '(' . @7 args ')'
-
- $default reduce using rule 33 (@7)
-
- @7 go to state 70
-
-
-state 52
-
- 21 inst: ACTIVE '[' CONST . ']'
-
- ']' shift, and go to state 71
-
-
-state 53
-
- 22 inst: ACTIVE '[' NAME . ']'
-
- ']' shift, and go to state 72
-
-
-state 54
-
- 46 body: '{' . @8 sequence OS @9 '}'
-
- $default reduce using rule 44 (@8)
-
- @8 go to state 73
-
-
-state 55
-
- 26 claim: CLAIM @4 body .
-
- $default reduce using rule 26 (claim)
-
-
-state 56
-
- 28 events: TRACE @5 body .
-
- $default reduce using rule 28 (events)
-
-
-state 57
-
- 179 Opt_priority: PRIORITY . CONST
-
- CONST shift, and go to state 74
-
-
-state 58
-
- 24 init: INIT @3 Opt_priority . body
-
- '{' shift, and go to state 54
-
- body go to state 75
-
-
-state 59
-
- 16 proc: inst proctype NAME . @1 '(' decl ')' @2 Opt_priority Opt_enabler body
-
- $default reduce using rule 14 (@1)
-
- @1 go to state 76
-
-
-state 60
-
- 76 vardcl: NAME .
- 77 | NAME . ':' CONST
- 78 | NAME . '[' CONST ']'
-
- '[' shift, and go to state 77
- ':' shift, and go to state 78
-
- $default reduce using rule 76 (vardcl)
-
-
-state 61
-
- 60 asgn: ASGN .
-
- $default reduce using rule 60 (asgn)
-
-
-state 62
-
- 63 one_decl: vis TYPE asgn . '{' nlst '}'
-
- '{' shift, and go to state 79
-
-
-state 63
-
- 61 one_decl: vis TYPE var_list .
-
- $default reduce using rule 61 (one_decl)
-
-
-state 64
-
- 70 var_list: ivar .
- 71 | ivar . ',' var_list
-
- ',' shift, and go to state 80
-
- $default reduce using rule 70 (var_list)
-
-
-state 65
-
- 72 ivar: vardcl .
- 73 | vardcl . ASGN expr
- 74 | vardcl . ASGN ch_init
-
- ASGN shift, and go to state 81
-
- $default reduce using rule 72 (ivar)
-
-
-state 66
-
- 62 one_decl: vis UNAME var_list .
-
- $default reduce using rule 62 (one_decl)
-
-
-state 67
-
- 39 cstate: C_STATE STRING STRING STRING .
-
- $default reduce using rule 39 (cstate)
-
-
-state 68
-
- 40 cstate: C_TRACK STRING STRING STRING .
-
- $default reduce using rule 40 (cstate)
-
-
-state 69
-
- 30 utype: TYPEDEF NAME @6 '{' . decl_lst '}'
-
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
-
- $default reduce using rule 55 (vis)
-
- vis go to state 29
- one_decl go to state 82
- decl_lst go to state 83
-
-
-state 70
-
- 34 ns: INLINE nm '(' @7 . args ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- $default reduce using rule 202 (args)
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- args go to state 103
- arg go to state 104
-
-
-state 71
-
- 21 inst: ACTIVE '[' CONST ']' .
-
- $default reduce using rule 21 (inst)
-
-
-state 72
-
- 22 inst: ACTIVE '[' NAME ']' .
-
- $default reduce using rule 22 (inst)
-
-
-state 73
-
- 46 body: '{' @8 . sequence OS @9 '}'
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- sequence go to state 125
- step go to state 126
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 74
-
- 179 Opt_priority: PRIORITY CONST .
-
- $default reduce using rule 179 (Opt_priority)
-
-
-state 75
-
- 24 init: INIT @3 Opt_priority body .
-
- $default reduce using rule 24 (init)
-
-
-state 76
-
- 16 proc: inst proctype NAME @1 . '(' decl ')' @2 Opt_priority Opt_enabler body
-
- '(' shift, and go to state 136
-
-
-state 77
-
- 78 vardcl: NAME '[' . CONST ']'
-
- CONST shift, and go to state 137
-
-
-state 78
-
- 77 vardcl: NAME ':' . CONST
-
- CONST shift, and go to state 138
-
-
-state 79
-
- 63 one_decl: vis TYPE asgn '{' . nlst '}'
-
- NAME shift, and go to state 139
-
- nlst go to state 140
-
-
-state 80
-
- 71 var_list: ivar ',' . var_list
-
- NAME shift, and go to state 60
-
- var_list go to state 141
- ivar go to state 64
- vardcl go to state 65
-
-
-state 81
-
- 73 ivar: vardcl ASGN . expr
- 74 | vardcl ASGN . ch_init
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
- '[' shift, and go to state 142
-
- cexpr go to state 98
- ch_init go to state 143
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 144
-
-
-state 82
-
- 64 decl_lst: one_decl .
- 65 | one_decl . SEMI decl_lst
-
- SEMI shift, and go to state 145
-
- $default reduce using rule 64 (decl_lst)
-
-
-state 83
-
- 30 utype: TYPEDEF NAME @6 '{' decl_lst . '}'
-
- '}' shift, and go to state 146
-
-
-state 84
-
- 43 cexpr: C_EXPR .
-
- $default reduce using rule 43 (cexpr)
-
-
-state 85
-
- 161 expr: RUN . aname @26 '(' args ')' Opt_priority
-
- NAME shift, and go to state 147
- PNAME shift, and go to state 148
-
- aname go to state 149
-
-
-state 86
-
- 162 expr: LEN . '(' varref ')'
-
- '(' shift, and go to state 150
-
-
-state 87
-
- 163 expr: ENABLED . '(' expr ')'
-
- '(' shift, and go to state 151
-
-
-state 88
-
- 173 expr: PC_VAL . '(' expr ')'
-
- '(' shift, and go to state 152
-
-
-state 89
-
- 171 expr: TIMEOUT .
-
- $default reduce using rule 171 (expr)
-
-
-state 90
-
- 172 expr: NONPROGRESS .
-
- $default reduce using rule 172 (expr)
-
-
-state 91
-
- 170 expr: CONST .
-
- $default reduce using rule 170 (expr)
-
-
-state 92
-
- 80 pfld: NAME .
- 82 | NAME . @10 '[' expr ']'
-
- '[' reduce using rule 81 (@10)
- $default reduce using rule 80 (pfld)
-
- @10 go to state 153
-
-
-state 93
-
- 174 expr: PNAME . '[' expr ']' '@' NAME
- 175 | PNAME . '[' expr ']' ':' pfld
- 176 | PNAME . '@' NAME
- 177 | PNAME . ':' pfld
-
- '[' shift, and go to state 154
- ':' shift, and go to state 155
- '@' shift, and go to state 156
-
-
-state 94
-
- 158 expr: SND . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 157
-
-
-state 95
-
- 157 expr: '-' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 158
-
-
-state 96
-
- 156 expr: '~' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 159
-
-
-state 97
-
- 137 expr: '(' . expr ')'
- 159 | '(' . expr SEMI expr ':' expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 160
-
-
-state 98
-
- 169 expr: cexpr .
-
- $default reduce using rule 169 (expr)
-
-
-state 99
-
- 165 expr: varref . RCV @27 '[' rargs ']'
- 167 | varref . R_RCV @28 '[' rargs ']'
- 168 | varref .
-
- R_RCV shift, and go to state 161
- RCV shift, and go to state 162
-
- $default reduce using rule 168 (expr)
-
-
-state 100
-
- 84 cmpnd: pfld . @11 sfld
-
- $default reduce using rule 83 (@11)
-
- @11 go to state 163
-
-
-state 101
-
- 79 varref: cmpnd .
-
- $default reduce using rule 79 (varref)
-
-
-state 102
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 208 arg: expr .
- 209 | expr . ',' arg
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ',' shift, and go to state 182
-
- $default reduce using rule 208 (arg)
-
-
-state 103
-
- 34 ns: INLINE nm '(' @7 args . ')'
-
- ')' shift, and go to state 183
-
-
-state 104
-
- 203 args: arg .
-
- $default reduce using rule 203 (args)
-
-
-state 105
-
- 106 Stmnt: ASSERT . full_expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 132
- full_expr go to state 184
- Expr go to state 134
- Probe go to state 135
-
-
-state 106
-
- 103 Stmnt: PRINT . '(' STRING @15 prargs ')'
-
- '(' shift, and go to state 185
-
-
-state 107
-
- 104 Stmnt: PRINTM . '(' varref ')'
- 105 | PRINTM . '(' CONST ')'
-
- '(' shift, and go to state 186
-
-
-state 108
-
- 97 Special: GOTO . NAME
-
- NAME shift, and go to state 187
-
-
-state 109
-
- 96 Special: BREAK .
-
- $default reduce using rule 96 (Special)
-
-
-state 110
-
- 117 Stmnt: ELSE .
-
- $default reduce using rule 117 (Stmnt)
-
-
-state 111
-
- 93 Special: IF . options FI
-
- SEP shift, and go to state 188
-
- options go to state 189
- option go to state 190
-
-
-state 112
-
- 95 Special: DO . @14 options OD
-
- $default reduce using rule 94 (@14)
-
- @14 go to state 191
-
-
-state 113
-
- 119 Stmnt: ATOMIC . '{' @20 sequence OS '}'
-
- '{' shift, and go to state 192
-
-
-state 114
-
- 121 Stmnt: D_STEP . '{' @21 sequence OS '}'
-
- '{' shift, and go to state 193
-
-
-state 115
-
- 193 Probe: FULL . '(' varref ')'
-
- '(' shift, and go to state 194
-
-
-state 116
-
- 195 Probe: EMPTY . '(' varref ')'
-
- '(' shift, and go to state 195
-
-
-state 117
-
- 194 Probe: NFULL . '(' varref ')'
-
- '(' shift, and go to state 196
-
-
-state 118
-
- 196 Probe: NEMPTY . '(' varref ')'
-
- '(' shift, and go to state 197
-
-
-state 119
-
- 50 step: XU . vref_lst
-
- NAME shift, and go to state 92
-
- vref_lst go to state 198
- varref go to state 199
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 120
-
- 51 step: NAME . ':' one_decl
- 52 | NAME . ':' XU
- 80 pfld: NAME .
- 82 | NAME . @10 '[' expr ']'
- 98 Special: NAME . ':' stmnt
-
- ':' shift, and go to state 200
-
- '[' reduce using rule 81 (@10)
- $default reduce using rule 80 (pfld)
-
- @10 go to state 153
-
-
-state 121
-
- 126 Stmnt: INAME . @23 '(' args ')' @24 Stmnt
-
- $default reduce using rule 124 (@23)
-
- @23 go to state 201
-
-
-state 122
-
- 137 expr: '(' . expr ')'
- 159 | '(' . expr SEMI expr ':' expr ')'
- 186 Expr: '(' . Expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 202
- Expr go to state 203
- Probe go to state 135
-
-
-state 123
-
- 123 Stmnt: '{' . @22 sequence OS '}'
-
- $default reduce using rule 122 (@22)
-
- @22 go to state 204
-
-
-state 124
-
- 107 Stmnt: ccode .
-
- $default reduce using rule 107 (Stmnt)
-
-
-state 125
-
- 46 body: '{' @8 sequence . OS @9 '}'
- 48 sequence: sequence . MS step
-
- SEMI shift, and go to state 205
-
- $default reduce using rule 131 (OS)
-
- OS go to state 206
- MS go to state 207
-
-
-state 126
-
- 47 sequence: step .
-
- $default reduce using rule 47 (sequence)
-
-
-state 127
-
- 49 step: one_decl .
-
- $default reduce using rule 49 (step)
-
-
-state 128
-
- 90 Special: varref . RCV @12 rargs
- 92 | varref . SND @13 margs
- 99 Stmnt: varref . ASGN expr
- 100 | varref . INCR
- 101 | varref . DECR
- 109 | varref . R_RCV @16 rargs
- 111 | varref . RCV @17 LT rargs GT
- 113 | varref . R_RCV @18 LT rargs GT
- 115 | varref . O_SND @19 margs
- 165 expr: varref . RCV @27 '[' rargs ']'
- 167 | varref . R_RCV @28 '[' rargs ']'
- 168 | varref .
-
- ASGN shift, and go to state 208
- R_RCV shift, and go to state 209
- RCV shift, and go to state 210
- O_SND shift, and go to state 211
- SND shift, and go to state 212
- DECR shift, and go to state 213
- INCR shift, and go to state 214
-
- $default reduce using rule 168 (expr)
-
-
-state 129
-
- 53 step: stmnt .
- 54 | stmnt . UNLESS stmnt
-
- UNLESS shift, and go to state 215
-
- $default reduce using rule 53 (step)
-
-
-state 130
-
- 87 stmnt: Special .
-
- $default reduce using rule 87 (stmnt)
-
-
-state 131
-
- 88 stmnt: Stmnt .
-
- $default reduce using rule 88 (stmnt)
-
-
-state 132
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 180 full_expr: expr .
- 191 Expr: expr . AND Expr
- 192 | expr . OR Expr
-
- OR shift, and go to state 216
- AND shift, and go to state 217
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 180 (full_expr)
-
-
-state 133
-
- 116 Stmnt: full_expr .
-
- $default reduce using rule 116 (Stmnt)
-
-
-state 134
-
- 181 full_expr: Expr .
- 187 Expr: Expr . AND Expr
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 190 | Expr . OR expr
-
- OR shift, and go to state 218
- AND shift, and go to state 219
-
- $default reduce using rule 181 (full_expr)
-
-
-state 135
-
- 185 Expr: Probe .
-
- $default reduce using rule 185 (Expr)
-
-
-state 136
-
- 16 proc: inst proctype NAME @1 '(' . decl ')' @2 Opt_priority Opt_enabler body
-
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
-
- ')' reduce using rule 66 (decl)
- $default reduce using rule 55 (vis)
-
- vis go to state 29
- one_decl go to state 82
- decl_lst go to state 220
- decl go to state 221
-
-
-state 137
-
- 78 vardcl: NAME '[' CONST . ']'
-
- ']' shift, and go to state 222
-
-
-state 138
-
- 77 vardcl: NAME ':' CONST .
-
- $default reduce using rule 77 (vardcl)
-
-
-state 139
-
- 218 nlst: NAME .
-
- $default reduce using rule 218 (nlst)
-
-
-state 140
-
- 63 one_decl: vis TYPE asgn '{' nlst . '}'
- 219 nlst: nlst . NAME
- 220 | nlst . ','
-
- NAME shift, and go to state 223
- '}' shift, and go to state 224
- ',' shift, and go to state 225
-
-
-state 141
-
- 71 var_list: ivar ',' var_list .
-
- $default reduce using rule 71 (var_list)
-
-
-state 142
-
- 75 ch_init: '[' . CONST ']' OF '{' typ_list '}'
-
- CONST shift, and go to state 226
-
-
-state 143
-
- 74 ivar: vardcl ASGN ch_init .
-
- $default reduce using rule 74 (ivar)
-
-
-state 144
-
- 73 ivar: vardcl ASGN expr .
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 73 (ivar)
-
-
-state 145
-
- 65 decl_lst: one_decl SEMI . decl_lst
-
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
-
- $default reduce using rule 55 (vis)
-
- vis go to state 29
- one_decl go to state 82
- decl_lst go to state 227
-
-
-state 146
-
- 30 utype: TYPEDEF NAME @6 '{' decl_lst '}' .
-
- $default reduce using rule 30 (utype)
-
-
-state 147
-
- 135 aname: NAME .
-
- $default reduce using rule 135 (aname)
-
-
-state 148
-
- 136 aname: PNAME .
-
- $default reduce using rule 136 (aname)
-
-
-state 149
-
- 161 expr: RUN aname . @26 '(' args ')' Opt_priority
-
- $default reduce using rule 160 (@26)
-
- @26 go to state 228
-
-
-state 150
-
- 162 expr: LEN '(' . varref ')'
-
- NAME shift, and go to state 92
-
- varref go to state 229
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 151
-
- 163 expr: ENABLED '(' . expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 230
-
-
-state 152
-
- 173 expr: PC_VAL '(' . expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 231
-
-
-state 153
-
- 82 pfld: NAME @10 . '[' expr ']'
-
- '[' shift, and go to state 232
-
-
-state 154
-
- 174 expr: PNAME '[' . expr ']' '@' NAME
- 175 | PNAME '[' . expr ']' ':' pfld
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 233
-
-
-state 155
-
- 177 expr: PNAME ':' . pfld
-
- NAME shift, and go to state 92
-
- pfld go to state 234
-
-
-state 156
-
- 176 expr: PNAME '@' . NAME
-
- NAME shift, and go to state 235
-
-
-state 157
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 158 | SND expr .
-
- $default reduce using rule 158 (expr)
-
-
-state 158
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 157 | '-' expr .
-
- $default reduce using rule 157 (expr)
-
-
-state 159
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 156 | '~' expr .
-
- $default reduce using rule 156 (expr)
-
-
-state 160
-
- 137 expr: '(' expr . ')'
- 138 | expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 159 | '(' expr . SEMI expr ':' expr ')'
-
- SEMI shift, and go to state 236
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 237
-
-
-state 161
-
- 167 expr: varref R_RCV . @28 '[' rargs ']'
-
- $default reduce using rule 166 (@28)
-
- @28 go to state 238
-
-
-state 162
-
- 165 expr: varref RCV . @27 '[' rargs ']'
-
- $default reduce using rule 164 (@27)
-
- @27 go to state 239
-
-
-state 163
-
- 84 cmpnd: pfld @11 . sfld
-
- '.' shift, and go to state 240
-
- $default reduce using rule 85 (sfld)
-
- sfld go to state 241
-
-
-state 164
-
- 153 expr: expr OR . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 242
-
-
-state 165
-
- 152 expr: expr AND . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 243
-
-
-state 166
-
- 145 expr: expr '|' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 244
-
-
-state 167
-
- 144 expr: expr '^' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 245
-
-
-state 168
-
- 143 expr: expr '&' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 246
-
-
-state 169
-
- 151 expr: expr NE . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 247
-
-
-state 170
-
- 150 expr: expr EQ . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 248
-
-
-state 171
-
- 149 expr: expr LE . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 249
-
-
-state 172
-
- 148 expr: expr GE . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 250
-
-
-state 173
-
- 147 expr: expr LT . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 251
-
-
-state 174
-
- 146 expr: expr GT . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 252
-
-
-state 175
-
- 155 expr: expr RSHIFT . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 253
-
-
-state 176
-
- 154 expr: expr LSHIFT . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 254
-
-
-state 177
-
- 138 expr: expr '+' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 255
-
-
-state 178
-
- 139 expr: expr '-' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 256
-
-
-state 179
-
- 140 expr: expr '*' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 257
-
-
-state 180
-
- 141 expr: expr '/' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 258
-
-
-state 181
-
- 142 expr: expr '%' . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 259
-
-
-state 182
-
- 209 arg: expr ',' . arg
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- arg go to state 260
-
-
-state 183
-
- 34 ns: INLINE nm '(' @7 args ')' .
-
- $default reduce using rule 34 (ns)
-
-
-state 184
-
- 106 Stmnt: ASSERT full_expr .
-
- $default reduce using rule 106 (Stmnt)
-
-
-state 185
-
- 103 Stmnt: PRINT '(' . STRING @15 prargs ')'
-
- STRING shift, and go to state 261
-
-
-state 186
-
- 104 Stmnt: PRINTM '(' . varref ')'
- 105 | PRINTM '(' . CONST ')'
-
- CONST shift, and go to state 262
- NAME shift, and go to state 92
-
- varref go to state 263
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 187
-
- 97 Special: GOTO NAME .
-
- $default reduce using rule 97 (Special)
-
-
-state 188
-
- 130 option: SEP . @25 sequence OS
-
- $default reduce using rule 129 (@25)
-
- @25 go to state 264
-
-
-state 189
-
- 93 Special: IF options . FI
-
- FI shift, and go to state 265
-
-
-state 190
-
- 127 options: option .
- 128 | option . options
-
- SEP shift, and go to state 188
-
- $default reduce using rule 127 (options)
-
- options go to state 266
- option go to state 190
-
-
-state 191
-
- 95 Special: DO @14 . options OD
-
- SEP shift, and go to state 188
-
- options go to state 267
- option go to state 190
-
-
-state 192
-
- 119 Stmnt: ATOMIC '{' . @20 sequence OS '}'
-
- $default reduce using rule 118 (@20)
-
- @20 go to state 268
-
-
-state 193
-
- 121 Stmnt: D_STEP '{' . @21 sequence OS '}'
-
- $default reduce using rule 120 (@21)
-
- @21 go to state 269
-
-
-state 194
-
- 193 Probe: FULL '(' . varref ')'
-
- NAME shift, and go to state 92
-
- varref go to state 270
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 195
-
- 195 Probe: EMPTY '(' . varref ')'
-
- NAME shift, and go to state 92
-
- varref go to state 271
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 196
-
- 194 Probe: NFULL '(' . varref ')'
-
- NAME shift, and go to state 92
-
- varref go to state 272
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 197
-
- 196 Probe: NEMPTY '(' . varref ')'
-
- NAME shift, and go to state 92
-
- varref go to state 273
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 198
-
- 50 step: XU vref_lst .
-
- $default reduce using rule 50 (step)
-
-
-state 199
-
- 68 vref_lst: varref .
- 69 | varref . ',' vref_lst
-
- ',' shift, and go to state 274
-
- $default reduce using rule 68 (vref_lst)
-
-
-state 200
-
- 51 step: NAME ':' . one_decl
- 52 | NAME ':' . XU
- 98 Special: NAME ':' . stmnt
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 275
- NAME shift, and go to state 276
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- vis go to state 29
- one_decl go to state 277
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 278
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 201
-
- 126 Stmnt: INAME @23 . '(' args ')' @24 Stmnt
-
- '(' shift, and go to state 279
-
-
-state 202
-
- 137 expr: '(' expr . ')'
- 138 | expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 159 | '(' expr . SEMI expr ':' expr ')'
- 191 Expr: expr . AND Expr
- 192 | expr . OR Expr
-
- SEMI shift, and go to state 236
- OR shift, and go to state 216
- AND shift, and go to state 217
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 237
-
-
-state 203
-
- 186 Expr: '(' Expr . ')'
- 187 | Expr . AND Expr
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 190 | Expr . OR expr
-
- OR shift, and go to state 218
- AND shift, and go to state 219
- ')' shift, and go to state 280
-
-
-state 204
-
- 123 Stmnt: '{' @22 . sequence OS '}'
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- sequence go to state 281
- step go to state 126
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 205
-
- 132 OS: SEMI .
- 133 MS: SEMI .
-
- FI reduce using rule 132 (OS)
- OD reduce using rule 132 (OS)
- SEP reduce using rule 132 (OS)
- '}' reduce using rule 132 (OS)
- $default reduce using rule 133 (MS)
-
-
-state 206
-
- 46 body: '{' @8 sequence OS . @9 '}'
-
- $default reduce using rule 45 (@9)
-
- @9 go to state 282
-
-
-state 207
-
- 48 sequence: sequence MS . step
- 134 MS: MS . SEMI
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- SEMI shift, and go to state 283
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- step go to state 284
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 208
-
- 99 Stmnt: varref ASGN . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 285
-
-
-state 209
-
- 109 Stmnt: varref R_RCV . @16 rargs
- 113 | varref R_RCV . @18 LT rargs GT
- 167 expr: varref R_RCV . @28 '[' rargs ']'
-
- LT reduce using rule 112 (@18)
- '[' reduce using rule 166 (@28)
- $default reduce using rule 108 (@16)
-
- @16 go to state 286
- @18 go to state 287
- @28 go to state 238
-
-
-state 210
-
- 90 Special: varref RCV . @12 rargs
- 111 Stmnt: varref RCV . @17 LT rargs GT
- 165 expr: varref RCV . @27 '[' rargs ']'
-
- LT reduce using rule 110 (@17)
- '[' reduce using rule 164 (@27)
- $default reduce using rule 89 (@12)
-
- @12 go to state 288
- @17 go to state 289
- @27 go to state 239
-
-
-state 211
-
- 115 Stmnt: varref O_SND . @19 margs
-
- $default reduce using rule 114 (@19)
-
- @19 go to state 290
-
-
-state 212
-
- 92 Special: varref SND . @13 margs
-
- $default reduce using rule 91 (@13)
-
- @13 go to state 291
-
-
-state 213
-
- 101 Stmnt: varref DECR .
-
- $default reduce using rule 101 (Stmnt)
-
-
-state 214
-
- 100 Stmnt: varref INCR .
-
- $default reduce using rule 100 (Stmnt)
-
-
-state 215
-
- 54 step: stmnt UNLESS . stmnt
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 276
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- ccode go to state 124
- cexpr go to state 98
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 292
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 216
-
- 153 expr: expr OR . expr
- 192 Expr: expr OR . Expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 293
- Expr go to state 294
- Probe go to state 135
-
-
-state 217
-
- 152 expr: expr AND . expr
- 191 Expr: expr AND . Expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 295
- Expr go to state 296
- Probe go to state 135
-
-
-state 218
-
- 189 Expr: Expr OR . Expr
- 190 | Expr OR . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 297
- Expr go to state 298
- Probe go to state 135
-
-
-state 219
-
- 187 Expr: Expr AND . Expr
- 188 | Expr AND . expr
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 299
- Expr go to state 300
- Probe go to state 135
-
-
-state 220
-
- 67 decl: decl_lst .
-
- $default reduce using rule 67 (decl)
-
-
-state 221
-
- 16 proc: inst proctype NAME @1 '(' decl . ')' @2 Opt_priority Opt_enabler body
-
- ')' shift, and go to state 301
-
-
-state 222
-
- 78 vardcl: NAME '[' CONST ']' .
-
- $default reduce using rule 78 (vardcl)
-
-
-state 223
-
- 219 nlst: nlst NAME .
-
- $default reduce using rule 219 (nlst)
-
-
-state 224
-
- 63 one_decl: vis TYPE asgn '{' nlst '}' .
-
- $default reduce using rule 63 (one_decl)
-
-
-state 225
-
- 220 nlst: nlst ',' .
-
- $default reduce using rule 220 (nlst)
-
-
-state 226
-
- 75 ch_init: '[' CONST . ']' OF '{' typ_list '}'
-
- ']' shift, and go to state 302
-
-
-state 227
-
- 65 decl_lst: one_decl SEMI decl_lst .
-
- $default reduce using rule 65 (decl_lst)
-
-
-state 228
-
- 161 expr: RUN aname @26 . '(' args ')' Opt_priority
-
- '(' shift, and go to state 303
-
-
-state 229
-
- 162 expr: LEN '(' varref . ')'
-
- ')' shift, and go to state 304
-
-
-state 230
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 163 | ENABLED '(' expr . ')'
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 305
-
-
-state 231
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 173 | PC_VAL '(' expr . ')'
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 306
-
-
-state 232
-
- 82 pfld: NAME @10 '[' . expr ']'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 307
-
-
-state 233
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 174 | PNAME '[' expr . ']' '@' NAME
- 175 | PNAME '[' expr . ']' ':' pfld
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ']' shift, and go to state 308
-
-
-state 234
-
- 177 expr: PNAME ':' pfld .
-
- $default reduce using rule 177 (expr)
-
-
-state 235
-
- 176 expr: PNAME '@' NAME .
-
- $default reduce using rule 176 (expr)
-
-
-state 236
-
- 159 expr: '(' expr SEMI . expr ':' expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 309
-
-
-state 237
-
- 137 expr: '(' expr ')' .
-
- $default reduce using rule 137 (expr)
-
-
-state 238
-
- 167 expr: varref R_RCV @28 . '[' rargs ']'
-
- '[' shift, and go to state 310
-
-
-state 239
-
- 165 expr: varref RCV @27 . '[' rargs ']'
-
- '[' shift, and go to state 311
-
-
-state 240
-
- 86 sfld: '.' . cmpnd
-
- NAME shift, and go to state 92
-
- pfld go to state 100
- cmpnd go to state 312
-
-
-state 241
-
- 84 cmpnd: pfld @11 sfld .
-
- $default reduce using rule 84 (cmpnd)
-
-
-state 242
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 153 | expr OR expr .
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 153 (expr)
-
-
-state 243
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 152 | expr AND expr .
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 152 (expr)
-
-
-state 244
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 145 | expr '|' expr .
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 145 (expr)
-
-
-state 245
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 144 | expr '^' expr .
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 144 (expr)
-
-
-state 246
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 143 | expr '&' expr .
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 143 (expr)
-
-
-state 247
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 151 | expr NE expr .
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 151 (expr)
-
-
-state 248
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 150 | expr EQ expr .
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 150 (expr)
-
-
-state 249
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 149 | expr LE expr .
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 149 (expr)
-
-
-state 250
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 148 | expr GE expr .
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 148 (expr)
-
-
-state 251
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 147 | expr LT expr .
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 147 (expr)
-
-
-state 252
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 146 | expr GT expr .
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 146 (expr)
-
-
-state 253
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 155 | expr RSHIFT expr .
-
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 155 (expr)
-
-
-state 254
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 154 | expr LSHIFT expr .
- 155 | expr . RSHIFT expr
-
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 154 (expr)
-
-
-state 255
-
- 138 expr: expr . '+' expr
- 138 | expr '+' expr .
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 138 (expr)
-
-
-state 256
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 139 | expr '-' expr .
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 139 (expr)
-
-
-state 257
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 140 | expr '*' expr .
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- $default reduce using rule 140 (expr)
-
-
-state 258
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 141 | expr '/' expr .
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- $default reduce using rule 141 (expr)
-
-
-state 259
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 142 | expr '%' expr .
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- $default reduce using rule 142 (expr)
-
-
-state 260
-
- 209 arg: expr ',' arg .
-
- $default reduce using rule 209 (arg)
-
-
-state 261
-
- 103 Stmnt: PRINT '(' STRING . @15 prargs ')'
-
- $default reduce using rule 102 (@15)
-
- @15 go to state 313
-
-
-state 262
-
- 105 Stmnt: PRINTM '(' CONST . ')'
-
- ')' shift, and go to state 314
-
-
-state 263
-
- 104 Stmnt: PRINTM '(' varref . ')'
-
- ')' shift, and go to state 315
-
-
-state 264
-
- 130 option: SEP @25 . sequence OS
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- sequence go to state 316
- step go to state 126
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 265
-
- 93 Special: IF options FI .
-
- $default reduce using rule 93 (Special)
-
-
-state 266
-
- 128 options: option options .
-
- $default reduce using rule 128 (options)
-
-
-state 267
-
- 95 Special: DO @14 options . OD
-
- OD shift, and go to state 317
-
-
-state 268
-
- 119 Stmnt: ATOMIC '{' @20 . sequence OS '}'
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- sequence go to state 318
- step go to state 126
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 269
-
- 121 Stmnt: D_STEP '{' @21 . sequence OS '}'
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- HIDDEN shift, and go to state 10
- SHOW shift, and go to state 11
- ISLOCAL shift, and go to state 12
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- XU shift, and go to state 119
- NAME shift, and go to state 120
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- $default reduce using rule 55 (vis)
-
- ccode go to state 124
- cexpr go to state 98
- sequence go to state 319
- step go to state 126
- vis go to state 29
- one_decl go to state 127
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 129
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 270
-
- 193 Probe: FULL '(' varref . ')'
-
- ')' shift, and go to state 320
-
-
-state 271
-
- 195 Probe: EMPTY '(' varref . ')'
-
- ')' shift, and go to state 321
-
-
-state 272
-
- 194 Probe: NFULL '(' varref . ')'
-
- ')' shift, and go to state 322
-
-
-state 273
-
- 196 Probe: NEMPTY '(' varref . ')'
-
- ')' shift, and go to state 323
-
-
-state 274
-
- 69 vref_lst: varref ',' . vref_lst
-
- NAME shift, and go to state 92
-
- vref_lst go to state 324
- varref go to state 199
- pfld go to state 100
- cmpnd go to state 101
-
-
-state 275
-
- 52 step: NAME ':' XU .
-
- $default reduce using rule 52 (step)
-
-
-state 276
-
- 80 pfld: NAME .
- 82 | NAME . @10 '[' expr ']'
- 98 Special: NAME . ':' stmnt
-
- ':' shift, and go to state 325
-
- '[' reduce using rule 81 (@10)
- $default reduce using rule 80 (pfld)
-
- @10 go to state 153
-
-
-state 277
-
- 51 step: NAME ':' one_decl .
-
- $default reduce using rule 51 (step)
-
-
-state 278
-
- 98 Special: NAME ':' stmnt .
-
- $default reduce using rule 98 (Special)
-
-
-state 279
-
- 126 Stmnt: INAME @23 '(' . args ')' @24 Stmnt
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- $default reduce using rule 202 (args)
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- args go to state 326
- arg go to state 104
-
-
-state 280
-
- 186 Expr: '(' Expr ')' .
-
- $default reduce using rule 186 (Expr)
-
-
-state 281
-
- 48 sequence: sequence . MS step
- 123 Stmnt: '{' @22 sequence . OS '}'
-
- SEMI shift, and go to state 205
-
- $default reduce using rule 131 (OS)
-
- OS go to state 327
- MS go to state 207
-
-
-state 282
-
- 46 body: '{' @8 sequence OS @9 . '}'
-
- '}' shift, and go to state 328
-
-
-state 283
-
- 134 MS: MS SEMI .
-
- $default reduce using rule 134 (MS)
-
-
-state 284
-
- 48 sequence: sequence MS step .
-
- $default reduce using rule 48 (sequence)
-
-
-state 285
-
- 99 Stmnt: varref ASGN expr .
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 99 (Stmnt)
-
-
-state 286
-
- 109 Stmnt: varref R_RCV @16 . rargs
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 335
-
-
-state 287
-
- 113 Stmnt: varref R_RCV @18 . LT rargs GT
-
- LT shift, and go to state 336
-
-
-state 288
-
- 90 Special: varref RCV @12 . rargs
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 337
-
-
-state 289
-
- 111 Stmnt: varref RCV @17 . LT rargs GT
-
- LT shift, and go to state 338
-
-
-state 290
-
- 115 Stmnt: varref O_SND @19 . margs
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 339
- margs go to state 340
- arg go to state 341
-
-
-state 291
-
- 92 Special: varref SND @13 . margs
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 339
- margs go to state 342
- arg go to state 341
-
-
-state 292
-
- 54 step: stmnt UNLESS stmnt .
-
- $default reduce using rule 54 (step)
-
-
-state 293
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 153 | expr OR expr .
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 191 Expr: expr . AND Expr
- 192 | expr . OR Expr
-
- AND shift, and go to state 217
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 153 (expr)
-
-
-state 294
-
- 187 Expr: Expr . AND Expr
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 190 | Expr . OR expr
- 192 | expr OR Expr .
-
- AND shift, and go to state 219
-
- $default reduce using rule 192 (Expr)
-
-
-state 295
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 152 | expr AND expr .
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 191 Expr: expr . AND Expr
- 192 | expr . OR Expr
-
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 152 (expr)
-
-
-state 296
-
- 187 Expr: Expr . AND Expr
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 190 | Expr . OR expr
- 191 | expr AND Expr .
-
- $default reduce using rule 191 (Expr)
-
-
-state 297
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 190 Expr: Expr OR expr .
- 191 | expr . AND Expr
- 192 | expr . OR Expr
-
- AND shift, and go to state 217
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 190 (Expr)
-
-
-state 298
-
- 187 Expr: Expr . AND Expr
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 189 | Expr OR Expr .
- 190 | Expr . OR expr
-
- AND shift, and go to state 219
-
- $default reduce using rule 189 (Expr)
-
-
-state 299
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 188 Expr: Expr AND expr .
- 191 | expr . AND Expr
- 192 | expr . OR Expr
-
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
-
- $default reduce using rule 188 (Expr)
-
-
-state 300
-
- 187 Expr: Expr . AND Expr
- 187 | Expr AND Expr .
- 188 | Expr . AND expr
- 189 | Expr . OR Expr
- 190 | Expr . OR expr
-
- $default reduce using rule 187 (Expr)
-
-
-state 301
-
- 16 proc: inst proctype NAME @1 '(' decl ')' . @2 Opt_priority Opt_enabler body
-
- $default reduce using rule 15 (@2)
-
- @2 go to state 343
-
-
-state 302
-
- 75 ch_init: '[' CONST ']' . OF '{' typ_list '}'
-
- OF shift, and go to state 344
-
-
-state 303
-
- 161 expr: RUN aname @26 '(' . args ')' Opt_priority
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- $default reduce using rule 202 (args)
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- args go to state 345
- arg go to state 104
-
-
-state 304
-
- 162 expr: LEN '(' varref ')' .
-
- $default reduce using rule 162 (expr)
-
-
-state 305
-
- 163 expr: ENABLED '(' expr ')' .
-
- $default reduce using rule 163 (expr)
-
-
-state 306
-
- 173 expr: PC_VAL '(' expr ')' .
-
- $default reduce using rule 173 (expr)
-
-
-state 307
-
- 82 pfld: NAME @10 '[' expr . ']'
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ']' shift, and go to state 346
-
-
-state 308
-
- 174 expr: PNAME '[' expr ']' . '@' NAME
- 175 | PNAME '[' expr ']' . ':' pfld
-
- ':' shift, and go to state 347
- '@' shift, and go to state 348
-
-
-state 309
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 159 | '(' expr SEMI expr . ':' expr ')'
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ':' shift, and go to state 349
-
-
-state 310
-
- 167 expr: varref R_RCV @28 '[' . rargs ']'
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 350
-
-
-state 311
-
- 165 expr: varref RCV @27 '[' . rargs ']'
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 351
-
-
-state 312
-
- 86 sfld: '.' cmpnd .
-
- $default reduce using rule 86 (sfld)
-
-
-state 313
-
- 103 Stmnt: PRINT '(' STRING @15 . prargs ')'
-
- ',' shift, and go to state 352
-
- $default reduce using rule 204 (prargs)
-
- prargs go to state 353
-
-
-state 314
-
- 105 Stmnt: PRINTM '(' CONST ')' .
-
- $default reduce using rule 105 (Stmnt)
-
-
-state 315
-
- 104 Stmnt: PRINTM '(' varref ')' .
-
- $default reduce using rule 104 (Stmnt)
-
-
-state 316
-
- 48 sequence: sequence . MS step
- 130 option: SEP @25 sequence . OS
-
- SEMI shift, and go to state 205
-
- $default reduce using rule 131 (OS)
-
- OS go to state 354
- MS go to state 207
-
-
-state 317
-
- 95 Special: DO @14 options OD .
-
- $default reduce using rule 95 (Special)
-
-
-state 318
-
- 48 sequence: sequence . MS step
- 119 Stmnt: ATOMIC '{' @20 sequence . OS '}'
-
- SEMI shift, and go to state 205
-
- $default reduce using rule 131 (OS)
-
- OS go to state 355
- MS go to state 207
-
-
-state 319
-
- 48 sequence: sequence . MS step
- 121 Stmnt: D_STEP '{' @21 sequence . OS '}'
-
- SEMI shift, and go to state 205
-
- $default reduce using rule 131 (OS)
-
- OS go to state 356
- MS go to state 207
-
-
-state 320
-
- 193 Probe: FULL '(' varref ')' .
-
- $default reduce using rule 193 (Probe)
-
-
-state 321
-
- 195 Probe: EMPTY '(' varref ')' .
-
- $default reduce using rule 195 (Probe)
-
-
-state 322
-
- 194 Probe: NFULL '(' varref ')' .
-
- $default reduce using rule 194 (Probe)
-
-
-state 323
-
- 196 Probe: NEMPTY '(' varref ')' .
-
- $default reduce using rule 196 (Probe)
-
-
-state 324
-
- 69 vref_lst: varref ',' vref_lst .
-
- $default reduce using rule 69 (vref_lst)
-
-
-state 325
-
- 98 Special: NAME ':' . stmnt
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- GOTO shift, and go to state 108
- BREAK shift, and go to state 109
- ELSE shift, and go to state 110
- IF shift, and go to state 111
- DO shift, and go to state 112
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 276
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- ccode go to state 124
- cexpr go to state 98
- varref go to state 128
- pfld go to state 100
- cmpnd go to state 101
- stmnt go to state 278
- Special go to state 130
- Stmnt go to state 131
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 326
-
- 126 Stmnt: INAME @23 '(' args . ')' @24 Stmnt
-
- ')' shift, and go to state 357
-
-
-state 327
-
- 123 Stmnt: '{' @22 sequence OS . '}'
-
- '}' shift, and go to state 358
-
-
-state 328
-
- 46 body: '{' @8 sequence OS @9 '}' .
-
- $default reduce using rule 46 (body)
-
-
-state 329
-
- 211 rarg: EVAL . '(' expr ')'
-
- '(' shift, and go to state 359
-
-
-state 330
-
- 212 rarg: CONST .
-
- $default reduce using rule 212 (rarg)
-
-
-state 331
-
- 213 rarg: '-' . CONST
-
- CONST shift, and go to state 360
-
-
-state 332
-
- 217 rargs: '(' . rargs ')'
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 361
-
-
-state 333
-
- 210 rarg: varref .
-
- $default reduce using rule 210 (rarg)
-
-
-state 334
-
- 214 rargs: rarg .
- 215 | rarg . ',' rargs
- 216 | rarg . '(' rargs ')'
-
- '(' shift, and go to state 362
- ',' shift, and go to state 363
-
- $default reduce using rule 214 (rargs)
-
-
-state 335
-
- 109 Stmnt: varref R_RCV @16 rargs .
-
- $default reduce using rule 109 (Stmnt)
-
-
-state 336
-
- 113 Stmnt: varref R_RCV @18 LT . rargs GT
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 364
-
-
-state 337
-
- 90 Special: varref RCV @12 rargs .
-
- $default reduce using rule 90 (Special)
-
-
-state 338
-
- 111 Stmnt: varref RCV @17 LT . rargs GT
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 365
-
-
-state 339
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 207 margs: expr . '(' arg ')'
- 208 arg: expr .
- 209 | expr . ',' arg
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- '(' shift, and go to state 366
- ',' shift, and go to state 182
-
- $default reduce using rule 208 (arg)
-
-
-state 340
-
- 115 Stmnt: varref O_SND @19 margs .
-
- $default reduce using rule 115 (Stmnt)
-
-
-state 341
-
- 206 margs: arg .
-
- $default reduce using rule 206 (margs)
-
-
-state 342
-
- 92 Special: varref SND @13 margs .
-
- $default reduce using rule 92 (Special)
-
-
-state 343
-
- 16 proc: inst proctype NAME @1 '(' decl ')' @2 . Opt_priority Opt_enabler body
-
- PRIORITY shift, and go to state 57
-
- $default reduce using rule 178 (Opt_priority)
-
- Opt_priority go to state 367
-
-
-state 344
-
- 75 ch_init: '[' CONST ']' OF . '{' typ_list '}'
-
- '{' shift, and go to state 368
-
-
-state 345
-
- 161 expr: RUN aname @26 '(' args . ')' Opt_priority
-
- ')' shift, and go to state 369
-
-
-state 346
-
- 82 pfld: NAME @10 '[' expr ']' .
-
- $default reduce using rule 82 (pfld)
-
-
-state 347
-
- 175 expr: PNAME '[' expr ']' ':' . pfld
-
- NAME shift, and go to state 92
-
- pfld go to state 370
-
-
-state 348
-
- 174 expr: PNAME '[' expr ']' '@' . NAME
-
- NAME shift, and go to state 371
-
-
-state 349
-
- 159 expr: '(' expr SEMI expr ':' . expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 372
-
-
-state 350
-
- 167 expr: varref R_RCV @28 '[' rargs . ']'
-
- ']' shift, and go to state 373
-
-
-state 351
-
- 165 expr: varref RCV @27 '[' rargs . ']'
-
- ']' shift, and go to state 374
-
-
-state 352
-
- 205 prargs: ',' . arg
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- arg go to state 375
-
-
-state 353
-
- 103 Stmnt: PRINT '(' STRING @15 prargs . ')'
-
- ')' shift, and go to state 376
-
-
-state 354
-
- 130 option: SEP @25 sequence OS .
-
- $default reduce using rule 130 (option)
-
-
-state 355
-
- 119 Stmnt: ATOMIC '{' @20 sequence OS . '}'
-
- '}' shift, and go to state 377
-
-
-state 356
-
- 121 Stmnt: D_STEP '{' @21 sequence OS . '}'
-
- '}' shift, and go to state 378
-
-
-state 357
-
- 126 Stmnt: INAME @23 '(' args ')' . @24 Stmnt
-
- $default reduce using rule 125 (@24)
-
- @24 go to state 379
-
-
-state 358
-
- 123 Stmnt: '{' @22 sequence OS '}' .
-
- $default reduce using rule 123 (Stmnt)
-
-
-state 359
-
- 211 rarg: EVAL '(' . expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 380
-
-
-state 360
-
- 213 rarg: '-' CONST .
-
- $default reduce using rule 213 (rarg)
-
-
-state 361
-
- 217 rargs: '(' rargs . ')'
-
- ')' shift, and go to state 381
-
-
-state 362
-
- 216 rargs: rarg '(' . rargs ')'
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 382
-
-
-state 363
-
- 215 rargs: rarg ',' . rargs
-
- EVAL shift, and go to state 329
- CONST shift, and go to state 330
- NAME shift, and go to state 92
- '-' shift, and go to state 331
- '(' shift, and go to state 332
-
- varref go to state 333
- pfld go to state 100
- cmpnd go to state 101
- rarg go to state 334
- rargs go to state 383
-
-
-state 364
-
- 113 Stmnt: varref R_RCV @18 LT rargs . GT
-
- GT shift, and go to state 384
-
-
-state 365
-
- 111 Stmnt: varref RCV @17 LT rargs . GT
-
- GT shift, and go to state 385
-
-
-state 366
-
- 207 margs: expr '(' . arg ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 97
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 102
- arg go to state 386
-
-
-state 367
-
- 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority . Opt_enabler body
-
- PROVIDED shift, and go to state 387
-
- $default reduce using rule 182 (Opt_enabler)
-
- Opt_enabler go to state 388
-
-
-state 368
-
- 75 ch_init: '[' CONST ']' OF '{' . typ_list '}'
-
- error shift, and go to state 389
- TYPE shift, and go to state 390
- UNAME shift, and go to state 391
-
- basetype go to state 392
- typ_list go to state 393
-
-
-state 369
-
- 161 expr: RUN aname @26 '(' args ')' . Opt_priority
-
- PRIORITY shift, and go to state 57
-
- $default reduce using rule 178 (Opt_priority)
-
- Opt_priority go to state 394
-
-
-state 370
-
- 175 expr: PNAME '[' expr ']' ':' pfld .
-
- $default reduce using rule 175 (expr)
-
-
-state 371
-
- 174 expr: PNAME '[' expr ']' '@' NAME .
-
- $default reduce using rule 174 (expr)
-
-
-state 372
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 159 | '(' expr SEMI expr ':' expr . ')'
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 395
-
-
-state 373
-
- 167 expr: varref R_RCV @28 '[' rargs ']' .
-
- $default reduce using rule 167 (expr)
-
-
-state 374
-
- 165 expr: varref RCV @27 '[' rargs ']' .
-
- $default reduce using rule 165 (expr)
-
-
-state 375
-
- 205 prargs: ',' arg .
-
- $default reduce using rule 205 (prargs)
-
-
-state 376
-
- 103 Stmnt: PRINT '(' STRING @15 prargs ')' .
-
- $default reduce using rule 103 (Stmnt)
-
-
-state 377
-
- 119 Stmnt: ATOMIC '{' @20 sequence OS '}' .
-
- $default reduce using rule 119 (Stmnt)
-
-
-state 378
-
- 121 Stmnt: D_STEP '{' @21 sequence OS '}' .
-
- $default reduce using rule 121 (Stmnt)
-
-
-state 379
-
- 126 Stmnt: INAME @23 '(' args ')' @24 . Stmnt
-
- ASSERT shift, and go to state 105
- PRINT shift, and go to state 106
- PRINTM shift, and go to state 107
- C_CODE shift, and go to state 2
- C_DECL shift, and go to state 3
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- ELSE shift, and go to state 110
- ATOMIC shift, and go to state 113
- D_STEP shift, and go to state 114
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- INAME shift, and go to state 121
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
- '{' shift, and go to state 123
-
- ccode go to state 124
- cexpr go to state 98
- varref go to state 396
- pfld go to state 100
- cmpnd go to state 101
- Stmnt go to state 397
- expr go to state 132
- full_expr go to state 133
- Expr go to state 134
- Probe go to state 135
-
-
-state 380
-
- 138 expr: expr . '+' expr
- 139 | expr . '-' expr
- 140 | expr . '*' expr
- 141 | expr . '/' expr
- 142 | expr . '%' expr
- 143 | expr . '&' expr
- 144 | expr . '^' expr
- 145 | expr . '|' expr
- 146 | expr . GT expr
- 147 | expr . LT expr
- 148 | expr . GE expr
- 149 | expr . LE expr
- 150 | expr . EQ expr
- 151 | expr . NE expr
- 152 | expr . AND expr
- 153 | expr . OR expr
- 154 | expr . LSHIFT expr
- 155 | expr . RSHIFT expr
- 211 rarg: EVAL '(' expr . ')'
-
- OR shift, and go to state 164
- AND shift, and go to state 165
- '|' shift, and go to state 166
- '^' shift, and go to state 167
- '&' shift, and go to state 168
- NE shift, and go to state 169
- EQ shift, and go to state 170
- LE shift, and go to state 171
- GE shift, and go to state 172
- LT shift, and go to state 173
- GT shift, and go to state 174
- RSHIFT shift, and go to state 175
- LSHIFT shift, and go to state 176
- '+' shift, and go to state 177
- '-' shift, and go to state 178
- '*' shift, and go to state 179
- '/' shift, and go to state 180
- '%' shift, and go to state 181
- ')' shift, and go to state 398
-
-
-state 381
-
- 217 rargs: '(' rargs ')' .
-
- $default reduce using rule 217 (rargs)
-
-
-state 382
-
- 216 rargs: rarg '(' rargs . ')'
-
- ')' shift, and go to state 399
-
-
-state 383
-
- 215 rargs: rarg ',' rargs .
-
- $default reduce using rule 215 (rargs)
-
-
-state 384
-
- 113 Stmnt: varref R_RCV @18 LT rargs GT .
-
- $default reduce using rule 113 (Stmnt)
-
-
-state 385
-
- 111 Stmnt: varref RCV @17 LT rargs GT .
-
- $default reduce using rule 111 (Stmnt)
-
-
-state 386
-
- 207 margs: expr '(' arg . ')'
-
- ')' shift, and go to state 400
-
-
-state 387
-
- 183 Opt_enabler: PROVIDED . '(' full_expr ')'
- 184 | PROVIDED . error
-
- error shift, and go to state 401
- '(' shift, and go to state 402
-
-
-state 388
-
- 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler . body
-
- '{' shift, and go to state 54
-
- body go to state 403
-
-
-state 389
-
- 199 basetype: error .
-
- $default reduce using rule 199 (basetype)
-
-
-state 390
-
- 197 basetype: TYPE .
-
- $default reduce using rule 197 (basetype)
-
-
-state 391
-
- 198 basetype: UNAME .
-
- $default reduce using rule 198 (basetype)
-
-
-state 392
-
- 200 typ_list: basetype .
- 201 | basetype . ',' typ_list
-
- ',' shift, and go to state 404
-
- $default reduce using rule 200 (typ_list)
-
-
-state 393
-
- 75 ch_init: '[' CONST ']' OF '{' typ_list . '}'
-
- '}' shift, and go to state 405
-
-
-state 394
-
- 161 expr: RUN aname @26 '(' args ')' Opt_priority .
-
- $default reduce using rule 161 (expr)
-
-
-state 395
-
- 159 expr: '(' expr SEMI expr ':' expr ')' .
-
- $default reduce using rule 159 (expr)
-
-
-state 396
-
- 99 Stmnt: varref . ASGN expr
- 100 | varref . INCR
- 101 | varref . DECR
- 109 | varref . R_RCV @16 rargs
- 111 | varref . RCV @17 LT rargs GT
- 113 | varref . R_RCV @18 LT rargs GT
- 115 | varref . O_SND @19 margs
- 165 expr: varref . RCV @27 '[' rargs ']'
- 167 | varref . R_RCV @28 '[' rargs ']'
- 168 | varref .
-
- ASGN shift, and go to state 208
- R_RCV shift, and go to state 209
- RCV shift, and go to state 406
- O_SND shift, and go to state 211
- DECR shift, and go to state 213
- INCR shift, and go to state 214
-
- $default reduce using rule 168 (expr)
-
-
-state 397
-
- 126 Stmnt: INAME @23 '(' args ')' @24 Stmnt .
-
- $default reduce using rule 126 (Stmnt)
-
-
-state 398
-
- 211 rarg: EVAL '(' expr ')' .
-
- $default reduce using rule 211 (rarg)
-
-
-state 399
-
- 216 rargs: rarg '(' rargs ')' .
-
- $default reduce using rule 216 (rargs)
-
-
-state 400
-
- 207 margs: expr '(' arg ')' .
-
- $default reduce using rule 207 (margs)
-
-
-state 401
-
- 184 Opt_enabler: PROVIDED error .
-
- $default reduce using rule 184 (Opt_enabler)
-
-
-state 402
-
- 183 Opt_enabler: PROVIDED '(' . full_expr ')'
-
- C_EXPR shift, and go to state 84
- RUN shift, and go to state 85
- LEN shift, and go to state 86
- ENABLED shift, and go to state 87
- PC_VAL shift, and go to state 88
- TIMEOUT shift, and go to state 89
- NONPROGRESS shift, and go to state 90
- FULL shift, and go to state 115
- EMPTY shift, and go to state 116
- NFULL shift, and go to state 117
- NEMPTY shift, and go to state 118
- CONST shift, and go to state 91
- NAME shift, and go to state 92
- PNAME shift, and go to state 93
- SND shift, and go to state 94
- '-' shift, and go to state 95
- '~' shift, and go to state 96
- '(' shift, and go to state 122
-
- cexpr go to state 98
- varref go to state 99
- pfld go to state 100
- cmpnd go to state 101
- expr go to state 132
- full_expr go to state 407
- Expr go to state 134
- Probe go to state 135
-
-
-state 403
-
- 16 proc: inst proctype NAME @1 '(' decl ')' @2 Opt_priority Opt_enabler body .
-
- $default reduce using rule 16 (proc)
-
-
-state 404
-
- 201 typ_list: basetype ',' . typ_list
-
- error shift, and go to state 389
- TYPE shift, and go to state 390
- UNAME shift, and go to state 391
-
- basetype go to state 392
- typ_list go to state 408
-
-
-state 405
-
- 75 ch_init: '[' CONST ']' OF '{' typ_list '}' .
-
- $default reduce using rule 75 (ch_init)
-
-
-state 406
-
- 111 Stmnt: varref RCV . @17 LT rargs GT
- 165 expr: varref RCV . @27 '[' rargs ']'
-
- '[' reduce using rule 164 (@27)
- $default reduce using rule 110 (@17)
-
- @17 go to state 289
- @27 go to state 239
-
-
-state 407
-
- 183 Opt_enabler: PROVIDED '(' full_expr . ')'
-
- ')' shift, and go to state 409
-
-
-state 408
-
- 201 typ_list: basetype ',' typ_list .
-
- $default reduce using rule 201 (typ_list)
-
-
-state 409
-
- 183 Opt_enabler: PROVIDED '(' full_expr ')' .
-
- $default reduce using rule 183 (Opt_enabler)
projects / lttv.git / commitdiff
