add a4 tests

Tests/A4/J1_7_Reachability_AfterIfWithWhileTrue.java

+// REACHABILITY
+public class J1_7_Reachability_AfterIfWithWhileTrue {
+
+	public J1_7_Reachability_AfterIfWithWhileTrue () {}
+
+	public static int test() {
+		int x=123;
+		if (x==122) while (true);
+		return x;
+	}
+}

Tests/A4/J1_7_Reachability_EmptyVoidMethod.java

+// REACHABILITY
+
+public class J1_7_Reachability_EmptyVoidMethod {
+	public J1_7_Reachability_EmptyVoidMethod() {}
+	
+	public void empty() {}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_7_Reachability_IfAndWhile_Return.java

+// REACHABILITY
+public class J1_7_Reachability_IfAndWhile_Return {
+	public J1_7_Reachability_IfAndWhile_Return() {}
+	public static int test() {
+		int x=121;
+		if (x==120)	return x;
+		while (x==121) return x+2;
+		return x;
+	}
+}

Tests/A4/J1_7_Reachability_IfThenElse_InConstructor.java

+// REACHABILITY
+
+public class J1_7_Reachability_IfThenElse_InConstructor {
+	public J1_7_Reachability_IfThenElse_InConstructor(boolean b) {
+		if (b) return;
+		else return;
+	}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_7_Reachability_IfThenElse_InValueMethod.java

+// REACHABILITY
+
+public class J1_7_Reachability_IfThenElse_InValueMethod {
+	public J1_7_Reachability_IfThenElse_InValueMethod() {}
+	
+	public int method(boolean b) {
+		if (b) return 42;
+		else return 123;
+	}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_7_Reachability_IfThenElse_InVoidMethod.java

+// REACHABILITY
+
+public class J1_7_Reachability_IfThenElse_InVoidMethod {
+	public J1_7_Reachability_IfThenElse_InVoidMethod() {}
+	
+	public void method(boolean b) {
+		if (b) return;
+		else return;
+	}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_7_Reachability_WhileTrue_ConstantFolding.java

+// REACHABILITY
+/**
+ * Reachability:
+ * - If the body of a method whose return type is not void can
+ * complete normally, produce an error message.  
+ *
+ * The condition (false || true) is constant folded into ABooleanConstExp, x, with x.value == true.
+ */
+public class J1_7_Reachability_WhileTrue_ConstantFolding {
+	public J1_7_Reachability_WhileTrue_ConstantFolding() {}
+	
+	public int method() {
+		while (false || true) {}
+	}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_7_Unreachable_IfEqualsNot.java

+// REACHABILITY
+/**
+ * Reachability:
+ * - Check that all statements (including empty statements and empty
+ * blocks) are reachable.  
+ */
+public class J1_7_Unreachable_IfEqualsNot {
+	
+    public J1_7_Unreachable_IfEqualsNot(){}
+
+    public static int test(){
+	return J1_7_Unreachable_IfEqualsNot.bar(true);
+    }
+    
+    public static int bar(boolean foo) {
+	if (foo == !foo) {
+	    int h = 100;
+	    return h;
+	}
+	return 123;
+    }
+
+}

Tests/A4/J1_Reachable1.java

+// REACHABILITY
+public class J1_Reachable1 {
+	public J1_Reachable1(){}
+	
+	public String test2() {
+		for (int i = 100; i < 50; i=i+1) {
+			i = i + 1;
+		}
+		return "";
+	}
+	
+	public static int test() {
+		return 123;
+	}
+}

Tests/A4/J1_Reachable2.java

+// REACHABILITY
+public class J1_Reachable2 {
+	
+	public J1_Reachable2(){}
+	
+	public static int test() {
+		int i = 1;
+		;;;
+		int j = 2;
+		return 120 + j + i;
+	}
+
+}

Tests/A4/J1_Reachable3.java

+// REACHABILITY
+public class J1_Reachable3 {
+	
+	public J1_Reachable3(){}
+	
+	public static int test() {
+		int h = 1;
+		
+		{
+		
+		}
+		
+		int j = 2;
+		return 120 + j + h;
+	}
+
+}

Tests/A4/J1_Reachable4.java

+// REACHABILITY
+public class J1_Reachable4 {
+	public J1_Reachable4(){}
+	
+	public static int test() {
+		int x = 1;
+		if (false) { x=3; }
+		return 122 + x;
+	}
+}

Tests/A4/J1_Unreachable.java

+// REACHABILITY
+public class J1_Unreachable {
+	
+	public J1_Unreachable(){}
+	
+	public static int test() {
+		String foo = "foo";
+		String bar = "bar";
+		
+		for (int i = 100; foo.equals((Object) bar); i=i+1) {
+			i = i + 1;
+		}
+		return 123;
+	}
+}

Tests/A4/J1_arbitraryreturn.java

+// REACHABILITY
+public class J1_arbitraryreturn {
+    public J1_arbitraryreturn() {}
+    public int m(int x) {
+	if (x==42) 
+	    return 123;
+	else
+	    return 117;
+    }
+    public static int test() {
+	J1_arbitraryreturn obj = new J1_arbitraryreturn();
+	int y = obj.m(42);
+	if (y!=123) {
+	    return 42;
+	}
+	else {
+	    return y;
+	}
+    }
+}
+

Tests/A4/J1_defasn_use_before_declare.java

+// DEFINITE_ASSIGNMENT
+public class J1_defasn_use_before_declare {
+    public J1_defasn_use_before_declare() {}
+    public static int test() {return new J1_defasn_use_before_declare().foo();}
+
+    protected int a = 23;
+    public int foo() {
+	int tmp = a;
+	int a = 100;
+	return a+tmp;
+    }
+}

Tests/A4/J1_ifThenElse.java

+// PARSER_WEEDER,REACHABILITY
+public class J1_ifThenElse {
+
+    public J1_ifThenElse () {
+
+    }
+
+    public static int test() {
+	if (true)
+	    if (false) {
+		return 7;
+	    }
+	    else {
+		return 123;
+	    }
+	else
+	    return 7;
+    }
+
+    public static void main(String[] args) {
+	System.out.println(J1_ifThenElse.test());
+    }
+}

Tests/A4/J1_if_then.java

+// PARSER_WEEDER,REACHABILITY
+public class J1_if_then {
+
+    public J1_if_then() {}
+
+    public static int test() {
+	if (true)
+	    return 123;
+	return 7;
+    }
+}

Tests/A4/J1_multipleReturn.java

+// REACHABILITY
+public class J1_multipleReturn {
+
+    public J1_multipleReturn () {}
+
+    public static int test() {
+        return new J1_multipleReturn().foo(-1) + new J1_multipleReturn().foo(1);
+    }
+
+
+    public int foo(int j) {
+	if (j <= 0) {
+	    return 27;
+	}
+	else {
+	    return 96;
+	}
+    }
+}

Tests/A4/J1_omittedvoidreturn.java

+// REACHABILITY
+public class J1_omittedvoidreturn {
+    public J1_omittedvoidreturn() {}
+    public int y;
+    public void m() {
+	this.y = 17;
+	// return;
+    }
+    public static int test() {
+	J1_omittedvoidreturn obj = new J1_omittedvoidreturn();
+	obj.m();
+	return obj.y+106;
+    }
+}

Tests/A4/J1_reachability_return/Main.java

+// REACHABILITY
+import java.util.Random;
+
+public class Main {
+
+    public Random random = new Random();
+
+    public Main () {}
+
+    public void m() {
+	if (random.nextBoolean()) {
+	    System.out.println("then branch completes normally!");
+	}
+	else {
+	    return;
+	}
+    }
+
+    public void m1() {
+	if (random.nextBoolean()) {
+	    return;
+	}
+	else {
+	    return;
+	}
+    }
+
+    public static int test() {
+	Main j = new Main();
+        j.m();
+	j.m1();
+        return 123;
+    }
+
+}