Merge branch 'g6-compile-firm' into 'master'

group6 exec test cases.

See merge request IPDSnelting/mjtest-tests!49

exec/FieldInit.java

+class FieldInit {
+    public int i;
+    public FieldInit f;
+    public boolean b;
+
+    public static void main(String[] args) {
+        FieldInit f = new FieldInit();
+        System.out.println(f.i);
+        if(!f.b) {
+            System.out.println(1);
+        }
+        if(f.f == null) {
+            System.out.println(2);
+        }
+    }
+}

exec/bools.java

+class Bools {
+    public boolean b;
+
+    public static void main(String[] args) {
+        Bools b = new Bools();
+        if(!b.b) {
+            System.out.println(1);
+        }
+        b.b = false || true;
+        if(!b.b) {
+            System.out.println(2);
+        }
+        b.b = false || false;
+        if(!b.b) {
+            System.out.println(3);
+        }
+        b.b = true || true;
+        if(!b.b) {
+            System.out.println(4);
+        }
+        b.b = true || false;
+        if(!b.b) {
+            System.out.println(5);
+        }
+        b.b = false && true;
+        if(!b.b) {
+            System.out.println(6);
+        }
+        b.b = true && true;
+        if(!b.b) {
+            System.out.println(7);
+        }
+        b.b = false && false;
+        if(!b.b) {
+            System.out.println(8);
+        }
+        b.b = true && false;
+        if(!b.b) {
+            System.out.println(9);
+        }
+
+    }
+}

exec/evaluationOrder.java

+class EvaluationOrder {
+    public int i;
+
+    public EvaluationOrder setI(int i) {
+        this.i = i + 1;
+        System.out.println(this.i);
+        return this;}
+
+    public static void main(String[] args) {
+        EvaluationOrder e = new EvaluationOrder();
+        int[] arr = new int[3];
+        arr[e.setI(-1).i] = e.setI(e.setI(2).i).i + 4;
+        System.out.println(arr[0]);
+    }
+}
\ No newline at end of file

exec/evaluationOrder2.java

+class EvaluationOrder {
+    public int i;
+
+    public EvaluationOrder setI(int i) {
+        this.i = i + 1;
+        System.out.println(this.i);
+        return this;}
+
+    public static void main(String[] args) {
+        EvaluationOrder e = new EvaluationOrder();
+        int[] arr = new int[3];
+        arr[e.setI(-1).i] = e.setI(e.setI(2).i).i + e.setI(1).i * e.setI(2).i + e.setI(3).i / e.setI(4).i % e.setI(5).i;
+        System.out.println(arr[0]);
+    }
+}
\ No newline at end of file

exec/if.java

+class If {
+    public static void main(String[] args) {
+        boolean b = true;
+
+        if (b) {
+            b = false;
+            if (b) {
+                System.out.println(1);
+            } else {
+                if (!b) {
+                    if (b) {
+                        System.out.println(2);
+                    } else {
+                        System.out.println(3);
+                    }
+                } else {
+                    b = true;
+                    if (b) {
+                        System.out.println(4);
+                    } else {
+                        System.out.println(5);
+                    }
+                }
+            }
+        } else {
+            System.out.println(6);
+        }
+    }
+}
\ No newline at end of file

exec/simplePrint.java

+class SimplePrint {
+    public static void main(String[] args) {
+        System.out.println(42);
+    }
+}
\ No newline at end of file

exec/simpleWriteFlush.java

+class SimpleWriteFlush {
+    public static void main(String[] args) {
+        System.out.write(42);
+        System.out.flush();
+    }
+}
\ No newline at end of file

semantic/flush_invalidArg.invalid.mj

+class A{}
+
+class Foo {
+  public static void main(String[] args) {
+    System.out.flush(new A());
+  }
+}

semantic/incomparable_types.invalid.mj

+class TypeA{}
+class TypeB{}
+
+class Foo {
+  public static void main(String[] args) {
+      TypeA a = new TypeA();
+      TypeB b = new TypeB();
+    if (a == b) {
+        
+    }
+  }
+}

semantic/println_invalidArg.invalid.mj

+class A{}
+
+class Foo {
+  public static void main(String[] args) {
+    System.out.println(new A());
+  }
+}

semantic/read_useReturnValue.invalid.mj

+class Foo {
+  public static void main(String[] args) {
+    boolean a = System.in.read();
+  }
+}

semantic/read_useReturnValue.mj

+class Foo {
+  public static void main(String[] args) {
+    int a = System.in.read() + 5;
+  }
+}

semantic/write_invalidArg.invalid.mj

+class A{}
+
+class Foo {
+  public static void main(String[] args) {
+    System.out.write(new A());
+  }
+}