From de607cfd53c332a00e13dc88f81f8254161795bb Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Mon, 28 Mar 2016 01:19:57 +0200
Subject: [PATCH] noch ein smaller test

---
 test/unify/FiniteClosureTest.java | 37 ++++++++++++++++++++++++++-----
 1 file changed, 32 insertions(+), 5 deletions(-)

diff --git a/test/unify/FiniteClosureTest.java b/test/unify/FiniteClosureTest.java
index a8a72273..7c422bda 100644
--- a/test/unify/FiniteClosureTest.java
+++ b/test/unify/FiniteClosureTest.java
@@ -340,17 +340,44 @@ public class FiniteClosureTest {
 		/*
 		 * Test Case 14
 		 *  
-		 * MyMap<K, List<K>> <* HashMap<K, V>
+		 * MyMap<K> <* TreeMap<K, List<K>>
 		 * 
-		 * smaller(HashMap<? extends Number, List<? extends Number>) = 
+		 * smaller(TreeMap<? extends Number, List<? extends Number>) = 
+		 * { TreeMap<? extends Number>, List<? extends Number>>, 
+		 *   TreeMap<? extends Integer, List<? extends Number>>,
+		 *   TreeMap<Number, List<? extends Number>>,
+		 *   TreeMap<Integer, List<? extends Number>>,
+		 *   MyMap<Integer> 
+		 *   MyMap<Number> 
+		 *   MyMap<? extends Integer> 
+		 *   MyMap<? extends Number> 
 		 */
 		
+		Type listExtNum = tf.getSimpleType("List", extNum);
+		Type treeMapExtNumListExtNum = tf.getSimpleType("TreeMap", extNum, listExtNum);
+		Type myMapInt = tf.getSimpleType("MyMap", integer);
+		Type myMapNumber = tf.getSimpleType("MyMap", number);
+		Type myMapExtInt = tf.getSimpleType("MyMap", extInt);
+		Type myMapExtNum = tf.getSimpleType("MyMap", extNum);
+
+		actual = fc.smaller(treeMapExtNumListExtNum);
+		
+		expectedResult = new HashSet<>(Arrays.stream(new Type[] {
+				tf.getSimpleType("TreeMap", extNum, listExtNum),
+				tf.getSimpleType("TreeMap", extInt, listExtNum),
+				tf.getSimpleType("TreeMap", number, listExtNum),
+				tf.getSimpleType("TreeMap", integer, listExtNum),
+				myMapInt, myMapNumber, myMapExtInt, myMapExtNum
+		}).collect(Collectors.toSet()));
+		
+		Assert.assertEquals(expectedResult, actual);
+		
 		/*
 		 * Test Case 15:
 		 * 
-		 * MyMap<K, List<K>> <* HashMap<K, V>
-//		 * TODO sinnvoll ausformulieren 
-		 * smaller(HashMap<? extends Number, ? extends List< ? extends Integer>) = 
+		 * MyMap<K> <* HashMap<K, List<K>>
+		 * 
+		 * smaller(SortedSet<? extends Number, ? extends List<? extends Integer>) = 
 		 * { HashMap<? extends Integer>, List<Integer>>, 
 		 *   HashMap<? extends Number, List<Integer>>,
 		 *   MyMap<Integer, List<Integer>> }