week9 meistriosa materjalid (lisaülesanded)

Author: sim642

src/main/java/toylangs/bolog/BologMaster.java

@@ -0,0 +1,14 @@
+package toylangs.bolog;
+
+import toylangs.bolog.ast.BologImp;
+
+import java.util.Set;
+
+public class BologMaster {
+
+    // Leia muutujate hulk, mis peavad olema tõesed selleks, et kõik etteantud atomaarsed implikatsioonid oleksid tõesed.
+    // Selles ülesandes võib olla valemis väga suur arv muutujad, et kõikide väärtuste läbivaatamine ei toimi.
+    public static Set<String> leastModel(Set<BologImp> imps) {
+        throw new UnsupportedOperationException();
+    }
+}

src/main/java/toylangs/dialoog/DialoogMaster.java

@@ -0,0 +1,32 @@
+package toylangs.dialoog;
+
+import toylangs.dialoog.ast.*;
+
+import java.util.HashMap;
+import java.util.Map;
+
+import static toylangs.dialoog.ast.DialoogNode.*;
+
+public class DialoogMaster {
+    public enum Type {TInt, TBool}
+
+    private final Map<String, Type> typeEnv = new HashMap<>();
+
+    public static Type typecheck(DialoogProg prog) {
+        DialoogMaster dialoogMaster = new DialoogMaster();
+        return dialoogMaster.typecheckNode(prog);
+    }
+
+    private Type typecheckNode(DialoogNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    public static DialoogNode symbex(DialoogNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    static void main() {
+        DialoogNode expr = ifte(eq(var("x"), il(10)), var("error"), var("good"));
+        System.out.println(symbex(expr));
+    }
+}

src/main/java/toylangs/hulk/HulkMaster.java

@@ -0,0 +1,23 @@
+package toylangs.hulk;
+
+import toylangs.hulk.ast.*;
+
+import java.util.HashSet;
+import java.util.Set;
+
+public class HulkMaster {
+    private final Set<Character> definedVars = new HashSet<>();
+
+    public static boolean isValidHulkNode(HulkNode node) {
+        HulkMaster hulkMaster = new HulkMaster();
+        return hulkMaster.validHulkNode(node);
+    }
+
+    private boolean validHulkNode(HulkNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    public static HulkNode processEmptyLiterals(HulkNode node) {
+        throw new UnsupportedOperationException();
+    }
+}

src/main/java/toylangs/modul/ModulMaster.java

@@ -0,0 +1,20 @@
+package toylangs.modul;
+
+import cma.CMaProgram;
+import toylangs.modul.ast.*;
+
+import java.util.List;
+import java.util.Map;
+
+
+public class ModulMaster {
+
+    public static int eval(ModulProg prog, Map<String, Integer> env) {
+        throw new UnsupportedOperationException();
+    }
+
+
+    public static CMaProgram compile(ModulProg prog, List<String> variables) {
+        throw new UnsupportedOperationException();
+    }
+}

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

@@ -59,3 +59,9 @@ Kompileerimisele kehtivad järgmised nõuded:
 4.  Defineerimata muutuja kasutamisel visatakse *ModulException* **kompileerimise ajal**.
 
 > **PS.** Kuna astendajad on konstantsed, siis astendamise saab kompileerida `DUP` ja `MUL` instruktsioonide jadaks.
+
+## Meistriosa: ModulMaster
+
+Klassis *ModulMaster* tuleb implementeerida meetodid *eval* ja *compile*, mis on täpselt nagu alusosa ja lõviosa, kuid lisaks saavad efektiivselt hakkama väga suurte astendajatega.
+
+> **PS.** Kasuta kiire astendamise algoritmi (<http://kodu.ut.ee/~ahto/eio/2012.03.24/matem.pdf>).

src/main/java/toylangs/parm/ParmMaster.java

@@ -0,0 +1,27 @@
+package toylangs.parm;
+
+import cma.CMaProgram;
+import cma.CMaProgramWriter;
+import toylangs.parm.ast.*;
+
+import static toylangs.parm.ast.ParmNode.lit;
+import static toylangs.parm.ast.ParmNode.plus;
+
+public class ParmMaster {
+    private final CMaProgramWriter pw = new CMaProgramWriter();
+
+    public static CMaProgram compile(ParmNode node) {
+        ParmMaster parmMaster = new ParmMaster();
+        parmMaster.compileNode(node);
+        return parmMaster.pw.toProgram();
+    }
+
+    private void compileNode(ParmNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    static void main() {
+        CMaProgram cMaProgram = compile(plus(lit(10), lit(12)));
+        System.out.println(cMaProgram.toString());
+    }
+}

src/main/java/toylangs/pullet/PulletMaster.java

@@ -0,0 +1,21 @@
+package toylangs.pullet;
+
+import toylangs.pullet.ast.*;
+
+import static toylangs.pullet.ast.PulletNode.*;
+
+public class PulletMaster {
+    public static boolean isLive(String name, PulletNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    public static PulletNode optimize(PulletNode node) {
+        throw new UnsupportedOperationException();
+    }
+
+    static void main() {
+        PulletNode avaldis = let("a",num(666),let("b", diff(var("a"),num(1)),var("a")));
+        System.out.println(avaldis);
+        System.out.println(PulletMaster.optimize(avaldis));
+    }
+}

src/test/java/toylangs/bolog/BologMasterTest.java

@@ -0,0 +1,69 @@
+package toylangs.bolog;
+
+import org.junit.FixMethodOrder;
+import org.junit.Test;
+import org.junit.runners.MethodSorters;
+import toylangs.bolog.ast.BologImp;
+import toylangs.bolog.ast.BologNode;
+
+import java.util.Arrays;
+import java.util.HashSet;
+import java.util.Set;
+
+import static org.junit.Assert.assertEquals;
+import static toylangs.bolog.ast.BologNode.*;
+
+@FixMethodOrder(MethodSorters.NAME_ASCENDING)
+public class BologMasterTest {
+
+    @Test
+    public void test01_basic() {
+        checkModel(setOf("X"), imp(var("X")));
+        checkModel(setOf("X", "X"), imp(var("X")), imp(var("X"), var("Y")));
+        checkModel(setOf("X", "Y"), imp(var("X")), imp(var("Y"), var("X")));
+    }
+
+    @Test
+    public void test02_more() {
+        checkModel(setOf("X"), imp(var("X"), tv(true)));
+        checkModel(setOf(), imp(var("X"), var("X")));
+        checkModel(setOf("X", "Y", "Z"),
+                imp(var("X"), var("Y")),
+                imp(var("Y")), imp(var("Z"), var("X"), var("Y")),
+                imp(var("Z"), var("P")));
+        checkModel(setOf("Z"),
+                imp(var("X"), var("Y")),
+                imp(var("Y"), var("X")),
+                imp(var("Z"), var("X"), var("Y")),
+                imp(var("Z")));
+    }
+
+    @Test
+    public void test03_sanity() {
+        Set<BologImp> imps = new HashSet<>();
+        for (char i = 'A'; i < 'Y'; i++) {
+            imps.add(imp(var(Character.toString(i)), var(Character.toString(i))));
+        }
+        assertEquals(setOf(), BologMaster.leastModel(imps));
+
+        Set<String> chars = new HashSet<>();
+        for (char i = 'A'; i < 'Y'; i++) {
+            imps.add(imp(var(Character.toString(i))));
+            chars.add(Character.toString(i));
+        }
+        assertEquals(chars, BologMaster.leastModel(imps));
+    }
+
+
+    private static void checkModel(Set<String> model, BologNode... imp) {
+        Set<BologNode> nodes = new HashSet<>(Arrays.asList(imp));
+        Set<BologImp> nodecast = new HashSet<>();
+        for (BologNode node : nodes) nodecast.add((BologImp) node);
+        assertEquals(model, BologMaster.leastModel(nodecast));
+    }
+
+    @SafeVarargs
+    private static <T> Set<T> setOf(T... elems) {
+        return new HashSet<>(Arrays.asList(elems));
+    }
+}