resources/AllgemeinTest/Box.jav

@@ -6,7 +6,4 @@ public class Box<A> {
 	public Box(A a) {
 		//this.a = a;
 	}
-	set(x) {
-	  a = x;
-	}
 }

src/test/java/AllgemeinTest.java

@@ -65,10 +65,10 @@ public class AllgemeinTest {
 		//String className = "TripleTest";
 		//String className = "WildcardList";
 		//String className = "List";
-		String className = "Box";
+		//String className = "Box";
 		//String className = "GenBox";
 		//String className = "InnerInf";
-		//String className = "Foo";
+		String className = "Foo";
 		//PL 2019-10-24: genutzt fuer unterschiedliche Tests
 		path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav";
 		//path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";