week4 alusosa materjalid

Author: sim642

src/main/java/toylangs/AbstractNode.java

@@ -0,0 +1,48 @@
+package toylangs;
+
+import java.io.IOException;
+import java.lang.reflect.InvocationTargetException;
+import java.lang.reflect.RecordComponent;
+import java.nio.file.Path;
+import java.util.ArrayList;
+import java.util.List;
+
+public interface AbstractNode {
+
+    /**
+     * Abimeetod klassile AbstractNodeVisualizer.
+     * @return tipu klassinimi väiketähtedes ja ilma keelenimeta.
+     */
+    default String getNodeLabel() {
+        String className = this.getClass().getSimpleName();
+        return className.replaceFirst("[A-Z][a-z]*", "").toLowerCase();
+    }
+
+    /**
+     * Abimeetod klassile AbstractNodeVisualizer.
+     * @return järjend kõikidest välja kutsuva isendi alamtippudest
+     */
+    default List<Object> getChildren() {
+        Class<?> clazz = this.getClass();
+        if (!clazz.isRecord())
+            throw new IllegalArgumentException("getChildren() oskab käsitleda vaid kirjeid (Record).");
+
+        try {
+            List<Object> children = new ArrayList<>();
+            for (RecordComponent recordComponent : clazz.getRecordComponents()) {
+                Object field = recordComponent.getAccessor().invoke(this);
+                children.add(field);
+            }
+            return children;
+        } catch (IllegalAccessException | InvocationTargetException e) {
+            throw new RuntimeException(e);
+        }
+    }
+
+    /**
+     * @param path failitee, kuhu loodav pilt salvestada.
+     */
+    default void renderPngFile(Path path) throws IOException {
+        AbstractNodeVisualizer.renderPngFile(this, path);
+    }
+}

src/main/java/toylangs/AbstractNodeVisualizer.java

@@ -0,0 +1,59 @@
+package toylangs;
+
+import guru.nidi.graphviz.attribute.Label;
+import guru.nidi.graphviz.engine.Format;
+import guru.nidi.graphviz.engine.Graphviz;
+import guru.nidi.graphviz.model.Graph;
+import guru.nidi.graphviz.model.Node;
+
+import java.io.IOException;
+import java.nio.file.Path;
+import java.util.Arrays;
+import java.util.Collection;
+import java.util.Objects;
+import java.util.stream.Stream;
+
+import static guru.nidi.graphviz.model.Factory.graph;
+import static guru.nidi.graphviz.model.Factory.node;
+
+public class AbstractNodeVisualizer {
+
+    private int nextNodeId = 0;
+
+    private Node makeNode(String label) {
+        return node(Integer.toString(nextNodeId++)).with(Label.of(label));
+    }
+
+    private Node visit(Object object) {
+        return switch (object) {
+            case AbstractNode node -> visit(node);
+            default -> makeNode(Objects.toString(object));
+        };
+    }
+
+    private Node visit(AbstractNode node) {
+        return makeNode(node.getNodeLabel()).link(
+                node.getChildren().stream()
+                        .flatMap(AbstractNodeVisualizer::flattenChild)
+                        .filter(Objects::nonNull)
+                        .map(this::visit)
+                        .toList()
+        );
+    }
+
+    private static Stream<?> flattenChild(Object child) {
+        if (child instanceof Collection<?> collection)
+            return collection.stream();
+        else if (child != null && child.getClass().isArray())
+            return Arrays.stream((Object[]) child);
+        else
+            return Stream.of(child);
+    }
+
+    public static void renderPngFile(AbstractNode node, Path path) throws IOException {
+        Node rootNode = new AbstractNodeVisualizer().visit(node);
+        Graph graph = graph("tree").directed().with(rootNode).graphAttr().with("ordering", "out");
+        //System.out.println(Graphviz.fromGraph(graph).render(Format.DOT));
+        Graphviz.fromGraph(graph).scale(3).render(Format.PNG).toFile(path.toFile().getCanonicalFile());
+    }
+}

src/main/java/toylangs/README.md

