From 0a6aa450db32fa18af8b353be6b5250a37409923 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Tue, 3 May 2016 13:03:14 +0200
Subject: [PATCH] OverloadingVector Test

---
 .../TypeInsertTests/OverloadingVector.jav     | 21 +++++++++++++++++++
 .../OverloadingVectorTest.java                | 15 +++++++++++++
 test/unify/UnifyTest.java                     |  4 ++--
 3 files changed, 38 insertions(+), 2 deletions(-)
 create mode 100755 test/plugindevelopment/TypeInsertTests/OverloadingVector.jav
 create mode 100644 test/plugindevelopment/TypeInsertTests/OverloadingVectorTest.java

diff --git a/test/plugindevelopment/TypeInsertTests/OverloadingVector.jav b/test/plugindevelopment/TypeInsertTests/OverloadingVector.jav
new file mode 100755
index 00000000..e3146d36
--- /dev/null
+++ b/test/plugindevelopment/TypeInsertTests/OverloadingVector.jav
@@ -0,0 +1,21 @@
+import java.util.Vector;
+
+class OverloadingVector{
+
+	void method(Vector<String> v) {
+
+	}
+	
+	void method(Vector<Integer> v) {
+	
+	}
+	
+	main(String args) {
+		ol;
+		ol = new OverloadingVector();
+		v;
+		v = new Vector<String> ();
+		ol.method(v);
+    }
+	
+}
\ No newline at end of file
diff --git a/test/plugindevelopment/TypeInsertTests/OverloadingVectorTest.java b/test/plugindevelopment/TypeInsertTests/OverloadingVectorTest.java
new file mode 100644
index 00000000..c96b852a
--- /dev/null
+++ b/test/plugindevelopment/TypeInsertTests/OverloadingVectorTest.java
@@ -0,0 +1,15 @@
+package plugindevelopment.TypeInsertTests;
+
+import de.dhbwstuttgart.typeinference.Menge;
+
+import org.junit.Test;
+
+public class OverloadingVectorTest {
+	private static final String TEST_FILE = "OverloadingVector.jav";
+	
+	@Test
+	public void run(){
+		Menge<String> mustContain = new Menge<String>();
+		MultipleTypesInsertTester.testSingleInsert(this.TEST_FILE, mustContain);
+	}
+}
diff --git a/test/unify/UnifyTest.java b/test/unify/UnifyTest.java
index 825fd40d..f246bef8 100644
--- a/test/unify/UnifyTest.java
+++ b/test/unify/UnifyTest.java
@@ -864,7 +864,7 @@ public class UnifyTest {
 
 		UnifyType gtv = tf.getSimpleType("gtv");
 		UnifyType vector = tf.getSimpleType("Vector", gtv);
-		UnifyType vectorE = tf.getSimpleType("Vector", tphT2);
+		UnifyType vectorT2 = tf.getSimpleType("Vector", tphT2);
 		UnifyType string = tf.getSimpleType("String");
 		UnifyType vectorString = tf.getSimpleType("Vector", string);
 		
@@ -873,8 +873,8 @@ public class UnifyTest {
 		IFiniteClosure fc = fcb.getFiniteClosure();
 		
 		Set<UnifyPair> eq = new HashSet<UnifyPair>();
+		eq.add(new UnifyPair(vectorT2, tphT1, PairOperator.SMALLERDOT));
 		eq.add(new UnifyPair(tphT1, vectorString, PairOperator.SMALLERDOT));
-		eq.add(new UnifyPair(vectorE, tphT1, PairOperator.SMALLERDOT));
 
 		Set<Set<UnifyPair>> actual = new TypeUnify().unifySequential(eq, fc);