diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 8028fc266..997e475c9 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -792,9 +792,10 @@ public class TypeUnifyTask extends RecursiveTask>> { } /* sameEqSet-Bestimmung Ende */ - + int hilf = 0; Set a = null; while (nextSetasList.size() > 0) { + //statistics writeStatistics(" Actual Number of elements( " + nextSetasList.get(0).stream().findFirst().get().getBasePair() +"): (" + rekTiefe + "): " + nextSetasList.size()); Set a_last = a; @@ -1212,6 +1213,8 @@ public class TypeUnifyTask extends RecursiveTask>> { }}} //Ab hier alle parallele Berechnungen wieder zusammengeführt. + if (hilf == 1) + System.out.println(); writeStatistics("Zusammengeführt(" + rekTiefe + "): " + nextSetasList.size()); if (oderConstraint) {//Wenn weiteres Element nextSetasList genommen wird, muss die vorherige methodsignatur geloescht werden methodSignatureConstraint.removeAll(((Constraint)a).getmethodSignatureConstraint()); @@ -1544,6 +1547,7 @@ public class TypeUnifyTask extends RecursiveTask>> { writeStatistics("Number of Backtracking: " + noBacktracking); System.out.println(""); } + else writeStatistics("res: " + res.toString()); //if (nextSetasList.size() == 0 && isUndefinedPairSetSet(result) && nextSet.size() > 1) { // return result; //}