From 58a72b0286bd8fdf09acfd3d2e9e9231b8548c4a Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <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<Integer>();
+	     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";