Eksami alusosa harjutus

Author: sim642

src/main/java/proovieksam/EstologEvaluator.java

@@ -0,0 +1,31 @@
+package proovieksam;
+
+import proovieksam.ast.*;
+
+import static proovieksam.ast.EstologNode.*;
+
+public class EstologEvaluator {
+
+    public static boolean eval(EstologProg prog) {
+        EstologEvaluator estologEvaluator = new EstologEvaluator();
+        return estologEvaluator.evalNode(prog);
+    }
+
+    private boolean evalNode(EstologNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    static void main() {
+        EstologProg prog = prog(
+                kui(vordus(var("x"), var("y")), var("a"), var("b")),
+
+                def("x", lit(false)),
+                def("y", lit(true)),
+                def("a", ja(var("x"), var("y"))),
+                def("b", voi(var("x"), var("y")))
+        );
+
+        System.out.println(prog);
+        System.out.println(eval(prog));
+    }
+}

src/main/java/proovieksam/README.md

@@ -0,0 +1,3 @@
+# Eesti loogikute keel Estolog
+
+[Keele kirjeldus](https://courses.cs.ut.ee/t/akt/Main/ToyLangsEstolog).

src/main/java/proovieksam/ast/EstologBinOp.java

@@ -0,0 +1,4 @@
+package proovieksam.ast;
+
+public sealed interface EstologBinOp extends EstologNode permits EstologJa, EstologVoi, EstologVordus {
+}

src/main/java/proovieksam/ast/EstologDef.java

@@ -0,0 +1,11 @@
+package proovieksam.ast;
+
+public record EstologDef(String nimi, EstologNode avaldis) implements EstologNode {
+    @Override
+    public String toString() {
+        return "def(" +
+                "\"" + nimi + "\"" +
+                ", " + avaldis +
+                ")";
+    }
+}

src/main/java/proovieksam/ast/EstologJa.java

@@ -0,0 +1,11 @@
+package proovieksam.ast;
+
+public record EstologJa(EstologNode left, EstologNode right) implements EstologBinOp {
+    @Override
+    public String toString() {
+        return "ja(" +
+                "" + left +
+                ", " + right +
+                ")";
+    }
+}

src/main/java/proovieksam/ast/EstologKui.java

@@ -0,0 +1,16 @@
+package proovieksam.ast;
+
+public record EstologKui(EstologNode kui, EstologNode siis, EstologNode muidu) implements EstologNode {
+    public EstologKui(EstologNode kui, EstologNode siis) {
+        this(kui, siis, null);
+    }
+
+    @Override
+    public String toString() {
+        return "kui(" +
+                "" + kui +
+                ", " + siis +
+                ", " + muidu +
+                ")";
+    }
+}

src/main/java/proovieksam/ast/EstologLiteraal.java

@@ -0,0 +1,15 @@
+package proovieksam.ast;
+
+public record EstologLiteraal(boolean value) implements EstologNode {
+    @Override
+    public String getNodeLabel() {
+        return "lit";
+    }
+
+    @Override
+    public String toString() {
+        return "lit(" +
+                "" + value +
+                ")";
+    }
+}

src/main/java/proovieksam/ast/EstologMuutuja.java

@@ -0,0 +1,15 @@
+package proovieksam.ast;
+
+public record EstologMuutuja(String nimi) implements EstologNode {
+    @Override
+    public String getNodeLabel() {
+        return "var";
+    }
+
+    @Override
+    public String toString() {
+        return "var(" +
+                "\"" + nimi + "\"" +
+                ")";
+    }
+}

src/main/java/proovieksam/ast/EstologNode.java

@@ -0,0 +1,49 @@
+package proovieksam.ast;
+
+import toylangs.AbstractNode;
+
+import java.util.Arrays;
+import java.util.List;
+
+public sealed interface EstologNode extends AbstractNode permits EstologBinOp, EstologDef, EstologKui, EstologLiteraal, EstologMuutuja, EstologProg {
+
+    static EstologMuutuja var(String nimi) {
+        return new EstologMuutuja(nimi);
+    }
+
+    static EstologLiteraal lit(boolean value) {
+        return new EstologLiteraal(value);
+    }
+
+    static EstologJa ja(EstologNode left, EstologNode right) {
+        return new EstologJa(left, right);
+    }
+
+    static EstologVoi voi(EstologNode left, EstologNode right) {
+        return new EstologVoi(left, right);
+    }
+
+    static EstologVordus vordus(EstologNode left, EstologNode right) {
+        return new EstologVordus(left, right);
+    }
+
+    static EstologKui kui(EstologNode kui, EstologNode siis, EstologNode muidu) {
+        return new EstologKui(kui, siis, muidu);
+    }
+
+    static EstologKui kui(EstologNode kui, EstologNode siis) {
+        return new EstologKui(kui, siis);
+    }
+
+    static EstologDef def(String nimi, EstologNode avaldis) {
+        return new EstologDef(nimi, avaldis);
+    }
+
+    static EstologProg prog(EstologNode avaldis, List<EstologDef> defs) {
+        return new EstologProg(avaldis, defs);
+    }
+
+    static EstologProg prog(EstologNode avaldis, EstologDef... defs) {
+        return new EstologProg(avaldis, Arrays.asList(defs));
+    }
+}

src/main/java/proovieksam/ast/EstologProg.java

@@ -0,0 +1,13 @@
+package proovieksam.ast;
+
+import java.util.List;
+
+public record EstologProg(EstologNode avaldis, List<EstologDef> defs) implements EstologNode {
+    @Override
+    public String toString() {
+        return "prog(" +
+                "" + avaldis +
+                ", " + defs.toString().replaceAll("[\\[\\]{}]", "") +
+                ")";
+    }
+}