@@ -0,0 +1,15 @@
+# Eksami näidiskeeled
+
+## Jooksev harjutamine
+1. [Imp](imp/)
+2. [Bolog](bolog/)
+3. [Parm](parm/)
+4. [Hulk](hulk/)
+5. [Dialoog](dialoog/)
+6. [Pullet](pullet/)
+
+## Iseseisev harjutamine
+1. [Sholog](sholog/)
+2. [Safdi](safdi/)
+3. [Modul](modul/)
+4. [Vhile](vhile/)

src/main/java/toylangs/bolog/BologEvaluator.java

@@ -0,0 +1,22 @@
+package toylangs.bolog;
+
+import toylangs.bolog.ast.BologNode;
+
+import java.util.Set;
+
+public class BologEvaluator {
+    private final Set<String> trueVars;
+
+    public BologEvaluator(Set<String> trueVars) {
+        this.trueVars = trueVars;
+    }
+
+    public static boolean eval(BologNode node, Set<String> trueVars) {
+        BologEvaluator bologEvaluator = new BologEvaluator(trueVars);
+        return bologEvaluator.eval(node);
+    }
+
+    private boolean eval(BologNode node) {
+        throw new UnsupportedOperationException();
+    }
+}

src/main/java/toylangs/bolog/README.md

@@ -0,0 +1,3 @@
+# Beebiprolog ehk Bolog
+
+[Keele kirjeldus](https://courses.cs.ut.ee/t/akt/Main/ToyLangsBolog).

src/main/java/toylangs/bolog/ast/BologImp.java

@@ -0,0 +1,18 @@
+package toylangs.bolog.ast;
+
+import java.util.List;
+
+public record BologImp(BologNode conclusion, List<BologNode> assumptions) implements BologNode {
+
+    public BologImp(BologNode conclusion, BologNode... assumptions) {
+        this(conclusion, List.of(assumptions));
+    }
+
+    @Override
+    public String toString() {
+        return "imp(" +
+                "" + conclusion +
+                ", " + assumptions.toString().replaceAll("[\\[\\]{}]", "") +
+                ")";
+    }
+}

src/main/java/toylangs/bolog/ast/BologLit.java

@@ -0,0 +1,15 @@
+package toylangs.bolog.ast;
+
+public record BologLit(boolean value) implements BologNode {
+    @Override
+    public String getNodeLabel() {
+        return "tv";
+    }
+
+    @Override
+    public String toString() {
+        return "tv(" +
+                "" + value +
+                ")";
+    }
+}

src/main/java/toylangs/bolog/ast/BologNand.java

@@ -0,0 +1,11 @@
+package toylangs.bolog.ast;
+
+public record BologNand(BologNode left, BologNode right) implements BologNode {
+    @Override
+    public String toString() {
+        return "nand(" +
+                "" + left +
+                ", " + right +
+                ")";
+    }
+}

src/main/java/toylangs/bolog/ast/BologNode.java

@@ -0,0 +1,36 @@
+package toylangs.bolog.ast;
+
+import toylangs.AbstractNode;
+
+import java.util.List;
+
+public sealed interface BologNode extends AbstractNode permits BologImp, BologLit, BologNand, BologVar {
+    // Literaalid ja muutuja kasutus
+    static BologLit tv(boolean value) { return new BologLit(value); }
+    static BologVar var(String name) { return new BologVar(name); }
+
+    // Implikatsioon
+    static BologImp imp(BologNode conclusion, List<BologNode> assumptions) {
+        return new BologImp(conclusion, assumptions);
+    }
+    static BologImp imp(BologNode conclusion, BologNode... assumptions) {
+        return new BologImp(conclusion, assumptions);
+    }
+
+    // Nand
+    static BologNand nand(BologNode left, BologNode right) {
+        return new BologNand(left, right);
+    }
+    static BologNode not(BologNode expr) {
+        return nand(tv(true), expr);
+    }
+    static BologNode and(BologNode left, BologNode right) {
+        return not(nand(left, right));
+    }
+    static BologNode or(BologNode left, BologNode right) {
+        return nand(not(left), not(right));
+    }
+    static BologNode xor(BologNode left, BologNode right) {
+        return and(or(left,right), nand(left,right));
+    }
+}

src/main/java/toylangs/bolog/ast/BologVar.java

@@ -0,0 +1,10 @@
+package toylangs.bolog.ast;
+
+public record BologVar(String name) implements BologNode {
+    @Override
+    public String toString() {
+        return "var(" +
+                "\"" + name + "\"" +
+                ")";
+    }
+}