From: compudj Date: Wed, 15 Oct 2008 14:15:42 +0000 (+0000) Subject: remove bin X-Git-Tag: v0.12.20~380 X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=a931aa693c3549bf0f117c8e011dcf650a6ccd96;p=lttv.git remove bin git-svn-id: http://ltt.polymtl.ca/svn@3109 04897980-b3bd-0310-b5e0-8ef037075253 --- diff --git a/trunk/verif/Spin/Src5.1.6/spin b/trunk/verif/Spin/Src5.1.6/spin deleted file mode 100755 index 6b70f42b..00000000 Binary files a/trunk/verif/Spin/Src5.1.6/spin and /dev/null differ diff --git a/trunk/verif/Spin/Src5.1.6/y.output b/trunk/verif/Spin/Src5.1.6/y.output deleted file mode 100644 index 9c7ce68b..00000000 --- a/trunk/verif/Spin/Src5.1.6/y.output +++ /dev/null @@ -1,6714 +0,0 @@ -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) diff --git a/trunk/verif/Spin/Src5.1.6/y.tab.h b/trunk/verif/Spin/Src5.1.6/y.tab.h deleted file mode 100644 index 2a963670..00000000 --- a/trunk/verif/Spin/Src5.1.6/y.tab.h +++ /dev/null @@ -1,209 +0,0 @@ -/* A Bison parser, made by GNU Bison 2.3. */ - -/* Skeleton interface for Bison's Yacc-like parsers in C - - Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006 - Free Software Foundation, Inc. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2, or (at your option) - any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, Inc., 51 Franklin Street, Fifth Floor, - Boston, MA 02110-1301, USA. */ - -/* As a special exception, you may create a larger work that contains - part or all of the Bison parser skeleton and distribute that work - under terms of your choice, so long as that work isn't itself a - parser generator using the skeleton or a modified version thereof - as a parser skeleton. Alternatively, if you modify or redistribute - the parser skeleton itself, you may (at your option) remove this - special exception, which will cause the skeleton and the resulting - Bison output files to be licensed under the GNU General Public - License without this special exception. - - This special exception was added by the Free Software Foundation in - version 2.2 of Bison. */ - -/* Tokens. */ -#ifndef YYTOKENTYPE -# define YYTOKENTYPE - /* Put the tokens into the symbol table, so that GDB and other debuggers - know about them. */ - enum yytokentype { - ASSERT = 258, - PRINT = 259, - PRINTM = 260, - C_CODE = 261, - C_DECL = 262, - C_EXPR = 263, - C_STATE = 264, - C_TRACK = 265, - RUN = 266, - LEN = 267, - ENABLED = 268, - EVAL = 269, - PC_VAL = 270, - TYPEDEF = 271, - MTYPE = 272, - INLINE = 273, - LABEL = 274, - OF = 275, - GOTO = 276, - BREAK = 277, - ELSE = 278, - SEMI = 279, - IF = 280, - FI = 281, - DO = 282, - OD = 283, - SEP = 284, - ATOMIC = 285, - NON_ATOMIC = 286, - D_STEP = 287, - UNLESS = 288, - TIMEOUT = 289, - NONPROGRESS = 290, - ACTIVE = 291, - PROCTYPE = 292, - D_PROCTYPE = 293, - HIDDEN = 294, - SHOW = 295, - ISLOCAL = 296, - PRIORITY = 297, - PROVIDED = 298, - FULL = 299, - EMPTY = 300, - NFULL = 301, - NEMPTY = 302, - CONST = 303, - TYPE = 304, - XU = 305, - NAME = 306, - UNAME = 307, - PNAME = 308, - INAME = 309, - STRING = 310, - CLAIM = 311, - TRACE = 312, - INIT = 313, - ASGN = 314, - R_RCV = 315, - RCV = 316, - O_SND = 317, - SND = 318, - OR = 319, - AND = 320, - NE = 321, - EQ = 322, - LE = 323, - GE = 324, - LT = 325, - GT = 326, - RSHIFT = 327, - LSHIFT = 328, - DECR = 329, - INCR = 330, - NEG = 331, - UMIN = 332, - DOT = 333 - }; -#endif -/* Tokens. */ -#define ASSERT 258 -#define PRINT 259 -#define PRINTM 260 -#define C_CODE 261 -#define C_DECL 262 -#define C_EXPR 263 -#define C_STATE 264 -#define C_TRACK 265 -#define RUN 266 -#define LEN 267 -#define ENABLED 268 -#define EVAL 269 -#define PC_VAL 270 -#define TYPEDEF 271 -#define MTYPE 272 -#define INLINE 273 -#define LABEL 274 -#define OF 275 -#define GOTO 276 -#define BREAK 277 -#define ELSE 278 -#define SEMI 279 -#define IF 280 -#define FI 281 -#define DO 282 -#define OD 283 -#define SEP 284 -#define ATOMIC 285 -#define NON_ATOMIC 286 -#define D_STEP 287 -#define UNLESS 288 -#define TIMEOUT 289 -#define NONPROGRESS 290 -#define ACTIVE 291 -#define PROCTYPE 292 -#define D_PROCTYPE 293 -#define HIDDEN 294 -#define SHOW 295 -#define ISLOCAL 296 -#define PRIORITY 297 -#define PROVIDED 298 -#define FULL 299 -#define EMPTY 300 -#define NFULL 301 -#define NEMPTY 302 -#define CONST 303 -#define TYPE 304 -#define XU 305 -#define NAME 306 -#define UNAME 307 -#define PNAME 308 -#define INAME 309 -#define STRING 310 -#define CLAIM 311 -#define TRACE 312 -#define INIT 313 -#define ASGN 314 -#define R_RCV 315 -#define RCV 316 -#define O_SND 317 -#define SND 318 -#define OR 319 -#define AND 320 -#define NE 321 -#define EQ 322 -#define LE 323 -#define GE 324 -#define LT 325 -#define GT 326 -#define RSHIFT 327 -#define LSHIFT 328 -#define DECR 329 -#define INCR 330 -#define NEG 331 -#define UMIN 332 -#define DOT 333 - - - - -#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED -typedef int YYSTYPE; -# define yystype YYSTYPE /* obsolescent; will be withdrawn */ -# define YYSTYPE_IS_DECLARED 1 -# define YYSTYPE_IS_TRIVIAL 1 -#endif - -extern YYSTYPE yylval; -