diff --git a/resources/AllgemeinTest/CaptureConversion.jav b/resources/AllgemeinTest/CaptureConversion.jav new file mode 100644 index 00000000..b1033de4 --- /dev/null +++ b/resources/AllgemeinTest/CaptureConversion.jav @@ -0,0 +1,18 @@ +import java.lang.Object; +import java.util.Vector; + +class CaptureConversion { + + void assign(Vector v1, Vector v2) { + v1 = v2; + } + + void main() { + Vector v1; + v1 = new Vector(); + Vector v2; + v2 = new Vector(); + v1 = v2; + assign(v1, v2); + } +} \ No newline at end of file diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 2dfc4dbf..34991a6a 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -49,8 +49,9 @@ public class AllgemeinTest { //String className = "Box_Main"; //String className = "wildcardPair"; //String className = "VectorConstAdd"; - String className = "VectorNotObject"; + //String className = "VectorNotObject"; //String className = "WildcardCaptureConversionTest"; + String className = "CaptureConversion"; //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";