From d14406e47442e6201a27e2db20e09268856bf493 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Fri, 10 May 2019 21:23:28 +0200 Subject: [PATCH] modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../resources/bytecode/javFiles/MatrixOP.jav --- .../de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 2 ++ src/test/resources/bytecode/javFiles/MatrixOP.jav | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index f6bf6a4ea..be9471c00 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 52c3fe964..21d373478 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> {