diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index f6bf6a4e..be9471c0 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -179,12 +179,14 @@ public class TypeUnifyTask extends RecursiveTask>> { catch (IOException e) { System.err.println("log-File nicht vorhanden"); } + /* Abbruchtest if (thNo > 10) { System.out.println("cancel"); usedTasks.cancel(); writeLog(nOfUnify.toString() + "cancel"); System.out.println("cancel"); } + */ rules = new RuleSet(logFile); this.rekTiefeField = rekTiefe; this.urm = urm; diff --git a/src/test/resources/bytecode/javFiles/MatrixOP.jav b/src/test/resources/bytecode/javFiles/MatrixOP.jav index 52c3fe96..21d37347 100644 --- a/src/test/resources/bytecode/javFiles/MatrixOP.jav +++ b/src/test/resources/bytecode/javFiles/MatrixOP.jav @@ -1,6 +1,6 @@ import java.util.Vector; import java.lang.Integer; -import java.lang.Byte; +//import java.lang.Byte; import java.lang.Boolean; public class MatrixOP extends Vector> {