diff --git a/src/de/dhbwstuttgart/typeinference/UndMenge.java b/src/de/dhbwstuttgart/typeinference/UndMenge.java index 49087949e..1f4d75dff 100644 --- a/src/de/dhbwstuttgart/typeinference/UndMenge.java +++ b/src/de/dhbwstuttgart/typeinference/UndMenge.java @@ -64,6 +64,14 @@ public class UndMenge implements KomplexeMenge{ } return ret; } + + public String toString(){ + String ret = "["; + for(KomplexeMenge item : set){ + ret += item.toString() + "\n"; + } + return ret + "]"; + } } diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav index cd4550ba9..4bc270c4b 100644 --- a/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav +++ b/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav @@ -1,4 +1,4 @@ -import de.dhbwstuttgart.typeinference.Vector; +import java.util.Vector; class Matrix extends Vector> {