grm.err

tiger编译器的Java实现

transition on EOF to state [133]

-------------------
lalr_state [7]: {
  [expression ::= STRING (*) , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
}

-------------------
lalr_state [8]: {
  [expression ::= (*) FOR ID ASSIGN expression TO expression DO expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) lvalue ASSIGN expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression GT expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [lvalue ::= (*) lvalue LBRACK expression RBRACK , {LBRACK DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN }]
  [expression ::= (*) ID LBRACE field_list RBRACE , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression TIMES expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression OR expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) BREAK , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) ID LPAREN expr_list RPAREN , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression LE expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) STRING , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) ID LBRACE RBRACE , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression DIVIDE expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression NEQ expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [lvalue ::= (*) ID , {LBRACK DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN }]
  [expression ::= (*) LET declaration_lists IN expr_seq END , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) ID LPAREN RPAREN , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression LT expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) INT , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) ID LBRACK expression RBRACK OF expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) MINUS expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression EQ expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [lvalue ::= (*) ID LBRACK expression RBRACK , {LBRACK DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN }]
  [expression ::= IF (*) expression THEN expression , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [expression ::= (*) IF expression THEN expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) LPAREN expr_seq RPAREN , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression MINUS expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) NIL , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) WHILE expression DO expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) lvalue , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression GE expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= IF (*) expression THEN expression ELSE expression , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [lvalue ::= (*) lvalue DOT ID , {LBRACK DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN }]
  [expression ::= (*) IF expression THEN expression ELSE expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) LPAREN RPAREN , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression PLUS expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
  [expression ::= (*) expression AND expression , {PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN }]
}
transition on BREAK to state [14]
transition on lvalue to state [13]
transition on LPAREN to state [12]
transition on LET to state [11]
transition on ID to state [10]
transition on expression to state [128]
transition on IF to state [8]
transition on STRING to state [7]
transition on NIL to state [5]
transition on FOR to state [4]
transition on INT to state [3]
transition on WHILE to state [2]
transition on MINUS to state [1]

-------------------
lalr_state [9]: {
  [expression ::= expression (*) TIMES expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) LT expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) GE expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) OR expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) PLUS expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) LE expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) EQ expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) AND expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [program ::= expression (*) , {EOF }]
  [expression ::= expression (*) DIVIDE expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) MINUS expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) GT expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= expression (*) NEQ expression , {EOF PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
}
transition on OR to state [31]
transition on LT to state [30]
transition on TIMES to state [29]
transition on GT to state [28]
transition on LE to state [27]
transition on EQ to state [26]
transition on PLUS to state [25]
transition on NEQ to state [24]
transition on GE to state [23]
transition on DIVIDE to state [22]
transition on AND to state [21]
transition on MINUS to state [20]

-------------------
lalr_state [10]: {
  [expression ::= ID (*) LBRACE field_list RBRACE , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [expression ::= ID (*) LPAREN RPAREN , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [lvalue ::= ID (*) LBRACK expression RBRACK , {EOF COMMA SEMICOLON RPAREN LBRACK RBRACK RBRACE DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [expression ::= ID (*) LBRACK expression RBRACK OF expression , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [expression ::= ID (*) LPAREN expr_list RPAREN , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [lvalue ::= ID (*) , {EOF COMMA SEMICOLON RPAREN LBRACK RBRACK RBRACE DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [expression ::= ID (*) LBRACE RBRACE , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
}
transition on LPAREN to state [109]
transition on LBRACK to state [108]
transition on LBRACE to state [107]

-------------------
lalr_state [11]: {
  [function_declaration ::= (*) FUNCTION ID LPAREN RPAREN EQ expression , {IN FUNCTION VAR TYPE }]
  [function_declarations ::= (*) function_declaration function_declarations , {IN FUNCTION VAR TYPE }]
  [type_declarations ::= (*) type_declaration type_declarations , {IN FUNCTION VAR TYPE }]
  [declaration_list ::= (*) variable_declaration , {IN FUNCTION VAR TYPE }]
  [declaration_lists ::= (*) , {IN }]
  [variable_declaration ::= (*) VAR ID ASSIGN expression , {IN FUNCTION VAR TYPE }]
  [function_declaration ::= (*) FUNCTION ID LPAREN type_fields RPAREN COLON ID EQ expression , {IN FUNCTION VAR TYPE }]
  [function_declarations ::= (*) function_declaration , {IN FUNCTION VAR TYPE }]
  [type_declarations ::= (*) type_declaration , {IN FUNCTION VAR TYPE }]
  [declaration_list ::= (*) type_declarations , {IN FUNCTION VAR TYPE }]
  [function_declaration ::= (*) FUNCTION ID LPAREN RPAREN COLON ID EQ expression , {IN FUNCTION VAR TYPE }]
  [function_declaration ::= (*) FUNCTION ID LPAREN type_fields RPAREN EQ expression , {IN FUNCTION VAR TYPE }]
  [type_declaration ::= (*) TYPE ID EQ type , {IN FUNCTION VAR TYPE }]
  [expression ::= LET (*) declaration_lists IN expr_seq END , {EOF COMMA SEMICOLON RPAREN RBRACK RBRACE PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR THEN ELSE TO DO IN END FUNCTION VAR TYPE }]
  [declaration_list ::= (*) function_declarations , {IN FUNCTION VAR TYPE }]
  [declaration_lists ::= (*) declaration_list declaration_lists , {IN }]
  [variable_declaration ::= (*) VAR ID COLON ID ASSIGN expression , {IN FUNCTION VAR TYPE }]
}
transition on variable_declaration to state [61]
transition on FUNCTION to state [60]
transition on type_declaration to state [59]
transition on function_declarations to state [58]
transition on TYPE to state [57]
transition on declaration_list to state [56]
transition on declaration_lists to state [55]
transition on VAR to state [54]
transition on function_declaration to state [53]
transition on type_declarations to state [52]

-------------------
lalr_state [12]: {
  [expression ::= (*) FOR ID ASSIGN expression TO expression DO expression , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) lvalue ASSIGN expression , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) expression GT expression , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [lvalue ::= (*) lvalue LBRACK expression RBRACK , {SEMICOLON RPAREN LBRACK DOT PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR ASSIGN }]
  [expr_seq ::= (*) expression , {RPAREN }]
  [expression ::= (*) ID LBRACE field_list RBRACE , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) expression TIMES expression , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) expression OR expression , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) BREAK , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]
  [expression ::= (*) ID LPAREN expr_list RPAREN , {SEMICOLON RPAREN PLUS MINUS TIMES DIVIDE EQ NEQ LT LE GT GE AND OR }]