modified: ../../java/AllgemeinTest.java

modified:   Box_Main.jav
This commit is contained in:
pl@gohorb.ba-horb.de 2022-10-10 18:11:57 +02:00
parent 8f7becd62d
commit 26bb3c9579
2 changed files with 5 additions and 5 deletions

View File

@ -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";

View File

@ -1,6 +1,6 @@
import java.lang.Object;
import java.lang.Integer;
import java.lang.String;
class Box<A>{
A f;
}
class B { }