From 9606dc7b266a823ff219f61238fa9f955c7310d3 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Wed, 1 Mar 2023 18:41:46 +0100 Subject: [PATCH] new file: resources/AllgemeinTest/CaptureConversion.jav modified: src/test/java/AllgemeinTest.java Campture Conversion Test in Allgemeintest eingefuegt --- resources/AllgemeinTest/CaptureConversion.jav | 18 ++++++++++++++++++ src/test/java/AllgemeinTest.java | 3 ++- 2 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 resources/AllgemeinTest/CaptureConversion.jav 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";