From 9123e222f4b2bc15b07baf3416e58af027677abd Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 28 Jun 2018 16:47:05 +0200
Subject: [PATCH] =?UTF-8?q?Vector=20TEst=20anf=C3=BCgen?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/javFiles/Vector.jav          | 9 +++++++--
 test/typeinference/UnifyTest.java | 7 ++++++-
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/test/javFiles/Vector.jav b/test/javFiles/Vector.jav
index 40072fe4..9d2eadd7 100644
--- a/test/javFiles/Vector.jav
+++ b/test/javFiles/Vector.jav
@@ -1,8 +1,13 @@
-import java.util.Vector;
+import java.util.ArrayList;
+import java.lang.Object;
 
 class MyVector{
 
 id(x){
-  return (x.elementAt(0));
+  Object i;
+  x.add(i);
+  x.add(i);
+  x.add(i);
+  return x;
 }
 }
\ No newline at end of file
diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java
index 995890ab..e2e6206c 100644
--- a/test/typeinference/UnifyTest.java
+++ b/test/typeinference/UnifyTest.java
@@ -28,13 +28,18 @@ public class UnifyTest {
     public void finiteClosure() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"fc.jav"));
     }
-    */
 
     @Test
     public void lambda() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Lambda.jav"));
     }
 
+    */
+    @Test
+    public void vector() throws IOException, ClassNotFoundException {
+        execute(new File(rootDirectory+"Vector.jav"));
+    }
+
     /*
     @Test
     public void lambda2() throws IOException, ClassNotFoundException {