diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/ast.ml | 63 | ||||
| -rw-r--r-- | frontend/ast_printer.ml | 138 | ||||
| -rw-r--r-- | frontend/file_parser.ml | 28 | ||||
| -rw-r--r-- | frontend/lexer.mll | 157 | ||||
| -rw-r--r-- | frontend/parser.automaton | 1577 | ||||
| -rw-r--r-- | frontend/parser.conflicts | 32 | ||||
| -rw-r--r-- | frontend/parser.mly | 187 |
7 files changed, 276 insertions, 1906 deletions
diff --git a/frontend/ast.ml b/frontend/ast.ml index 180608c..72f7049 100644 --- a/frontend/ast.ml +++ b/frontend/ast.ml @@ -18,59 +18,74 @@ type typ = type unary_op = | AST_UPLUS | AST_UMINUS - | AST_NOT - | AST_PRE type binary_op = + (* num * num -> num *) | AST_PLUS | AST_MINUS | AST_MUL | AST_DIV | AST_MOD +type binary_rel_op = + (* 'a * 'a -> bool *) | AST_EQ | AST_NE - + (* num * num -> bool *) | AST_LT | AST_LE | AST_GT | AST_GE +type bin_bool_op = + (* bool * bool -> bool *) | AST_AND | AST_OR - | AST_ARROW - type expr = - | AST_unary of unary_op * (expr ext) - | AST_binary of binary_op * (expr ext) * (expr ext) - | AST_identifier of id ext - | AST_int_const of string ext - | AST_bool_const of bool - | AST_real_const of string ext - | AST_if of (expr ext) * (expr ext) * (expr ext) - | AST_instance of (id ext) * (expr ext list) - -type lvalue = id + | AST_identifier of id ext + (* on numerical values *) + | AST_int_const of string ext + | AST_real_const of string ext + | AST_unary of unary_op * (expr ext) + | AST_binary of binary_op * (expr ext) * (expr ext) + (* on boolean values *) + | AST_bool_const of bool + | AST_binary_rel of binary_rel_op * (expr ext) * (expr ext) + | AST_binary_bool of bin_bool_op * (expr ext) * (expr ext) + | AST_not of expr ext + (* temporal primitives *) + | AST_pre of expr ext + | AST_arrow of (expr ext) * (expr ext) + (* other *) + | AST_if of (expr ext) * (expr ext) * (expr ext) + | AST_instance of (id ext) * (expr ext list) + (* (TODO) and more : when, merge, activate instances, ... *) type eqn = - | AST_assign of (lvalue ext) * (expr ext) - | AST_guarantee of (id ext) * (expr ext) - | AST_assume of (id ext) * (expr ext) - (* and more : automaton, activate... *) + | AST_assign of (id ext) * (expr ext) + | AST_guarantee of (id ext) * (expr ext) + | AST_assume of (id ext) * (expr ext) + (* (TODO) and more : automaton, activate... *) + +type var_def = bool * (id ext) * typ type node_decl = { name : id; - args : (bool * (id ext) * typ) list; - ret : (bool * (id ext) * typ) list; - var : (bool * (id ext) * typ) list; + args : var_def list; + ret : var_def list; + var : var_def list; body : eqn ext list; } -type const_decl = (id ext) * typ * (expr ext) +type const_decl = { + name : id; + typ : typ; + value : expr ext; +} type toplevel = - | AST_node_decl of node_decl ext + | AST_node_decl of node_decl ext | AST_const_decl of const_decl ext type prog = toplevel list diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml index a02b970..422d446 100644 --- a/frontend/ast_printer.ml +++ b/frontend/ast_printer.ml @@ -25,8 +25,6 @@ let string_of_extent (p,q) = let string_of_unary_op = function | AST_UPLUS -> "+" | AST_UMINUS -> "-" - | AST_NOT -> "not" - | AST_PRE -> "pre" let string_of_binary_op = function | AST_MUL -> "*" @@ -34,29 +32,37 @@ let string_of_binary_op = function | AST_MOD -> "mod" | AST_PLUS -> "+" | AST_MINUS -> "-" +let string_of_binary_rel = function | AST_EQ -> "=" | AST_NE -> "<>" | AST_LT -> "<" | AST_LE -> "<=" | AST_GT -> ">" | AST_GE -> ">=" +let string_of_binary_bool = function | AST_AND -> "and" | AST_OR -> "or" - | AST_ARROW -> "->" -let binary_precedence = function - | AST_MUL| AST_DIV| AST_MOD-> 7 - | AST_PLUS | AST_MINUS -> 6 - | AST_EQ | AST_NE -> 5 - | AST_LT | AST_LE | AST_GT | AST_GE -> 4 - | AST_AND -> 3 - | AST_OR -> 2 - | AST_ARROW -> 1 +let binary_op_precedence = function + | AST_MUL| AST_DIV| AST_MOD-> 51 + | AST_PLUS | AST_MINUS -> 50 +let binary_rel_precedence = function + | AST_EQ | AST_NE -> 41 + | AST_LT | AST_LE | AST_GT | AST_GE -> 40 +let binary_bool_precedence = function + | AST_AND -> 31 + | AST_OR -> 30 +let arrow_precedence = 20 +let if_precedence = 10 let expr_precedence = function - | AST_unary (op, _) -> 99 - | AST_binary(op, _, _) -> binary_precedence op + | AST_unary (_, _) | AST_pre(_) | AST_not(_) -> 99 + | AST_binary(op, _, _) -> binary_op_precedence op + | AST_binary_rel(r, _, _) -> binary_rel_precedence r + | AST_binary_bool(r, _, _) -> binary_bool_precedence r + | AST_arrow(_, _) -> arrow_precedence + | AST_if(_, _, _) -> if_precedence | _ -> 100 (* utility *) @@ -87,8 +93,18 @@ let rec print_expr fmt e = | AST_unary (op,(e1,_)) -> Format.pp_print_string fmt (string_of_unary_op op); if expr_precedence e1 <= expr_precedence e - then Format.fprintf fmt " (%a)" print_expr e1 - else Format.fprintf fmt " %a" print_expr e1 + then Format.fprintf fmt "(%a)" print_expr e1 + else Format.fprintf fmt "%a" print_expr e1 + | AST_not (e1,_) -> + Format.pp_print_string fmt "not "; + if expr_precedence e1 <= expr_precedence e + then Format.fprintf fmt "(%a)" print_expr e1 + else Format.fprintf fmt "%a" print_expr e1 + | AST_pre (e1,_) -> + Format.pp_print_string fmt "pre "; + if expr_precedence e1 <= expr_precedence e + then Format.fprintf fmt "(%a)" print_expr e1 + else Format.fprintf fmt "%a" print_expr e1 | AST_binary (op,(e1,_),(e2,_)) -> if expr_precedence e1 < expr_precedence e @@ -98,41 +114,60 @@ let rec print_expr fmt e = if expr_precedence e2 <= expr_precedence e then Format.fprintf fmt " (%a)" print_expr e2 else Format.fprintf fmt " %a" print_expr e2 + | AST_binary_rel (op,(e1,_),(e2,_)) -> + if expr_precedence e1 < expr_precedence e + then Format.fprintf fmt "(%a) " print_expr e1 + else Format.fprintf fmt "%a " print_expr e1; + Format.pp_print_string fmt (string_of_binary_rel op); + if expr_precedence e2 <= expr_precedence e + then Format.fprintf fmt " (%a)" print_expr e2 + else Format.fprintf fmt " %a" print_expr e2 + | AST_binary_bool (op,(e1,_),(e2,_)) -> + if expr_precedence e1 < expr_precedence e + then Format.fprintf fmt "(%a) " print_expr e1 + else Format.fprintf fmt "%a " print_expr e1; + Format.pp_print_string fmt (string_of_binary_bool op); + if expr_precedence e2 <= expr_precedence e + then Format.fprintf fmt " (%a)" print_expr e2 + else Format.fprintf fmt " %a" print_expr e2 + | AST_arrow ((e1,_),(e2,_)) -> + if expr_precedence e1 < expr_precedence e + then Format.fprintf fmt "(%a) " print_expr e1 + else Format.fprintf fmt "%a " print_expr e1; + Format.pp_print_string fmt "->"; + if expr_precedence e2 <= expr_precedence e + then Format.fprintf fmt " (%a)" print_expr e2 + else Format.fprintf fmt " %a" print_expr e2 | AST_int_const (i,_) -> Format.pp_print_string fmt i - | AST_real_const (i,_) -> Format.pp_print_string fmt i - | AST_bool_const b -> Format.pp_print_bool fmt b - | AST_if((c,_), (t,_), (e,_)) -> Format.fprintf fmt - "if %a then %a else %a" - print_expr c print_expr t print_expr e + | AST_if((c,_), (t,_), (e,_)) -> + Format.fprintf fmt + "if %a then %a else %a" + print_expr c print_expr t print_expr e | AST_identifier (v,_) -> print_id fmt v | AST_instance ((i,_),l) -> - Format.fprintf fmt "%a(%a)" - print_id i (print_list print_expr ",") (List.map fst l) - -let print_lvalue fmt v = - Format.pp_print_string fmt v + Format.fprintf fmt "%a(%a)" + print_id i (print_list print_expr ", ") (List.map fst l) (* equations *) let indent ind = ind^" " let rec print_eqn ind fmt = function - | AST_assign ((v,_),(e,_)) -> - Format.fprintf fmt "%s%a = %a;@\n" - ind print_lvalue v print_expr e + Format.fprintf fmt "%s%s = %a;@\n" + ind v print_expr e | AST_assume((i, _), (e, _)) -> - Format.fprintf fmt "%sassume %s : %a;@\n" - ind i print_expr e + Format.fprintf fmt "%sassume %s: %a;@\n" + ind i print_expr e | AST_guarantee((i, _), (e, _)) -> - Format.fprintf fmt "%sguarantee %s : %a;@\n" - ind i print_expr e + Format.fprintf fmt "%sguarantee %s: %a;@\n" + ind i print_expr e and print_block ind fmt b = List.iter (fun (bb,_) -> print_eqn (indent ind) fmt bb) b @@ -141,33 +176,28 @@ and print_block ind fmt b = let print_var_decl fmt (pr, (i, _), ty) = Format.fprintf fmt "%s%s: %s" - (if pr then "probe " else "") - i - (string_of_typ ty) - -let rec print_var_decls fmt = function - | [] -> () - | [a] -> print_var_decl fmt a - | a::r -> - print_var_decl fmt a; - Format.fprintf fmt "; "; - print_var_decls fmt r + (if pr then "probe " else "") + i + (string_of_typ ty) -let print_node_decl fmt d = +let print_node_decl fmt (d : node_decl) = Format.fprintf fmt "node %s(%a) returns(%a)@\n" - d.name - print_var_decls d.args - print_var_decls d.ret; - if d.var <> [] then - Format.fprintf fmt "var %a@\n" print_var_decls d.var; + d.name + (print_list print_var_decl "; ") d.args + (print_list print_var_decl "; ") d.ret; + if d.var <> [] then begin + Format.fprintf fmt "var"; + List.iter (fun d -> Format.fprintf fmt " %a;" print_var_decl d) d.var; + Format.fprintf fmt "@\n" + end; Format.fprintf fmt "let@\n%atel@\n@\n" - (print_block "") d.body + (print_block "") d.body -let print_const_decl fmt ((i, _), ty, (e, _)) = +let print_const_decl fmt (d : const_decl) = Format.fprintf fmt - "const %s: %s = %a@\n@\n" - i (string_of_typ ty) - print_expr e + "const %s: %s = %a@\n@\n" + d.name (string_of_typ d.typ) + print_expr (fst d.value) let print_toplevel fmt = function | AST_node_decl (n, _) -> print_node_decl fmt n diff --git a/frontend/file_parser.ml b/frontend/file_parser.ml index 0e975ce..672c695 100644 --- a/frontend/file_parser.ml +++ b/frontend/file_parser.ml @@ -3,17 +3,17 @@ open Ast_printer open Lexing let parse_file (filename : string) : prog = - let f = open_in filename in - let lex = from_channel f in - try - lex.lex_curr_p <- { lex.lex_curr_p with pos_fname = filename; }; - Parser.file Lexer.token lex - with - | Parser.Error -> - Printf.eprintf "Parse error (invalid syntax) near %s\n" - (string_of_position lex.lex_start_p); - failwith "Parse error" - | Failure "lexing: empty token" -> - Printf.eprintf "Parse error (invalid token) near %s\n" - (string_of_position lex.lex_start_p); - failwith "Parse error" + let f = open_in filename in + let lex = from_channel f in + try + lex.lex_curr_p <- { lex.lex_curr_p with pos_fname = filename; }; + Parser.file Lexer.token lex + with + | Parser.Error -> + Printf.eprintf "Parse error (invalid syntax) near %s\n" + (string_of_position lex.lex_start_p); + failwith "Parse error" + | Failure "lexing: empty token" -> + Printf.eprintf "Parse error (invalid token) near %s\n" + (string_of_position lex.lex_start_p); + failwith "Parse error" diff --git a/frontend/lexer.mll b/frontend/lexer.mll index 9d6c208..1fd638b 100644 --- a/frontend/lexer.mll +++ b/frontend/lexer.mll @@ -1,105 +1,90 @@ { - open Lexing - open Ast - open Parser - - let kwd_table = Hashtbl.create 10 - let () = - List.iter (fun (a, b) -> Hashtbl.add kwd_table a b) - [ - "bool", BOOL; - "int", INT; - "real", REAL; - - "const", CONST; - "node", NODE; - "returns", RETURNS; - "var", VAR; - "let", LET; - "tel", TEL; - - "if", IF; - "then", THEN; - "else", ELSE; - "pre", PRE; - "not", NOT; - "and", AND; - "or", OR; - "mod", MOD; - - "true", TRUE; - "false", FALSE; - - "assume", ASSUME; - "guarantee",GUARANTEE; - "probe", PROBE; - ] - + open Lexing + open Ast + open Parser + + let kwd_table = Hashtbl.create 10 + let () = List.iter (fun (a, b) -> Hashtbl.add kwd_table a b) + [ + "bool", BOOL; + "int", INT; + "real", REAL; + + "const", CONST; + "node", NODE; + "returns", RETURNS; + "var", VAR; + "let", LET; + "tel", TEL; + + "if", IF; + "then", THEN; + "else", ELSE; + "pre", PRE; + "not", NOT; + "and", AND; + "or", OR; + "mod", MOD; + + "true", TRUE; + "false", FALSE; + + "assume", ASSUME; + "guarantee",GUARANTEE; + "probe", PROBE; + ] } -(* special character classes *) let space = [' ' '\t' '\r']+ let newline = "\n" | "\r" | "\r\n" -(* utilities *) let digit = ['0'-'9'] let digit_ = ['0'-'9' '_'] -(* integers *) let int_dec = digit digit_* let int_bin = ("0b" | "0B") ['0'-'1'] ['0'-'1' '_']* let int_oct = ("0o" | "0O") ['0'-'7'] ['0'-'7' '_']* let int_hex = ("0x" | "0X") ['0'-'9' 'a'-'f' 'A'-'F'] ['0'-'9' 'a'-'f' 'A'-'F' '_']* let const_int = int_bin | int_oct | int_dec | int_hex -(* tokens *) -rule token = parse - -(* identifier (TOK_id) or reserved keyword *) -| ['a'-'z' 'A'-'Z' '_'] ['a'-'z' 'A'-'Z' '0'-'9' '_']* as id -{ try Hashtbl.find kwd_table id with Not_found -> IDENT id } - -(* symbols *) -| "(" { LPAREN } -| ")" { RPAREN } -| "{" { LCURLY } -| "}" { RCURLY } -| "*" { STAR } -| "+" { PLUS } -| "-" { MINUS } -| "!" { EXCLAIM } -| "/" { DIVIDE } -| "%" { PERCENT } -| "<" { LESS } -| ">" { GREATER } -| "<=" { LESS_EQUAL } -| ">=" { GREATER_EQUAL } -| "==" { EQUAL_EQUAL } -| "<>" { DIFF } -| "&&" { AND_AND } -| "||" { BAR_BAR } -| ";" { SEMICOLON } -| ":" { COLON } -| "," { COMMA } -| "=" { EQUAL } -| "->" { ARROW } - -(* literals *) -| const_int as c { INTVAL c } - -(* spaces, comments *) -| "(*" { comment lexbuf; token lexbuf } -| "--" [^ '\n' '\r']* { token lexbuf } -| newline { new_line lexbuf; token lexbuf } -| space { token lexbuf } - -(* end of files *) -| eof { EOF } +let const_real = digit_+ '.' digit* +rule token = parse + (* identifier (TOK_id) or reserved keyword *) + | ['a'-'z' 'A'-'Z' '_'] ['a'-'z' 'A'-'Z' '0'-'9' '_']* as id + { try Hashtbl.find kwd_table id with Not_found -> IDENT id } + (* symbols *) + | "(" { LPAREN } + | ")" { RPAREN } + | "{" { LCURLY } + | "}" { RCURLY } + | "*" { STAR } + | "+" { PLUS } + | "-" { MINUS } + | "/" { DIVIDE } + | "<" { LESS } + | ">" { GREATER } + | "<=" { LESS_EQUAL } + | ">=" { GREATER_EQUAL } + | "<>" { DIFF } + | "=" { EQUAL } + | ";" { SEMICOLON } + | ":" { COLON } + | "," { COMMA } + | "->" { ARROW } + (* literals *) + | const_int as c { INTVAL c } + | const_real as c { REALVAL c } + (* spaces, comments *) + | "(*" { comment lexbuf; token lexbuf } + | "--" [^ '\n' '\r']* { token lexbuf } + | newline { new_line lexbuf; token lexbuf } + | space { token lexbuf } + (* end of files *) + | eof { EOF } -(* nested comments (handled recursively) *) and comment = parse -| "*)" { () } -| [^ '\n' '\r'] { comment lexbuf } -| newline { new_line lexbuf; comment lexbuf } + | "*)" { () } + | [^ '\n' '\r'] { comment lexbuf } + | newline { new_line lexbuf; comment lexbuf } diff --git a/frontend/parser.automaton b/frontend/parser.automaton deleted file mode 100644 index dff892b..0000000 --- a/frontend/parser.automaton +++ /dev/null @@ -1,1577 +0,0 @@ -State 0: -file' -> . file [ # ] --- On NODE shift to state 1 --- On CONST shift to state 103 --- On toplevel shift to state 109 --- On node_decl shift to state 110 --- On list(toplevel) shift to state 113 --- On file shift to state 115 --- On const_decl shift to state 112 --- On EOF reduce production list(toplevel) -> - -State 1: -node_decl -> NODE . IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On IDENT shift to state 2 - -State 2: -node_decl -> NODE IDENT . LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On LPAREN shift to state 3 - -State 3: -node_decl -> NODE IDENT LPAREN . vars RPAREN RETURNS vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On IDENT shift to state 4 --- On vars shift to state 10 --- On var shift to state 98 --- On separated_nonempty_list(SEMICOLON,var) shift to state 101 --- On loption(separated_nonempty_list(SEMICOLON,var)) shift to state 102 --- On RPAREN reduce production loption(separated_nonempty_list(SEMICOLON,var)) -> - -State 4: -var -> IDENT . COLON typ [ SEMICOLON RPAREN ] --- On COLON shift to state 5 - -State 5: -var -> IDENT COLON . typ [ SEMICOLON RPAREN ] --- On REAL shift to state 6 --- On INT shift to state 7 --- On BOOL shift to state 8 --- On typ shift to state 9 - -State 6: -typ -> REAL . [ SEMICOLON RPAREN EQUAL ] --- On SEMICOLON reduce production typ -> REAL --- On RPAREN reduce production typ -> REAL --- On EQUAL reduce production typ -> REAL - -State 7: -typ -> INT . [ SEMICOLON RPAREN EQUAL ] --- On SEMICOLON reduce production typ -> INT --- On RPAREN reduce production typ -> INT --- On EQUAL reduce production typ -> INT - -State 8: -typ -> BOOL . [ SEMICOLON RPAREN EQUAL ] --- On SEMICOLON reduce production typ -> BOOL --- On RPAREN reduce production typ -> BOOL --- On EQUAL reduce production typ -> BOOL - -State 9: -var -> IDENT COLON typ . [ SEMICOLON RPAREN ] --- On SEMICOLON reduce production var -> IDENT COLON typ --- On RPAREN reduce production var -> IDENT COLON typ - -State 10: -node_decl -> NODE IDENT LPAREN vars . RPAREN RETURNS vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On RPAREN shift to state 11 - -State 11: -node_decl -> NODE IDENT LPAREN vars RPAREN . RETURNS vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On RETURNS shift to state 12 - -State 12: -node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS . vars RPAREN var_decl dbody [ NODE EOF CONST ] --- On IDENT shift to state 4 --- On vars shift to state 13 --- On var shift to state 98 --- On separated_nonempty_list(SEMICOLON,var) shift to state 101 --- On loption(separated_nonempty_list(SEMICOLON,var)) shift to state 102 --- On RPAREN reduce production loption(separated_nonempty_list(SEMICOLON,var)) -> - -State 13: -node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars . RPAREN var_decl dbody [ NODE EOF CONST ] --- On RPAREN shift to state 14 - -State 14: -node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN . var_decl dbody [ NODE EOF CONST ] --- On VAR shift to state 15 --- On var_decl shift to state 20 --- On LET reduce production var_decl -> --- On IDENT reduce production var_decl -> --- On GUARANTEE reduce production var_decl -> --- On ASSUME reduce production var_decl -> - -State 15: -var_decl -> VAR . nonempty_list(terminated(var,SEMICOLON)) [ LET IDENT GUARANTEE ASSUME ] --- On IDENT shift to state 4 --- On var shift to state 16 --- On nonempty_list(terminated(var,SEMICOLON)) shift to state 19 - -State 16: -nonempty_list(terminated(var,SEMICOLON)) -> var . SEMICOLON [ LET IDENT GUARANTEE ASSUME ] -nonempty_list(terminated(var,SEMICOLON)) -> var . SEMICOLON nonempty_list(terminated(var,SEMICOLON)) [ LET IDENT GUARANTEE ASSUME ] --- On SEMICOLON shift to state 17 - -State 17: -nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON . [ LET IDENT GUARANTEE ASSUME ] -nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON . nonempty_list(terminated(var,SEMICOLON)) [ LET IDENT GUARANTEE ASSUME ] --- On IDENT shift to state 4 --- On var shift to state 16 --- On nonempty_list(terminated(var,SEMICOLON)) shift to state 18 --- On LET reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON --- On IDENT reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON --- On GUARANTEE reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON --- On ASSUME reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON -** Conflict on IDENT - -State 18: -nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) . [ LET IDENT GUARANTEE ASSUME ] --- On LET reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) --- On IDENT reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) --- On GUARANTEE reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) --- On ASSUME reduce production nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) - -State 19: -var_decl -> VAR nonempty_list(terminated(var,SEMICOLON)) . [ LET IDENT GUARANTEE ASSUME ] --- On LET reduce production var_decl -> VAR nonempty_list(terminated(var,SEMICOLON)) --- On IDENT reduce production var_decl -> VAR nonempty_list(terminated(var,SEMICOLON)) --- On GUARANTEE reduce production var_decl -> VAR nonempty_list(terminated(var,SEMICOLON)) --- On ASSUME reduce production var_decl -> VAR nonempty_list(terminated(var,SEMICOLON)) - -State 20: -node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl . dbody [ NODE EOF CONST ] --- On LET shift to state 21 --- On IDENT shift to state 22 --- On GUARANTEE shift to state 23 --- On ASSUME shift to state 83 --- On lvalue shift to state 89 --- On eqn shift to state 95 --- On dbody shift to state 97 - -State 21: -dbody -> LET . separated_nonempty_list(SEMICOLON,ext(eqn)) TEL [ NODE EOF CONST ] --- On IDENT shift to state 22 --- On GUARANTEE shift to state 23 --- On ASSUME shift to state 83 --- On separated_nonempty_list(SEMICOLON,ext(eqn)) shift to state 87 --- On lvalue shift to state 89 --- On eqn shift to state 92 - -State 22: -lvalue -> IDENT . [ EQUAL ] --- On EQUAL reduce production lvalue -> IDENT - -State 23: -eqn -> GUARANTEE . IDENT COLON expr [ TEL SEMICOLON ] --- On IDENT shift to state 24 - -State 24: -eqn -> GUARANTEE IDENT . COLON expr [ TEL SEMICOLON ] --- On COLON shift to state 25 - -State 25: -eqn -> GUARANTEE IDENT COLON . expr [ TEL SEMICOLON ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 82 --- On binary_expr shift to state 45 - -State 26: -primary_expr -> TRUE . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production primary_expr -> TRUE --- On TEL reduce production primary_expr -> TRUE --- On STAR reduce production primary_expr -> TRUE --- On SEMICOLON reduce production primary_expr -> TRUE --- On RPAREN reduce production primary_expr -> TRUE --- On PLUS reduce production primary_expr -> TRUE --- On PERCENT reduce production primary_expr -> TRUE --- On NOT_EQUAL reduce production primary_expr -> TRUE --- On NODE reduce production primary_expr -> TRUE --- On MINUS reduce production primary_expr -> TRUE --- On LESS_EQUAL reduce production primary_expr -> TRUE --- On LESS reduce production primary_expr -> TRUE --- On GREATER_EQUAL reduce production primary_expr -> TRUE --- On GREATER reduce production primary_expr -> TRUE --- On EQUAL_EQUAL reduce production primary_expr -> TRUE --- On EOF reduce production primary_expr -> TRUE --- On ELSE reduce production primary_expr -> TRUE --- On DIVIDE reduce production primary_expr -> TRUE --- On CONST reduce production primary_expr -> TRUE --- On COMMA reduce production primary_expr -> TRUE --- On BAR_BAR reduce production primary_expr -> TRUE --- On AND_AND reduce production primary_expr -> TRUE - -State 27: -unary_expr -> PLUS . unary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 81 --- On primary_expr shift to state 38 - -State 28: -unary_expr -> NOT . unary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 80 --- On primary_expr shift to state 38 - -State 29: -unary_expr -> MINUS . unary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 79 --- On primary_expr shift to state 38 - -State 30: -primary_expr -> LPAREN . expr RPAREN [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 77 --- On binary_expr shift to state 45 - -State 31: -primary_expr -> INTVAL . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production primary_expr -> INTVAL --- On TEL reduce production primary_expr -> INTVAL --- On STAR reduce production primary_expr -> INTVAL --- On SEMICOLON reduce production primary_expr -> INTVAL --- On RPAREN reduce production primary_expr -> INTVAL --- On PLUS reduce production primary_expr -> INTVAL --- On PERCENT reduce production primary_expr -> INTVAL --- On NOT_EQUAL reduce production primary_expr -> INTVAL --- On NODE reduce production primary_expr -> INTVAL --- On MINUS reduce production primary_expr -> INTVAL --- On LESS_EQUAL reduce production primary_expr -> INTVAL --- On LESS reduce production primary_expr -> INTVAL --- On GREATER_EQUAL reduce production primary_expr -> INTVAL --- On GREATER reduce production primary_expr -> INTVAL --- On EQUAL_EQUAL reduce production primary_expr -> INTVAL --- On EOF reduce production primary_expr -> INTVAL --- On ELSE reduce production primary_expr -> INTVAL --- On DIVIDE reduce production primary_expr -> INTVAL --- On CONST reduce production primary_expr -> INTVAL --- On COMMA reduce production primary_expr -> INTVAL --- On BAR_BAR reduce production primary_expr -> INTVAL --- On AND_AND reduce production primary_expr -> INTVAL - -State 32: -if_expr -> IF . expr THEN expr ELSE expr [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 72 --- On binary_expr shift to state 45 - -State 33: -primary_expr -> IDENT . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -primary_expr -> IDENT . LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On LPAREN shift to state 34 --- On THEN reduce production primary_expr -> IDENT --- On TEL reduce production primary_expr -> IDENT --- On STAR reduce production primary_expr -> IDENT --- On SEMICOLON reduce production primary_expr -> IDENT --- On RPAREN reduce production primary_expr -> IDENT --- On PLUS reduce production primary_expr -> IDENT --- On PERCENT reduce production primary_expr -> IDENT --- On NOT_EQUAL reduce production primary_expr -> IDENT --- On NODE reduce production primary_expr -> IDENT --- On MINUS reduce production primary_expr -> IDENT --- On LESS_EQUAL reduce production primary_expr -> IDENT --- On LESS reduce production primary_expr -> IDENT --- On GREATER_EQUAL reduce production primary_expr -> IDENT --- On GREATER reduce production primary_expr -> IDENT --- On EQUAL_EQUAL reduce production primary_expr -> IDENT --- On EOF reduce production primary_expr -> IDENT --- On ELSE reduce production primary_expr -> IDENT --- On DIVIDE reduce production primary_expr -> IDENT --- On CONST reduce production primary_expr -> IDENT --- On COMMA reduce production primary_expr -> IDENT --- On BAR_BAR reduce production primary_expr -> IDENT --- On AND_AND reduce production primary_expr -> IDENT - -State 34: -primary_expr -> IDENT LPAREN . loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On separated_nonempty_list(COMMA,ext(expr)) shift to state 37 --- On primary_expr shift to state 38 --- On loption(separated_nonempty_list(COMMA,ext(expr))) shift to state 39 --- On if_expr shift to state 41 --- On expr shift to state 42 --- On binary_expr shift to state 45 --- On RPAREN reduce production loption(separated_nonempty_list(COMMA,ext(expr))) -> - -State 35: -primary_expr -> FALSE . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production primary_expr -> FALSE --- On TEL reduce production primary_expr -> FALSE --- On STAR reduce production primary_expr -> FALSE --- On SEMICOLON reduce production primary_expr -> FALSE --- On RPAREN reduce production primary_expr -> FALSE --- On PLUS reduce production primary_expr -> FALSE --- On PERCENT reduce production primary_expr -> FALSE --- On NOT_EQUAL reduce production primary_expr -> FALSE --- On NODE reduce production primary_expr -> FALSE --- On MINUS reduce production primary_expr -> FALSE --- On LESS_EQUAL reduce production primary_expr -> FALSE --- On LESS reduce production primary_expr -> FALSE --- On GREATER_EQUAL reduce production primary_expr -> FALSE --- On GREATER reduce production primary_expr -> FALSE --- On EQUAL_EQUAL reduce production primary_expr -> FALSE --- On EOF reduce production primary_expr -> FALSE --- On ELSE reduce production primary_expr -> FALSE --- On DIVIDE reduce production primary_expr -> FALSE --- On CONST reduce production primary_expr -> FALSE --- On COMMA reduce production primary_expr -> FALSE --- On BAR_BAR reduce production primary_expr -> FALSE --- On AND_AND reduce production primary_expr -> FALSE - -State 36: -binary_expr -> unary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production binary_expr -> unary_expr --- On TEL reduce production binary_expr -> unary_expr --- On STAR reduce production binary_expr -> unary_expr --- On SEMICOLON reduce production binary_expr -> unary_expr --- On RPAREN reduce production binary_expr -> unary_expr --- On PLUS reduce production binary_expr -> unary_expr --- On PERCENT reduce production binary_expr -> unary_expr --- On NOT_EQUAL reduce production binary_expr -> unary_expr --- On NODE reduce production binary_expr -> unary_expr --- On MINUS reduce production binary_expr -> unary_expr --- On LESS_EQUAL reduce production binary_expr -> unary_expr --- On LESS reduce production binary_expr -> unary_expr --- On GREATER_EQUAL reduce production binary_expr -> unary_expr --- On GREATER reduce production binary_expr -> unary_expr --- On EQUAL_EQUAL reduce production binary_expr -> unary_expr --- On EOF reduce production binary_expr -> unary_expr --- On ELSE reduce production binary_expr -> unary_expr --- On DIVIDE reduce production binary_expr -> unary_expr --- On CONST reduce production binary_expr -> unary_expr --- On COMMA reduce production binary_expr -> unary_expr --- On BAR_BAR reduce production binary_expr -> unary_expr --- On AND_AND reduce production binary_expr -> unary_expr - -State 37: -loption(separated_nonempty_list(COMMA,ext(expr))) -> separated_nonempty_list(COMMA,ext(expr)) . [ RPAREN ] --- On RPAREN reduce production loption(separated_nonempty_list(COMMA,ext(expr))) -> separated_nonempty_list(COMMA,ext(expr)) - -State 38: -unary_expr -> primary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production unary_expr -> primary_expr --- On TEL reduce production unary_expr -> primary_expr --- On STAR reduce production unary_expr -> primary_expr --- On SEMICOLON reduce production unary_expr -> primary_expr --- On RPAREN reduce production unary_expr -> primary_expr --- On PLUS reduce production unary_expr -> primary_expr --- On PERCENT reduce production unary_expr -> primary_expr --- On NOT_EQUAL reduce production unary_expr -> primary_expr --- On NODE reduce production unary_expr -> primary_expr --- On MINUS reduce production unary_expr -> primary_expr --- On LESS_EQUAL reduce production unary_expr -> primary_expr --- On LESS reduce production unary_expr -> primary_expr --- On GREATER_EQUAL reduce production unary_expr -> primary_expr --- On GREATER reduce production unary_expr -> primary_expr --- On EQUAL_EQUAL reduce production unary_expr -> primary_expr --- On EOF reduce production unary_expr -> primary_expr --- On ELSE reduce production unary_expr -> primary_expr --- On DIVIDE reduce production unary_expr -> primary_expr --- On CONST reduce production unary_expr -> primary_expr --- On COMMA reduce production unary_expr -> primary_expr --- On BAR_BAR reduce production unary_expr -> primary_expr --- On AND_AND reduce production unary_expr -> primary_expr - -State 39: -primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) . RPAREN [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On RPAREN shift to state 40 - -State 40: -primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On TEL reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On STAR reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On SEMICOLON reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On RPAREN reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On PLUS reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On PERCENT reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On NOT_EQUAL reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On NODE reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On MINUS reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On LESS_EQUAL reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On LESS reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On GREATER_EQUAL reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On GREATER reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On EQUAL_EQUAL reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On EOF reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On ELSE reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On DIVIDE reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On CONST reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On COMMA reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On BAR_BAR reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN --- On AND_AND reduce production primary_expr -> IDENT LPAREN loption(separated_nonempty_list(COMMA,ext(expr))) RPAREN - -State 41: -expr -> if_expr . [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On THEN reduce production expr -> if_expr --- On TEL reduce production expr -> if_expr --- On SEMICOLON reduce production expr -> if_expr --- On RPAREN reduce production expr -> if_expr --- On NODE reduce production expr -> if_expr --- On EOF reduce production expr -> if_expr --- On ELSE reduce production expr -> if_expr --- On CONST reduce production expr -> if_expr --- On COMMA reduce production expr -> if_expr - -State 42: -separated_nonempty_list(COMMA,ext(expr)) -> expr . [ RPAREN ] -separated_nonempty_list(COMMA,ext(expr)) -> expr . COMMA separated_nonempty_list(COMMA,ext(expr)) [ RPAREN ] --- On COMMA shift to state 43 --- On RPAREN reduce production separated_nonempty_list(COMMA,ext(expr)) -> expr - -State 43: -separated_nonempty_list(COMMA,ext(expr)) -> expr COMMA . separated_nonempty_list(COMMA,ext(expr)) [ RPAREN ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On separated_nonempty_list(COMMA,ext(expr)) shift to state 44 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 42 --- On binary_expr shift to state 45 - -State 44: -separated_nonempty_list(COMMA,ext(expr)) -> expr COMMA separated_nonempty_list(COMMA,ext(expr)) . [ RPAREN ] --- On RPAREN reduce production separated_nonempty_list(COMMA,ext(expr)) -> expr COMMA separated_nonempty_list(COMMA,ext(expr)) - -State 45: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -if_expr -> binary_expr . [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On NOT_EQUAL shift to state 54 --- On MINUS shift to state 56 --- On LESS_EQUAL shift to state 58 --- On LESS shift to state 60 --- On GREATER_EQUAL shift to state 62 --- On GREATER shift to state 64 --- On EQUAL_EQUAL shift to state 66 --- On DIVIDE shift to state 52 --- On BAR_BAR shift to state 68 --- On AND_AND shift to state 70 --- On THEN reduce production if_expr -> binary_expr --- On TEL reduce production if_expr -> binary_expr --- On SEMICOLON reduce production if_expr -> binary_expr --- On RPAREN reduce production if_expr -> binary_expr --- On NODE reduce production if_expr -> binary_expr --- On EOF reduce production if_expr -> binary_expr --- On ELSE reduce production if_expr -> binary_expr --- On CONST reduce production if_expr -> binary_expr --- On COMMA reduce production if_expr -> binary_expr - -State 46: -binary_expr -> binary_expr STAR . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 47 - -State 47: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr STAR binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production binary_expr -> binary_expr STAR binary_expr --- On TEL reduce production binary_expr -> binary_expr STAR binary_expr --- On STAR reduce production binary_expr -> binary_expr STAR binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr STAR binary_expr --- On RPAREN reduce production binary_expr -> binary_expr STAR binary_expr --- On PLUS reduce production binary_expr -> binary_expr STAR binary_expr --- On PERCENT reduce production binary_expr -> binary_expr STAR binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr STAR binary_expr --- On NODE reduce production binary_expr -> binary_expr STAR binary_expr --- On MINUS reduce production binary_expr -> binary_expr STAR binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr STAR binary_expr --- On LESS reduce production binary_expr -> binary_expr STAR binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr STAR binary_expr --- On GREATER reduce production binary_expr -> binary_expr STAR binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr STAR binary_expr --- On EOF reduce production binary_expr -> binary_expr STAR binary_expr --- On ELSE reduce production binary_expr -> binary_expr STAR binary_expr --- On DIVIDE reduce production binary_expr -> binary_expr STAR binary_expr --- On CONST reduce production binary_expr -> binary_expr STAR binary_expr --- On COMMA reduce production binary_expr -> binary_expr STAR binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr STAR binary_expr --- On AND_AND reduce production binary_expr -> binary_expr STAR binary_expr - -State 48: -binary_expr -> binary_expr PLUS . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 49 - -State 49: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr PLUS binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PERCENT shift to state 50 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr PLUS binary_expr --- On TEL reduce production binary_expr -> binary_expr PLUS binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr PLUS binary_expr --- On RPAREN reduce production binary_expr -> binary_expr PLUS binary_expr --- On PLUS reduce production binary_expr -> binary_expr PLUS binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr PLUS binary_expr --- On NODE reduce production binary_expr -> binary_expr PLUS binary_expr --- On MINUS reduce production binary_expr -> binary_expr PLUS binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr PLUS binary_expr --- On LESS reduce production binary_expr -> binary_expr PLUS binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr PLUS binary_expr --- On GREATER reduce production binary_expr -> binary_expr PLUS binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr PLUS binary_expr --- On EOF reduce production binary_expr -> binary_expr PLUS binary_expr --- On ELSE reduce production binary_expr -> binary_expr PLUS binary_expr --- On CONST reduce production binary_expr -> binary_expr PLUS binary_expr --- On COMMA reduce production binary_expr -> binary_expr PLUS binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr PLUS binary_expr --- On AND_AND reduce production binary_expr -> binary_expr PLUS binary_expr - -State 50: -binary_expr -> binary_expr PERCENT . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 51 - -State 51: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr PERCENT binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production binary_expr -> binary_expr PERCENT binary_expr --- On TEL reduce production binary_expr -> binary_expr PERCENT binary_expr --- On STAR reduce production binary_expr -> binary_expr PERCENT binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr PERCENT binary_expr --- On RPAREN reduce production binary_expr -> binary_expr PERCENT binary_expr --- On PLUS reduce production binary_expr -> binary_expr PERCENT binary_expr --- On PERCENT reduce production binary_expr -> binary_expr PERCENT binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr PERCENT binary_expr --- On NODE reduce production binary_expr -> binary_expr PERCENT binary_expr --- On MINUS reduce production binary_expr -> binary_expr PERCENT binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr PERCENT binary_expr --- On LESS reduce production binary_expr -> binary_expr PERCENT binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr PERCENT binary_expr --- On GREATER reduce production binary_expr -> binary_expr PERCENT binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr PERCENT binary_expr --- On EOF reduce production binary_expr -> binary_expr PERCENT binary_expr --- On ELSE reduce production binary_expr -> binary_expr PERCENT binary_expr --- On DIVIDE reduce production binary_expr -> binary_expr PERCENT binary_expr --- On CONST reduce production binary_expr -> binary_expr PERCENT binary_expr --- On COMMA reduce production binary_expr -> binary_expr PERCENT binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr PERCENT binary_expr --- On AND_AND reduce production binary_expr -> binary_expr PERCENT binary_expr - -State 52: -binary_expr -> binary_expr DIVIDE . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 53 - -State 53: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr DIVIDE binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On TEL reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On STAR reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On RPAREN reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On PLUS reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On PERCENT reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On NODE reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On MINUS reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On LESS reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On GREATER reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On EOF reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On ELSE reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On DIVIDE reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On CONST reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On COMMA reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr DIVIDE binary_expr --- On AND_AND reduce production binary_expr -> binary_expr DIVIDE binary_expr - -State 54: -binary_expr -> binary_expr NOT_EQUAL . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 55 - -State 55: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr NOT_EQUAL binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On LESS_EQUAL shift to state 58 --- On LESS shift to state 60 --- On GREATER_EQUAL shift to state 62 --- On GREATER shift to state 64 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On TEL reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On RPAREN reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On NODE reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On EOF reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On ELSE reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On CONST reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On COMMA reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr --- On AND_AND reduce production binary_expr -> binary_expr NOT_EQUAL binary_expr - -State 56: -binary_expr -> binary_expr MINUS . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 57 - -State 57: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr MINUS binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PERCENT shift to state 50 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr MINUS binary_expr --- On TEL reduce production binary_expr -> binary_expr MINUS binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr MINUS binary_expr --- On RPAREN reduce production binary_expr -> binary_expr MINUS binary_expr --- On PLUS reduce production binary_expr -> binary_expr MINUS binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr MINUS binary_expr --- On NODE reduce production binary_expr -> binary_expr MINUS binary_expr --- On MINUS reduce production binary_expr -> binary_expr MINUS binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr MINUS binary_expr --- On LESS reduce production binary_expr -> binary_expr MINUS binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr MINUS binary_expr --- On GREATER reduce production binary_expr -> binary_expr MINUS binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr MINUS binary_expr --- On EOF reduce production binary_expr -> binary_expr MINUS binary_expr --- On ELSE reduce production binary_expr -> binary_expr MINUS binary_expr --- On CONST reduce production binary_expr -> binary_expr MINUS binary_expr --- On COMMA reduce production binary_expr -> binary_expr MINUS binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr MINUS binary_expr --- On AND_AND reduce production binary_expr -> binary_expr MINUS binary_expr - -State 58: -binary_expr -> binary_expr LESS_EQUAL . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 59 - -State 59: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr LESS_EQUAL binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On TEL reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On RPAREN reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On NODE reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On LESS reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On GREATER reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On EOF reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On ELSE reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On CONST reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On COMMA reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr --- On AND_AND reduce production binary_expr -> binary_expr LESS_EQUAL binary_expr - -State 60: -binary_expr -> binary_expr LESS . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 61 - -State 61: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr LESS binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr LESS binary_expr --- On TEL reduce production binary_expr -> binary_expr LESS binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr LESS binary_expr --- On RPAREN reduce production binary_expr -> binary_expr LESS binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr LESS binary_expr --- On NODE reduce production binary_expr -> binary_expr LESS binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr LESS binary_expr --- On LESS reduce production binary_expr -> binary_expr LESS binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr LESS binary_expr --- On GREATER reduce production binary_expr -> binary_expr LESS binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr LESS binary_expr --- On EOF reduce production binary_expr -> binary_expr LESS binary_expr --- On ELSE reduce production binary_expr -> binary_expr LESS binary_expr --- On CONST reduce production binary_expr -> binary_expr LESS binary_expr --- On COMMA reduce production binary_expr -> binary_expr LESS binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr LESS binary_expr --- On AND_AND reduce production binary_expr -> binary_expr LESS binary_expr - -State 62: -binary_expr -> binary_expr GREATER_EQUAL . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 63 - -State 63: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr GREATER_EQUAL binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On TEL reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On RPAREN reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On NODE reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On LESS reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On GREATER reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On EOF reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On ELSE reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On CONST reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On COMMA reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr --- On AND_AND reduce production binary_expr -> binary_expr GREATER_EQUAL binary_expr - -State 64: -binary_expr -> binary_expr GREATER . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 65 - -State 65: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr GREATER binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr GREATER binary_expr --- On TEL reduce production binary_expr -> binary_expr GREATER binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr GREATER binary_expr --- On RPAREN reduce production binary_expr -> binary_expr GREATER binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr GREATER binary_expr --- On NODE reduce production binary_expr -> binary_expr GREATER binary_expr --- On LESS_EQUAL reduce production binary_expr -> binary_expr GREATER binary_expr --- On LESS reduce production binary_expr -> binary_expr GREATER binary_expr --- On GREATER_EQUAL reduce production binary_expr -> binary_expr GREATER binary_expr --- On GREATER reduce production binary_expr -> binary_expr GREATER binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr GREATER binary_expr --- On EOF reduce production binary_expr -> binary_expr GREATER binary_expr --- On ELSE reduce production binary_expr -> binary_expr GREATER binary_expr --- On CONST reduce production binary_expr -> binary_expr GREATER binary_expr --- On COMMA reduce production binary_expr -> binary_expr GREATER binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr GREATER binary_expr --- On AND_AND reduce production binary_expr -> binary_expr GREATER binary_expr - -State 66: -binary_expr -> binary_expr EQUAL_EQUAL . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 67 - -State 67: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr EQUAL_EQUAL binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On MINUS shift to state 56 --- On LESS_EQUAL shift to state 58 --- On LESS shift to state 60 --- On GREATER_EQUAL shift to state 62 --- On GREATER shift to state 64 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On TEL reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On RPAREN reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On NOT_EQUAL reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On NODE reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On EQUAL_EQUAL reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On EOF reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On ELSE reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On CONST reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On COMMA reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr --- On AND_AND reduce production binary_expr -> binary_expr EQUAL_EQUAL binary_expr - -State 68: -binary_expr -> binary_expr BAR_BAR . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 69 - -State 69: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr BAR_BAR binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On NOT_EQUAL shift to state 54 --- On MINUS shift to state 56 --- On LESS_EQUAL shift to state 58 --- On LESS shift to state 60 --- On GREATER_EQUAL shift to state 62 --- On GREATER shift to state 64 --- On EQUAL_EQUAL shift to state 66 --- On DIVIDE shift to state 52 --- On AND_AND shift to state 70 --- On THEN reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On TEL reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On RPAREN reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On NODE reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On EOF reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On ELSE reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On CONST reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On COMMA reduce production binary_expr -> binary_expr BAR_BAR binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr BAR_BAR binary_expr - -State 70: -binary_expr -> binary_expr AND_AND . binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On binary_expr shift to state 71 - -State 71: -binary_expr -> binary_expr . STAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . DIVIDE binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PERCENT binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . PLUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . MINUS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . LESS_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . GREATER_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . EQUAL_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . NOT_EQUAL binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . AND_AND binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr AND_AND binary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] -binary_expr -> binary_expr . BAR_BAR binary_expr [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On STAR shift to state 46 --- On PLUS shift to state 48 --- On PERCENT shift to state 50 --- On NOT_EQUAL shift to state 54 --- On MINUS shift to state 56 --- On LESS_EQUAL shift to state 58 --- On LESS shift to state 60 --- On GREATER_EQUAL shift to state 62 --- On GREATER shift to state 64 --- On EQUAL_EQUAL shift to state 66 --- On DIVIDE shift to state 52 --- On THEN reduce production binary_expr -> binary_expr AND_AND binary_expr --- On TEL reduce production binary_expr -> binary_expr AND_AND binary_expr --- On SEMICOLON reduce production binary_expr -> binary_expr AND_AND binary_expr --- On RPAREN reduce production binary_expr -> binary_expr AND_AND binary_expr --- On NODE reduce production binary_expr -> binary_expr AND_AND binary_expr --- On EOF reduce production binary_expr -> binary_expr AND_AND binary_expr --- On ELSE reduce production binary_expr -> binary_expr AND_AND binary_expr --- On CONST reduce production binary_expr -> binary_expr AND_AND binary_expr --- On COMMA reduce production binary_expr -> binary_expr AND_AND binary_expr --- On BAR_BAR reduce production binary_expr -> binary_expr AND_AND binary_expr --- On AND_AND reduce production binary_expr -> binary_expr AND_AND binary_expr - -State 72: -if_expr -> IF expr . THEN expr ELSE expr [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On THEN shift to state 73 - -State 73: -if_expr -> IF expr THEN . expr ELSE expr [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 74 --- On binary_expr shift to state 45 - -State 74: -if_expr -> IF expr THEN expr . ELSE expr [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On ELSE shift to state 75 - -State 75: -if_expr -> IF expr THEN expr ELSE . expr [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 76 --- On binary_expr shift to state 45 - -State 76: -if_expr -> IF expr THEN expr ELSE expr . [ THEN TEL SEMICOLON RPAREN NODE EOF ELSE CONST COMMA ] --- On THEN reduce production if_expr -> IF expr THEN expr ELSE expr --- On TEL reduce production if_expr -> IF expr THEN expr ELSE expr --- On SEMICOLON reduce production if_expr -> IF expr THEN expr ELSE expr --- On RPAREN reduce production if_expr -> IF expr THEN expr ELSE expr --- On NODE reduce production if_expr -> IF expr THEN expr ELSE expr --- On EOF reduce production if_expr -> IF expr THEN expr ELSE expr --- On ELSE reduce production if_expr -> IF expr THEN expr ELSE expr --- On CONST reduce production if_expr -> IF expr THEN expr ELSE expr --- On COMMA reduce production if_expr -> IF expr THEN expr ELSE expr - -State 77: -primary_expr -> LPAREN expr . RPAREN [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On RPAREN shift to state 78 - -State 78: -primary_expr -> LPAREN expr RPAREN . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production primary_expr -> LPAREN expr RPAREN --- On TEL reduce production primary_expr -> LPAREN expr RPAREN --- On STAR reduce production primary_expr -> LPAREN expr RPAREN --- On SEMICOLON reduce production primary_expr -> LPAREN expr RPAREN --- On RPAREN reduce production primary_expr -> LPAREN expr RPAREN --- On PLUS reduce production primary_expr -> LPAREN expr RPAREN --- On PERCENT reduce production primary_expr -> LPAREN expr RPAREN --- On NOT_EQUAL reduce production primary_expr -> LPAREN expr RPAREN --- On NODE reduce production primary_expr -> LPAREN expr RPAREN --- On MINUS reduce production primary_expr -> LPAREN expr RPAREN --- On LESS_EQUAL reduce production primary_expr -> LPAREN expr RPAREN --- On LESS reduce production primary_expr -> LPAREN expr RPAREN --- On GREATER_EQUAL reduce production primary_expr -> LPAREN expr RPAREN --- On GREATER reduce production primary_expr -> LPAREN expr RPAREN --- On EQUAL_EQUAL reduce production primary_expr -> LPAREN expr RPAREN --- On EOF reduce production primary_expr -> LPAREN expr RPAREN --- On ELSE reduce production primary_expr -> LPAREN expr RPAREN --- On DIVIDE reduce production primary_expr -> LPAREN expr RPAREN --- On CONST reduce production primary_expr -> LPAREN expr RPAREN --- On COMMA reduce production primary_expr -> LPAREN expr RPAREN --- On BAR_BAR reduce production primary_expr -> LPAREN expr RPAREN --- On AND_AND reduce production primary_expr -> LPAREN expr RPAREN - -State 79: -unary_expr -> MINUS unary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production unary_expr -> MINUS unary_expr --- On TEL reduce production unary_expr -> MINUS unary_expr --- On STAR reduce production unary_expr -> MINUS unary_expr --- On SEMICOLON reduce production unary_expr -> MINUS unary_expr --- On RPAREN reduce production unary_expr -> MINUS unary_expr --- On PLUS reduce production unary_expr -> MINUS unary_expr --- On PERCENT reduce production unary_expr -> MINUS unary_expr --- On NOT_EQUAL reduce production unary_expr -> MINUS unary_expr --- On NODE reduce production unary_expr -> MINUS unary_expr --- On MINUS reduce production unary_expr -> MINUS unary_expr --- On LESS_EQUAL reduce production unary_expr -> MINUS unary_expr --- On LESS reduce production unary_expr -> MINUS unary_expr --- On GREATER_EQUAL reduce production unary_expr -> MINUS unary_expr --- On GREATER reduce production unary_expr -> MINUS unary_expr --- On EQUAL_EQUAL reduce production unary_expr -> MINUS unary_expr --- On EOF reduce production unary_expr -> MINUS unary_expr --- On ELSE reduce production unary_expr -> MINUS unary_expr --- On DIVIDE reduce production unary_expr -> MINUS unary_expr --- On CONST reduce production unary_expr -> MINUS unary_expr --- On COMMA reduce production unary_expr -> MINUS unary_expr --- On BAR_BAR reduce production unary_expr -> MINUS unary_expr --- On AND_AND reduce production unary_expr -> MINUS unary_expr - -State 80: -unary_expr -> NOT unary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production unary_expr -> NOT unary_expr --- On TEL reduce production unary_expr -> NOT unary_expr --- On STAR reduce production unary_expr -> NOT unary_expr --- On SEMICOLON reduce production unary_expr -> NOT unary_expr --- On RPAREN reduce production unary_expr -> NOT unary_expr --- On PLUS reduce production unary_expr -> NOT unary_expr --- On PERCENT reduce production unary_expr -> NOT unary_expr --- On NOT_EQUAL reduce production unary_expr -> NOT unary_expr --- On NODE reduce production unary_expr -> NOT unary_expr --- On MINUS reduce production unary_expr -> NOT unary_expr --- On LESS_EQUAL reduce production unary_expr -> NOT unary_expr --- On LESS reduce production unary_expr -> NOT unary_expr --- On GREATER_EQUAL reduce production unary_expr -> NOT unary_expr --- On GREATER reduce production unary_expr -> NOT unary_expr --- On EQUAL_EQUAL reduce production unary_expr -> NOT unary_expr --- On EOF reduce production unary_expr -> NOT unary_expr --- On ELSE reduce production unary_expr -> NOT unary_expr --- On DIVIDE reduce production unary_expr -> NOT unary_expr --- On CONST reduce production unary_expr -> NOT unary_expr --- On COMMA reduce production unary_expr -> NOT unary_expr --- On BAR_BAR reduce production unary_expr -> NOT unary_expr --- On AND_AND reduce production unary_expr -> NOT unary_expr - -State 81: -unary_expr -> PLUS unary_expr . [ THEN TEL STAR SEMICOLON RPAREN PLUS PERCENT NOT_EQUAL NODE MINUS LESS_EQUAL LESS GREATER_EQUAL GREATER EQUAL_EQUAL EOF ELSE DIVIDE CONST COMMA BAR_BAR AND_AND ] --- On THEN reduce production unary_expr -> PLUS unary_expr --- On TEL reduce production unary_expr -> PLUS unary_expr --- On STAR reduce production unary_expr -> PLUS unary_expr --- On SEMICOLON reduce production unary_expr -> PLUS unary_expr --- On RPAREN reduce production unary_expr -> PLUS unary_expr --- On PLUS reduce production unary_expr -> PLUS unary_expr --- On PERCENT reduce production unary_expr -> PLUS unary_expr --- On NOT_EQUAL reduce production unary_expr -> PLUS unary_expr --- On NODE reduce production unary_expr -> PLUS unary_expr --- On MINUS reduce production unary_expr -> PLUS unary_expr --- On LESS_EQUAL reduce production unary_expr -> PLUS unary_expr --- On LESS reduce production unary_expr -> PLUS unary_expr --- On GREATER_EQUAL reduce production unary_expr -> PLUS unary_expr --- On GREATER reduce production unary_expr -> PLUS unary_expr --- On EQUAL_EQUAL reduce production unary_expr -> PLUS unary_expr --- On EOF reduce production unary_expr -> PLUS unary_expr --- On ELSE reduce production unary_expr -> PLUS unary_expr --- On DIVIDE reduce production unary_expr -> PLUS unary_expr --- On CONST reduce production unary_expr -> PLUS unary_expr --- On COMMA reduce production unary_expr -> PLUS unary_expr --- On BAR_BAR reduce production unary_expr -> PLUS unary_expr --- On AND_AND reduce production unary_expr -> PLUS unary_expr - -State 82: -eqn -> GUARANTEE IDENT COLON expr . [ TEL SEMICOLON ] --- On TEL reduce production eqn -> GUARANTEE IDENT COLON expr --- On SEMICOLON reduce production eqn -> GUARANTEE IDENT COLON expr - -State 83: -eqn -> ASSUME . IDENT COLON expr [ TEL SEMICOLON ] --- On IDENT shift to state 84 - -State 84: -eqn -> ASSUME IDENT . COLON expr [ TEL SEMICOLON ] --- On COLON shift to state 85 - -State 85: -eqn -> ASSUME IDENT COLON . expr [ TEL SEMICOLON ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 86 --- On binary_expr shift to state 45 - -State 86: -eqn -> ASSUME IDENT COLON expr . [ TEL SEMICOLON ] --- On TEL reduce production eqn -> ASSUME IDENT COLON expr --- On SEMICOLON reduce production eqn -> ASSUME IDENT COLON expr - -State 87: -dbody -> LET separated_nonempty_list(SEMICOLON,ext(eqn)) . TEL [ NODE EOF CONST ] --- On TEL shift to state 88 - -State 88: -dbody -> LET separated_nonempty_list(SEMICOLON,ext(eqn)) TEL . [ NODE EOF CONST ] --- On NODE reduce production dbody -> LET separated_nonempty_list(SEMICOLON,ext(eqn)) TEL --- On EOF reduce production dbody -> LET separated_nonempty_list(SEMICOLON,ext(eqn)) TEL --- On CONST reduce production dbody -> LET separated_nonempty_list(SEMICOLON,ext(eqn)) TEL - -State 89: -eqn -> lvalue . EQUAL expr [ TEL SEMICOLON ] --- On EQUAL shift to state 90 - -State 90: -eqn -> lvalue EQUAL . expr [ TEL SEMICOLON ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 91 --- On binary_expr shift to state 45 - -State 91: -eqn -> lvalue EQUAL expr . [ TEL SEMICOLON ] --- On TEL reduce production eqn -> lvalue EQUAL expr --- On SEMICOLON reduce production eqn -> lvalue EQUAL expr - -State 92: -separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn . [ TEL ] -separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn . SEMICOLON separated_nonempty_list(SEMICOLON,ext(eqn)) [ TEL ] --- On SEMICOLON shift to state 93 --- On TEL reduce production separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn - -State 93: -separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn SEMICOLON . separated_nonempty_list(SEMICOLON,ext(eqn)) [ TEL ] --- On IDENT shift to state 22 --- On GUARANTEE shift to state 23 --- On ASSUME shift to state 83 --- On separated_nonempty_list(SEMICOLON,ext(eqn)) shift to state 94 --- On lvalue shift to state 89 --- On eqn shift to state 92 - -State 94: -separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn SEMICOLON separated_nonempty_list(SEMICOLON,ext(eqn)) . [ TEL ] --- On TEL reduce production separated_nonempty_list(SEMICOLON,ext(eqn)) -> eqn SEMICOLON separated_nonempty_list(SEMICOLON,ext(eqn)) - -State 95: -dbody -> eqn . SEMICOLON [ NODE EOF CONST ] --- On SEMICOLON shift to state 96 - -State 96: -dbody -> eqn SEMICOLON . [ NODE EOF CONST ] --- On NODE reduce production dbody -> eqn SEMICOLON --- On EOF reduce production dbody -> eqn SEMICOLON --- On CONST reduce production dbody -> eqn SEMICOLON - -State 97: -node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody . [ NODE EOF CONST ] --- On NODE reduce production node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody --- On EOF reduce production node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody --- On CONST reduce production node_decl -> NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody - -State 98: -separated_nonempty_list(SEMICOLON,var) -> var . [ RPAREN ] -separated_nonempty_list(SEMICOLON,var) -> var . SEMICOLON separated_nonempty_list(SEMICOLON,var) [ RPAREN ] --- On SEMICOLON shift to state 99 --- On RPAREN reduce production separated_nonempty_list(SEMICOLON,var) -> var - -State 99: -separated_nonempty_list(SEMICOLON,var) -> var SEMICOLON . separated_nonempty_list(SEMICOLON,var) [ RPAREN ] --- On IDENT shift to state 4 --- On var shift to state 98 --- On separated_nonempty_list(SEMICOLON,var) shift to state 100 - -State 100: -separated_nonempty_list(SEMICOLON,var) -> var SEMICOLON separated_nonempty_list(SEMICOLON,var) . [ RPAREN ] --- On RPAREN reduce production separated_nonempty_list(SEMICOLON,var) -> var SEMICOLON separated_nonempty_list(SEMICOLON,var) - -State 101: -loption(separated_nonempty_list(SEMICOLON,var)) -> separated_nonempty_list(SEMICOLON,var) . [ RPAREN ] --- On RPAREN reduce production loption(separated_nonempty_list(SEMICOLON,var)) -> separated_nonempty_list(SEMICOLON,var) - -State 102: -vars -> loption(separated_nonempty_list(SEMICOLON,var)) . [ RPAREN ] --- On RPAREN reduce production vars -> loption(separated_nonempty_list(SEMICOLON,var)) - -State 103: -const_decl -> CONST . IDENT COLON typ EQUAL expr [ NODE EOF CONST ] --- On IDENT shift to state 104 - -State 104: -const_decl -> CONST IDENT . COLON typ EQUAL expr [ NODE EOF CONST ] --- On COLON shift to state 105 - -State 105: -const_decl -> CONST IDENT COLON . typ EQUAL expr [ NODE EOF CONST ] --- On REAL shift to state 6 --- On INT shift to state 7 --- On BOOL shift to state 8 --- On typ shift to state 106 - -State 106: -const_decl -> CONST IDENT COLON typ . EQUAL expr [ NODE EOF CONST ] --- On EQUAL shift to state 107 - -State 107: -const_decl -> CONST IDENT COLON typ EQUAL . expr [ NODE EOF CONST ] --- On TRUE shift to state 26 --- On PLUS shift to state 27 --- On NOT shift to state 28 --- On MINUS shift to state 29 --- On LPAREN shift to state 30 --- On INTVAL shift to state 31 --- On IF shift to state 32 --- On IDENT shift to state 33 --- On FALSE shift to state 35 --- On unary_expr shift to state 36 --- On primary_expr shift to state 38 --- On if_expr shift to state 41 --- On expr shift to state 108 --- On binary_expr shift to state 45 - -State 108: -const_decl -> CONST IDENT COLON typ EQUAL expr . [ NODE EOF CONST ] --- On NODE reduce production const_decl -> CONST IDENT COLON typ EQUAL expr --- On EOF reduce production const_decl -> CONST IDENT COLON typ EQUAL expr --- On CONST reduce production const_decl -> CONST IDENT COLON typ EQUAL expr - -State 109: -list(toplevel) -> toplevel . list(toplevel) [ EOF ] --- On NODE shift to state 1 --- On CONST shift to state 103 --- On toplevel shift to state 109 --- On node_decl shift to state 110 --- On list(toplevel) shift to state 111 --- On const_decl shift to state 112 --- On EOF reduce production list(toplevel) -> - -State 110: -toplevel -> node_decl . [ NODE EOF CONST ] --- On NODE reduce production toplevel -> node_decl --- On EOF reduce production toplevel -> node_decl --- On CONST reduce production toplevel -> node_decl - -State 111: -list(toplevel) -> toplevel list(toplevel) . [ EOF ] --- On EOF reduce production list(toplevel) -> toplevel list(toplevel) - -State 112: -toplevel -> const_decl . [ NODE EOF CONST ] --- On NODE reduce production toplevel -> const_decl --- On EOF reduce production toplevel -> const_decl --- On CONST reduce production toplevel -> const_decl - -State 113: -file -> list(toplevel) . EOF [ # ] --- On EOF shift to state 114 - -State 114: -file -> list(toplevel) EOF . [ # ] --- On # reduce production file -> list(toplevel) EOF - -State 115: -file' -> file . [ # ] --- On # accept file - diff --git a/frontend/parser.conflicts b/frontend/parser.conflicts deleted file mode 100644 index 296156a..0000000 --- a/frontend/parser.conflicts +++ /dev/null @@ -1,32 +0,0 @@ - -** Conflict (shift/reduce) in state 17. -** Token involved: IDENT -** This state is reached from file after reading: - -NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN VAR var SEMICOLON - -** The derivations that appear below have the following common factor: -** (The question mark symbol (?) represents the spot where the derivations begin to differ.) - -file -list(toplevel) EOF -toplevel list(toplevel) -node_decl -(?) - -** In state 17, looking ahead at IDENT, reducing production -** nonempty_list(terminated(var,SEMICOLON)) -> var SEMICOLON -** is permitted because of the following sub-derivation: - -NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody // lookahead token appears because dbody can begin with IDENT - VAR nonempty_list(terminated(var,SEMICOLON)) // lookahead token is inherited - var SEMICOLON . - -** In state 17, looking ahead at IDENT, shifting is permitted -** because of the following sub-derivation: - -NODE IDENT LPAREN vars RPAREN RETURNS vars RPAREN var_decl dbody - VAR nonempty_list(terminated(var,SEMICOLON)) - var SEMICOLON nonempty_list(terminated(var,SEMICOLON)) - var SEMICOLON - . IDENT COLON typ diff --git a/frontend/parser.mly b/frontend/parser.mly index 9db1bd5..2c1ac25 100644 --- a/frontend/parser.mly +++ b/frontend/parser.mly @@ -2,62 +2,32 @@ open Ast %} -/* tokens */ -/**********/ - -%token BOOL -%token INT -%token REAL +%token BOOL INT REAL %token PROBE -%token TRUE -%token THEN -%token FALSE -%token IF -%token ELSE -%token NOT -%token AND -%token OR +%token TRUE FALSE +%token IF THEN ELSE +%token NOT AND OR %token MOD -%token CONST -%token NODE -%token RETURNS -%token VAR -%token LET -%token TEL +%token CONST NODE RETURNS +%token VAR LET TEL %token PRE -%token ASSUME -%token GUARANTEE - -%token LPAREN -%token RPAREN -%token LCURLY -%token RCURLY -%token STAR -%token PLUS -%token MINUS -%token EXCLAIM -%token DIVIDE -%token PERCENT -%token LESS -%token GREATER -%token LESS_EQUAL -%token GREATER_EQUAL -%token EQUAL_EQUAL -%token DIFF -%token AND_AND -%token BAR_BAR -%token SEMICOLON -%token COLON -%token COMMA -%token EQUAL +%token ASSUME GUARANTEE + +%token LPAREN RPAREN +%token LCURLY RCURLY +%token STAR PLUS MINUS DIVIDE +%token LESS GREATER LESS_EQUAL GREATER_EQUAL +%token DIFF EQUAL +%token SEMICOLON COLON COMMA %token ARROW %token <string> IDENT %token <string> INTVAL +%token <string> REALVAL %token EOF -/* priorities of binary operators (lowest to highest) */ +(* Lowest priorities first *) %left ARROW %left OR %left AND @@ -66,53 +36,46 @@ open Ast %left PLUS MINUS %left STAR DIVIDE MOD - -/* entry-points */ -/****************/ - +(* Root token *) %start<Ast.toplevel list> file - %% - -/* toplevel */ -/************/ - -file: t=list(toplevel) EOF { t } +file: +| t=list(toplevel) EOF { t } toplevel: -| d=ext(const_decl) { AST_const_decl d } -| d=ext(node_decl) { AST_node_decl d } - +| d=ext(const_decl) { AST_const_decl d } +| d=ext(node_decl) { AST_node_decl d } -/* expressions */ -/***************/ primary_expr: -| LPAREN e=expr RPAREN { e } -| e=ext(IDENT) { AST_identifier e } -| e=ext(INTVAL) { AST_int_const e } -| TRUE { AST_bool_const true } -| FALSE { AST_bool_const false } +| LPAREN e=expr RPAREN { e } +| e=ext(IDENT) { AST_identifier e } +| e=ext(INTVAL) { AST_int_const e } +| e=ext(REALVAL) { AST_real_const e } +| TRUE { AST_bool_const true } +| FALSE { AST_bool_const false } | e=ext(IDENT) LPAREN l=separated_list(COMMA,ext(expr)) RPAREN - { AST_instance (e, l) } - + { AST_instance (e, l) } unary_expr: | e=primary_expr { e } +| NOT e=ext(unary_expr) { AST_not(e) } +| PRE e=ext(unary_expr) { AST_pre(e) } | o=unary_op e=ext(unary_expr) { AST_unary (o, e) } %inline unary_op: | PLUS { AST_UPLUS } | MINUS { AST_UMINUS } -| NOT { AST_NOT } -| PRE { AST_PRE } binary_expr: | e=unary_expr { e } +| e=ext(binary_expr) ARROW f=ext(binary_expr) { AST_arrow(e, f) } | e=ext(binary_expr) o=binary_op f=ext(binary_expr) { AST_binary (o, e, f) } +| e=ext(binary_expr) o=binary_rel f=ext(binary_expr) { AST_binary_rel (o, e, f) } +| e=ext(binary_expr) o=binary_bool f=ext(binary_expr) { AST_binary_bool (o, e, f) } %inline binary_op: | STAR { AST_MUL } @@ -120,55 +83,44 @@ binary_expr: | MOD { AST_MOD } | PLUS { AST_PLUS } | MINUS { AST_MINUS } +%inline binary_rel: | LESS { AST_LT } | GREATER { AST_GT } | LESS_EQUAL { AST_LE } | GREATER_EQUAL { AST_GE } | EQUAL { AST_EQ} | DIFF { AST_NE } +%inline binary_bool: | AND { AST_AND } | OR { AST_OR } -| ARROW { AST_ARROW } if_expr: -| IF c=ext(expr) THEN t=ext(expr) ELSE e=ext(expr) - { AST_if(c, t, e) } -| e=binary_expr { e } +| IF c=ext(expr) THEN t=ext(expr) ELSE e=ext(expr) { AST_if(c, t, e) } +| e=binary_expr { e } expr: -| e=if_expr { e } - -lvalue: -| i=IDENT { i } +| e=if_expr { e } -/* equations */ -/****************/ - +(* Equations (can be asserts, automata, ...) *) eqn: -| i=ext(lvalue) EQUAL e=ext(expr) - { AST_assign(i, e) } -| ASSUME i=ext(IDENT) COLON e=ext(expr) - { AST_assume(i, e) } -| GUARANTEE i=ext(IDENT) COLON e=ext(expr) - { AST_guarantee(i, e) } +| i=ext(IDENT) EQUAL e=ext(expr) { AST_assign(i, e) } +| ASSUME i=ext(IDENT) COLON e=ext(expr) { AST_assume(i, e) } +| GUARANTEE i=ext(IDENT) COLON e=ext(expr) { AST_guarantee(i, e) } typ: | INT { AST_TINT } | BOOL { AST_TBOOL } | REAL { AST_TREAL } +(* Declarations *) dbody: -| e=ext(eqn) SEMICOLON - { [e] } +| e=ext(eqn) SEMICOLON { [e] } | LET l=nonempty_list(terminated(ext(eqn), SEMICOLON)) TEL - { l } - -/* declarations */ + { l } var: -| p=boption(PROBE) i=ext(IDENT) - { (p, i) } +| p=boption(PROBE) i=ext(IDENT) { (p, i) } vari: | vn=separated_list(COMMA, var) COLON t=typ @@ -179,43 +131,40 @@ vars: { List.flatten v } const_decl: -| CONST i=ext(IDENT) COLON t=typ EQUAL e=ext(expr) SEMICOLON - { (i, t, e) } +| CONST i=IDENT COLON t=typ EQUAL e=ext(expr) SEMICOLON + { { + name = i; + typ = t; + value = e; + } } var_decl: | VAR l=nonempty_list(terminated(vari, SEMICOLON)) { List.flatten l } node_decl: -| NODE id=IDENT - LPAREN v=vars RPAREN +| NODE id=IDENT LPAREN v=vars RPAREN RETURNS LPAREN rv=vars RPAREN e = dbody - { { name = id; - args = v; - ret = rv; - var = []; - body = e; - } } -| NODE id=IDENT - LPAREN v=vars RPAREN +{ { name = id; + args = v; + ret = rv; + var = []; + body = e; +} } +| NODE id=IDENT LPAREN v=vars RPAREN RETURNS LPAREN rv=vars RPAREN lv=var_decl LET b=nonempty_list(terminated(ext(eqn), SEMICOLON)) TEL - { { name = id; - args = v; - ret = rv; - var = lv; - body = b; - } } - - -/* utilities */ -/*************/ - -/* adds extent information to rule */ +{ { name = id; + args = v; + ret = rv; + var = lv; + body = b; +} } + +(* Utility : add extent information *) %inline ext(X): | x=X { x, ($startpos, $endpos) } - %% |