From 58a72b0286bd8fdf09acfd3d2e9e9231b8548c4a Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Mon, 22 May 2023 14:40:35 +0200 Subject: [PATCH] new file: resources/AllgemeinTest/StreamTest.jav modified: src/test/java/AllgemeinTest.java --- resources/AllgemeinTest/StreamTest.jav | 14 ++++++++++++++ src/test/java/AllgemeinTest.java | 3 ++- 2 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 resources/AllgemeinTest/StreamTest.jav diff --git a/resources/AllgemeinTest/StreamTest.jav b/resources/AllgemeinTest/StreamTest.jav new file mode 100644 index 00000000..cfaf23d0 --- /dev/null +++ b/resources/AllgemeinTest/StreamTest.jav @@ -0,0 +1,14 @@ +import java.util.stream.Stream; +import java.util.Vector; +import java.lang.Integer; + +class StreamTest { + + m() { + var vecInt = new Vector(); + var strInt = vecInt.stream(); + var dup = x -> x*2; + strInt.map(dup); + return dup; + } +} \ No newline at end of file diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 41523563..7749b938 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -40,7 +40,7 @@ public class AllgemeinTest { //String className = "FCTest3"; //String className = "Var"; //String className = "Put"; - String className = "Twice"; + //String className = "Twice"; //String className = "TestSubTypless"; //String className = "addList"; //String className = "M"; @@ -55,6 +55,7 @@ public class AllgemeinTest { //String className = "Pair"; //String className = "UseWildcardPair"; //String className = "Assign"; + String className = "StreamTest"; //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";