Matrix Test

src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java

@@ -26,7 +26,6 @@ public class UnifyTypeFactory {
 
     public static FiniteClosure generateFC(List<ClassOrInterface> fromClasses) throws ClassNotFoundException {
         /*
-        TODO: Generics werden zu TPHs
         Die transitive Hülle muss funktionieren.
         Man darf schreiben List<A> extends AL<A>
         und Vector<B> extends List<B>

src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java

@@ -96,4 +96,14 @@ public abstract class UnifyType {
 		ret.addAll(typeParams.getInvolvedPlaceholderTypes());
 		return ret;
 	}
+
+	@Override
+	public int hashCode() {
+		return this.toString().hashCode();
+	}
+
+	@Override
+	public boolean equals(Object obj) {
+		return this.toString().equals(obj.toString());
+	}
 }

test/typeinference/MatrixTest.java

@@ -0,0 +1,9 @@
+package typeinference;
+
+import java.io.File;
+
+public class MatrixTest extends JavaTXCompilerTest{
+    public MatrixTest() {
+        this.fileToTest = new File(rootDirectory+"Matrix.jav");
+    }
+}