diff --git a/resources/AllgemeinTest/Box.jav b/resources/AllgemeinTest/Box.jav index 81cc6954..f70317ab 100644 --- a/resources/AllgemeinTest/Box.jav +++ b/resources/AllgemeinTest/Box.jav @@ -1,9 +1,9 @@ -public class Box { +public class Box { - A a; + a; public Box() { } - public Box(A a) { + public Box(a) { //this.a = a; } set(x) { diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 5d9005fc..83e92faf 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -64,8 +64,8 @@ public class AllgemeinTest { //String className = "Cycle"; //String className = "TripleTest"; //String className = "WildcardList"; - //String className = "List"; - String className = "Box"; + String className = "List"; + //String className = "Box"; //String className = "GenBox"; //String className = "InnerInf"; //String className = "Foo";