diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 79d932add..a16970bf0 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -46,8 +46,8 @@ public class AllgemeinTest { //String className = "M"; //String className = "Wildcard_Andi"; //String className = "Box"; - //String className = "Box_Main"; - String className ="wildcardPair"; + String className = "Box_Main"; + //String className ="wildcardPair"; //PL 2019-10-24: genutzt fuer unterschiedliche Tests path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/" + className + ".jav"; //path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav"; diff --git a/src/test/resources/AllgemeinTest/Box_Main.jav b/src/test/resources/AllgemeinTest/Box_Main.jav index dabf7bf2c..0ba86f19d 100644 --- a/src/test/resources/AllgemeinTest/Box_Main.jav +++ b/src/test/resources/AllgemeinTest/Box_Main.jav @@ -1,6 +1,6 @@ -import java.lang.Object; -import java.lang.Integer; -import java.lang.String; +class Box{ + A f; +} class B { }