|
| 1 | +package week7.demos; |
| 2 | + |
| 3 | +import org.antlr.v4.runtime.CharStreams; |
| 4 | +import org.antlr.v4.runtime.CommonTokenStream; |
| 5 | +import org.antlr.v4.runtime.tree.ParseTree; |
| 6 | +import org.antlr.v4.runtime.tree.TerminalNode; |
| 7 | +import week6.parsers.Node; |
| 8 | + |
| 9 | +import java.util.HashMap; |
| 10 | +import java.util.Map; |
| 11 | + |
| 12 | +import static week7.demos.ArithParser.*; |
| 13 | + |
| 14 | +public class ArithAst { |
| 15 | + |
| 16 | + private static ParseTree createParseTree(String program, boolean debug) { |
| 17 | + ArithLexer lexer = new ArithLexer(CharStreams.fromString(program)); |
| 18 | + ArithParser parser = new ArithParser(new CommonTokenStream(lexer)); |
| 19 | + ParseTree tree = parser.expr(); |
| 20 | + if (debug) System.out.println(tree.toStringTree(parser)); |
| 21 | + return tree; |
| 22 | + } |
| 23 | + |
| 24 | + private static int eval(ParseTree tree, Map<String, Integer> env) { |
| 25 | + ArithVisitor<Integer> visitor = new ArithBaseVisitor<>() { |
| 26 | + |
| 27 | + @Override |
| 28 | + public Integer visitParen(ParenContext ctx) { |
| 29 | + return visit(ctx.expr()); |
| 30 | + } |
| 31 | + |
| 32 | + @Override |
| 33 | + public Integer visitVariable(VariableContext ctx) { |
| 34 | + return env.get(ctx.getText()); |
| 35 | + } |
| 36 | + |
| 37 | + @Override |
| 38 | + public Integer visitLiteral(LiteralContext ctx) { |
| 39 | + return Integer.parseInt(ctx.getText()); |
| 40 | + } |
| 41 | + |
| 42 | + |
| 43 | + // Defineerime abifunktsiooni, et sama struktuuriga reegleid koos käsitleda: |
| 44 | + // expr -> expr '+' term #BinaryExpr |
| 45 | + // expr -> expr '-' term #BinaryExpr |
| 46 | + // term -> term '*' factor #BinaryTerm |
| 47 | + // term -> term '/' factor #BinaryTerm |
| 48 | + private Integer handleBinop(ParseTree ctx) { |
| 49 | + |
| 50 | + // Küsime homogeense liidese kaudu tipude alluvad |
| 51 | + ParseTree leftChild = ctx.getChild(0); |
| 52 | + String operator = ctx.getChild(1).getText(); |
| 53 | + ParseTree rightChild = ctx.getChild(2); |
| 54 | + |
| 55 | + // Visit saab eri tüüpi alluvatega hakkama: |
| 56 | + int leftValue = visit(leftChild); |
| 57 | + int rightValue = visit(rightChild); |
| 58 | + |
| 59 | + return switch (operator) { |
| 60 | + case "+" -> leftValue + rightValue; |
| 61 | + case "-" -> leftValue - rightValue; |
| 62 | + case "*" -> leftValue * rightValue; |
| 63 | + case "/" -> leftValue / rightValue; |
| 64 | + default -> throw new RuntimeException("Tundmatu operaator"); |
| 65 | + }; |
| 66 | + } |
| 67 | + |
| 68 | + @Override |
| 69 | + public Integer visitBinaryExpr(BinaryExprContext ctx) { |
| 70 | + return handleBinop(ctx); |
| 71 | + } |
| 72 | + |
| 73 | + @Override |
| 74 | + public Integer visitBinaryTerm(BinaryTermContext ctx) { |
| 75 | + return handleBinop(ctx); |
| 76 | + } |
| 77 | + |
| 78 | + // Aga kus on järgmised reeglid? |
| 79 | + // expr -> term #SimpleExpr |
| 80 | + // term -> factor #SimpleTerm |
| 81 | + // BaseVisitor hoolitseb nende eest. Kui mõni reegel on defineerimata, |
| 82 | + // siis külastatakse alluvad järjest ja tagastatakse viimase tulemus. |
| 83 | + // (Seda käitumist saab aggregateResult ja defaultResult kaudu ka muuta.) |
| 84 | + |
| 85 | + }; |
| 86 | + return visitor.visit(tree); |
| 87 | + } |
| 88 | + |
| 89 | + private static Node parseTreeToAst(ParseTree tree) { |
| 90 | + ArithVisitor<Node> visitor = new ArithBaseVisitor<>() { |
| 91 | + |
| 92 | + @Override |
| 93 | + public Node visitTerminal(TerminalNode node) { |
| 94 | + return new Node(node.getText()); |
| 95 | + } |
| 96 | + |
| 97 | + @Override |
| 98 | + public Node visitBinaryExpr(BinaryExprContext ctx) { |
| 99 | + return new Node(ctx.op.getText(), visit(ctx.expr()), visit(ctx.term())); |
| 100 | + } |
| 101 | + |
| 102 | + @Override |
| 103 | + public Node visitBinaryTerm(BinaryTermContext ctx) { |
| 104 | + return new Node(ctx.op.getText(), visit(ctx.term()), visit(ctx.factor())); |
| 105 | + } |
| 106 | + |
| 107 | + @Override |
| 108 | + public Node visitParen(ParenContext ctx) { |
| 109 | + return visit(ctx.expr()); |
| 110 | + } |
| 111 | + }; |
| 112 | + return visitor.visit(tree); |
| 113 | + } |
| 114 | + |
| 115 | + // testide jaoks... |
| 116 | + public static int eval(String expr) { |
| 117 | + return eval(createParseTree(expr, false), new HashMap<>()); |
| 118 | + } |
| 119 | + |
| 120 | + public static Node makeAst(String expr) { |
| 121 | + return parseTreeToAst(createParseTree(expr, false)); |
| 122 | + } |
| 123 | + |
| 124 | + // Ise katsetamiseks: |
| 125 | + static void main() { |
| 126 | + ParseTree parseTree = createParseTree("20 - x * 2 - 1", true); |
| 127 | + HashMap<String, Integer> env = new HashMap<>(); env.put("x", 3); |
| 128 | + System.out.println(eval(parseTree, env)); // 13 |
| 129 | + System.out.println(parseTreeToAst(parseTree)); // -(-(20,*(x,2)),1) |
| 130 | + } |
| 131 | + |
| 132 | +} |
0 commit comments