compUnit |-- decl | `-- constDecl | |-- Const: const | |-- bType | | `-- Int: int | |-- constDef | | |-- Ident: INF | | |-- Assign: = | | `-- constInitVal | | `-- constExp | | `-- addExp | | `-- mulExp | | `-- unaryExp | | `-- primaryExp | | `-- number | | `-- IntConst: 65535 | `-- Semi: ; |-- decl | `-- varDecl | |-- bType | | `-- Int: int | |-- varDef | | |-- Ident: e | | |-- L_BRACKET: [ | | |-- constExp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 16 | | |-- R_BRACKET: ] | | |-- L_BRACKET: [ | | |-- constExp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 16 | | `-- R_BRACKET: ] | `-- Semi: ; |-- decl | `-- varDecl | |-- bType | | `-- Int: int | |-- varDef | | |-- Ident: book | | |-- L_BRACKET: [ | | |-- constExp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 16 | | `-- R_BRACKET: ] | `-- Semi: ; |-- decl | `-- varDecl | |-- bType | | `-- Int: int | |-- varDef | | |-- Ident: dis | | |-- L_BRACKET: [ | | |-- constExp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 16 | | `-- R_BRACKET: ] | `-- Semi: ; |-- decl | `-- varDecl | |-- bType | | `-- Int: int | |-- varDef | | `-- Ident: n | |-- Comma: , | |-- varDef | | `-- Ident: m | `-- Semi: ; |-- decl | `-- varDecl | |-- bType | | `-- Int: int | |-- varDef | | `-- Ident: v1 | |-- Comma: , | |-- varDef | | `-- Ident: v2 | |-- Comma: , | |-- varDef | | `-- Ident: w | `-- Semi: ; |-- funcDef | |-- funcType | | `-- Void: void | |-- Ident: Dijkstra | |-- L_PAREN: ( | |-- R_PAREN: ) | `-- block | |-- L_BRACE: { | |-- blockItem | | `-- decl | | `-- varDecl | | |-- bType | | | `-- Int: int | | |-- varDef | | | `-- Ident: i | | |-- Comma: , | | |-- varDef | | | `-- Ident: j | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: i | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- While: while | | |-- L_PAREN: ( | | |-- cond | | | `-- lOrExp | | | `-- lAndExp | | | `-- eqExp | | | `-- relExp | | | |-- relExp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: i | | | |-- LeOp: <= | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- lVal | | | `-- Ident: n | | |-- R_PAREN: ) | | `-- stmt | | `-- block | | |-- L_BRACE: { | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | |-- Ident: dis | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | `-- R_BRACKET: ] | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | |-- Ident: e | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 1 | | | | |-- R_BRACKET: ] | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | `-- R_BRACKET: ] | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | |-- Ident: book | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | `-- R_BRACKET: ] | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 0 | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | `-- Ident: i | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | |-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | |-- AddOp: + | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | `-- R_BRACE: } | |-- blockItem | | `-- stmt | | |-- lVal | | | |-- Ident: book | | | |-- L_BRACKET: [ | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- R_BRACKET: ] | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: i | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- While: while | | |-- L_PAREN: ( | | |-- cond | | | `-- lOrExp | | | `-- lAndExp | | | `-- eqExp | | | `-- relExp | | | |-- relExp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: i | | | |-- LeOp: <= | | | `-- addExp | | | |-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: n | | | |-- SubOp: - | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | |-- R_PAREN: ) | | `-- stmt | | `-- block | | |-- L_BRACE: { | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: min_num | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: INF | | | `-- Semi: ; | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: min_index | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 0 | | | `-- Semi: ; | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: k | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- While: while | | | |-- L_PAREN: ( | | | |-- cond | | | | `-- lOrExp | | | | `-- lAndExp | | | | `-- eqExp | | | | `-- relExp | | | | |-- relExp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: k | | | | |-- LeOp: <= | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: n | | | |-- R_PAREN: ) | | | `-- stmt | | | `-- block | | | |-- L_BRACE: { | | | |-- blockItem | | | | `-- stmt | | | | |-- If: if | | | | |-- L_PAREN: ( | | | | |-- cond | | | | | `-- lOrExp | | | | | `-- lAndExp | | | | | |-- lAndExp | | | | | | `-- eqExp | | | | | | `-- relExp | | | | | | |-- relExp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: min_num | | | | | | |-- GtOp: > | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | |-- Ident: dis | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: k | | | | | | `-- R_BRACKET: ] | | | | | |-- AndOp: && | | | | | `-- eqExp | | | | | |-- eqExp | | | | | | `-- relExp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | |-- Ident: book | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: k | | | | | | `-- R_BRACKET: ] | | | | | |-- EqOp: == | | | | | `-- relExp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 0 | | | | |-- R_PAREN: ) | | | | `-- stmt | | | | `-- block | | | | |-- L_BRACE: { | | | | |-- blockItem | | | | | `-- stmt | | | | | |-- lVal | | | | | | `-- Ident: min_num | | | | | |-- Assign: = | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | |-- Ident: dis | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: k | | | | | | `-- R_BRACKET: ] | | | | | `-- Semi: ; | | | | |-- blockItem | | | | | `-- stmt | | | | | |-- lVal | | | | | | `-- Ident: min_index | | | | | |-- Assign: = | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: k | | | | | `-- Semi: ; | | | | `-- R_BRACE: } | | | |-- blockItem | | | | `-- stmt | | | | |-- lVal | | | | | `-- Ident: k | | | | |-- Assign: = | | | | |-- exp | | | | | `-- addExp | | | | | |-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: k | | | | | |-- AddOp: + | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 1 | | | | `-- Semi: ; | | | `-- R_BRACE: } | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | |-- Ident: book | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: min_index | | | | `-- R_BRACKET: ] | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: j | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- While: while | | | |-- L_PAREN: ( | | | |-- cond | | | | `-- lOrExp | | | | `-- lAndExp | | | | `-- eqExp | | | | `-- relExp | | | | |-- relExp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: j | | | | |-- LeOp: <= | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: n | | | |-- R_PAREN: ) | | | `-- stmt | | | `-- block | | | |-- L_BRACE: { | | | |-- blockItem | | | | `-- stmt | | | | |-- If: if | | | | |-- L_PAREN: ( | | | | |-- cond | | | | | `-- lOrExp | | | | | `-- lAndExp | | | | | `-- eqExp | | | | | `-- relExp | | | | | |-- relExp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | |-- Ident: e | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: min_index | | | | | | |-- R_BRACKET: ] | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: j | | | | | | `-- R_BRACKET: ] | | | | | |-- LtOp: < | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: INF | | | | |-- R_PAREN: ) | | | | `-- stmt | | | | `-- block | | | | |-- L_BRACE: { | | | | |-- blockItem | | | | | `-- stmt | | | | | |-- If: if | | | | | |-- L_PAREN: ( | | | | | |-- cond | | | | | | `-- lOrExp | | | | | | `-- lAndExp | | | | | | `-- eqExp | | | | | | `-- relExp | | | | | | |-- relExp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | |-- Ident: dis | | | | | | | |-- L_BRACKET: [ | | | | | | | |-- exp | | | | | | | | `-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | `-- Ident: j | | | | | | | `-- R_BRACKET: ] | | | | | | |-- GtOp: > | | | | | | `-- addExp | | | | | | |-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | |-- Ident: dis | | | | | | | |-- L_BRACKET: [ | | | | | | | |-- exp | | | | | | | | `-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | `-- Ident: min_index | | | | | | | `-- R_BRACKET: ] | | | | | | |-- AddOp: + | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | |-- Ident: e | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: min_index | | | | | | |-- R_BRACKET: ] | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: j | | | | | | `-- R_BRACKET: ] | | | | | |-- R_PAREN: ) | | | | | `-- stmt | | | | | `-- block | | | | | |-- L_BRACE: { | | | | | |-- blockItem | | | | | | `-- stmt | | | | | | |-- lVal | | | | | | | |-- Ident: dis | | | | | | | |-- L_BRACKET: [ | | | | | | | |-- exp | | | | | | | | `-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | `-- Ident: j | | | | | | | `-- R_BRACKET: ] | | | | | | |-- Assign: = | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | |-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | |-- Ident: dis | | | | | | | | |-- L_BRACKET: [ | | | | | | | | |-- exp | | | | | | | | | `-- addExp | | | | | | | | | `-- mulExp | | | | | | | | | `-- unaryExp | | | | | | | | | `-- primaryExp | | | | | | | | | `-- lVal | | | | | | | | | `-- Ident: min_index | | | | | | | | `-- R_BRACKET: ] | | | | | | | |-- AddOp: + | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | |-- Ident: e | | | | | | | |-- L_BRACKET: [ | | | | | | | |-- exp | | | | | | | | `-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | `-- Ident: min_index | | | | | | | |-- R_BRACKET: ] | | | | | | | |-- L_BRACKET: [ | | | | | | | |-- exp | | | | | | | | `-- addExp | | | | | | | | `-- mulExp | | | | | | | | `-- unaryExp | | | | | | | | `-- primaryExp | | | | | | | | `-- lVal | | | | | | | | `-- Ident: j | | | | | | | `-- R_BRACKET: ] | | | | | | `-- Semi: ; | | | | | `-- R_BRACE: } | | | | `-- R_BRACE: } | | | |-- blockItem | | | | `-- stmt | | | | |-- lVal | | | | | `-- Ident: j | | | | |-- Assign: = | | | | |-- exp | | | | | `-- addExp | | | | | |-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: j | | | | | |-- AddOp: + | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 1 | | | | `-- Semi: ; | | | `-- R_BRACE: } | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | `-- Ident: i | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | |-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | |-- AddOp: + | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | `-- R_BRACE: } | `-- R_BRACE: } |-- funcDef | |-- funcType | | `-- Int: int | |-- Ident: main | |-- L_PAREN: ( | |-- R_PAREN: ) | `-- block | |-- L_BRACE: { | |-- blockItem | | `-- decl | | `-- varDecl | | |-- bType | | | `-- Int: int | | |-- varDef | | | `-- Ident: i | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: n | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | |-- Ident: getint | | | |-- L_PAREN: ( | | | `-- R_PAREN: ) | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: m | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | |-- Ident: getint | | | |-- L_PAREN: ( | | | `-- R_PAREN: ) | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: i | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- While: while | | |-- L_PAREN: ( | | |-- cond | | | `-- lOrExp | | | `-- lAndExp | | | `-- eqExp | | | `-- relExp | | | |-- relExp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: i | | | |-- LeOp: <= | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- lVal | | | `-- Ident: n | | |-- R_PAREN: ) | | `-- stmt | | `-- block | | |-- L_BRACE: { | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: j | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- While: while | | | |-- L_PAREN: ( | | | |-- cond | | | | `-- lOrExp | | | | `-- lAndExp | | | | `-- eqExp | | | | `-- relExp | | | | |-- relExp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: j | | | | |-- LeOp: <= | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: n | | | |-- R_PAREN: ) | | | `-- stmt | | | `-- block | | | |-- L_BRACE: { | | | |-- blockItem | | | | `-- stmt | | | | |-- If: if | | | | |-- L_PAREN: ( | | | | |-- cond | | | | | `-- lOrExp | | | | | `-- lAndExp | | | | | `-- eqExp | | | | | |-- eqExp | | | | | | `-- relExp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: i | | | | | |-- EqOp: == | | | | | `-- relExp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: j | | | | |-- R_PAREN: ) | | | | |-- stmt | | | | | |-- lVal | | | | | | |-- Ident: e | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: i | | | | | | |-- R_BRACKET: ] | | | | | | |-- L_BRACKET: [ | | | | | | |-- exp | | | | | | | `-- addExp | | | | | | | `-- mulExp | | | | | | | `-- unaryExp | | | | | | | `-- primaryExp | | | | | | | `-- lVal | | | | | | | `-- Ident: j | | | | | | `-- R_BRACKET: ] | | | | | |-- Assign: = | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- number | | | | | | `-- IntConst: 0 | | | | | `-- Semi: ; | | | | |-- Else: else | | | | `-- stmt | | | | |-- lVal | | | | | |-- Ident: e | | | | | |-- L_BRACKET: [ | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: i | | | | | |-- R_BRACKET: ] | | | | | |-- L_BRACKET: [ | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: j | | | | | `-- R_BRACKET: ] | | | | |-- Assign: = | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: INF | | | | `-- Semi: ; | | | |-- blockItem | | | | `-- stmt | | | | |-- lVal | | | | | `-- Ident: j | | | | |-- Assign: = | | | | |-- exp | | | | | `-- addExp | | | | | |-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: j | | | | | |-- AddOp: + | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 1 | | | | `-- Semi: ; | | | `-- R_BRACE: } | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | `-- Ident: i | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | |-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | |-- AddOp: + | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | `-- R_BRACE: } | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: i | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- While: while | | |-- L_PAREN: ( | | |-- cond | | | `-- lOrExp | | | `-- lAndExp | | | `-- eqExp | | | `-- relExp | | | |-- relExp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: i | | | |-- LeOp: <= | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- lVal | | | `-- Ident: m | | |-- R_PAREN: ) | | `-- stmt | | `-- block | | |-- L_BRACE: { | | |-- blockItem | | | `-- decl | | | `-- varDecl | | | |-- bType | | | | `-- Int: int | | | |-- varDef | | | | |-- Ident: u | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | |-- Ident: getint | | | | |-- L_PAREN: ( | | | | `-- R_PAREN: ) | | | |-- Comma: , | | | |-- varDef | | | | |-- Ident: v | | | | |-- Assign: = | | | | `-- initVal | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | |-- Ident: getint | | | | |-- L_PAREN: ( | | | | `-- R_PAREN: ) | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | |-- Ident: e | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: u | | | | |-- R_BRACKET: ] | | | | |-- L_BRACKET: [ | | | | |-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: v | | | | `-- R_BRACKET: ] | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | |-- Ident: getint | | | | |-- L_PAREN: ( | | | | `-- R_PAREN: ) | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | `-- Ident: i | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | |-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | |-- AddOp: + | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | `-- R_BRACE: } | |-- blockItem | | `-- stmt | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | |-- Ident: Dijkstra | | | |-- L_PAREN: ( | | | `-- R_PAREN: ) | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- lVal | | | `-- Ident: i | | |-- Assign: = | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 1 | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- While: while | | |-- L_PAREN: ( | | |-- cond | | | `-- lOrExp | | | `-- lAndExp | | | `-- eqExp | | | `-- relExp | | | |-- relExp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- lVal | | | | `-- Ident: i | | | |-- LeOp: <= | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- lVal | | | `-- Ident: n | | |-- R_PAREN: ) | | `-- stmt | | `-- block | | |-- L_BRACE: { | | |-- blockItem | | | `-- stmt | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | |-- Ident: putint | | | | |-- L_PAREN: ( | | | | |-- funcRParams | | | | | `-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | |-- Ident: dis | | | | | |-- L_BRACKET: [ | | | | | |-- exp | | | | | | `-- addExp | | | | | | `-- mulExp | | | | | | `-- unaryExp | | | | | | `-- primaryExp | | | | | | `-- lVal | | | | | | `-- Ident: i | | | | | `-- R_BRACKET: ] | | | | `-- R_PAREN: ) | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | |-- Ident: putch | | | | |-- L_PAREN: ( | | | | |-- funcRParams | | | | | `-- exp | | | | | `-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- number | | | | | `-- IntConst: 32 | | | | `-- R_PAREN: ) | | | `-- Semi: ; | | |-- blockItem | | | `-- stmt | | | |-- lVal | | | | `-- Ident: i | | | |-- Assign: = | | | |-- exp | | | | `-- addExp | | | | |-- addExp | | | | | `-- mulExp | | | | | `-- unaryExp | | | | | `-- primaryExp | | | | | `-- lVal | | | | | `-- Ident: i | | | | |-- AddOp: + | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 1 | | | `-- Semi: ; | | `-- R_BRACE: } | |-- blockItem | | `-- stmt | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | |-- Ident: putch | | | |-- L_PAREN: ( | | | |-- funcRParams | | | | `-- exp | | | | `-- addExp | | | | `-- mulExp | | | | `-- unaryExp | | | | `-- primaryExp | | | | `-- number | | | | `-- IntConst: 10 | | | `-- R_PAREN: ) | | `-- Semi: ; | |-- blockItem | | `-- stmt | | |-- Return: return | | |-- exp | | | `-- addExp | | | `-- mulExp | | | `-- unaryExp | | | `-- primaryExp | | | `-- number | | | `-- IntConst: 0 | | `-- Semi: ; | `-- R_BRACE: } `-- EOF: