From 4affe5074d0af0e160cb8a85d4c858b32eee81c8 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Thu, 20 Apr 2023 12:13:20 +0200 Subject: [PATCH] On branch unif23Full Changes to be committed: modified: Makefile modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java --- Makefile | 5 +++++ .../typeinference/unify/TypeUnifyTask.java | 14 +++++++------- 2 files changed, 12 insertions(+), 7 deletions(-) diff --git a/Makefile b/Makefile index a17059b9..a5c3af9c 100644 --- a/Makefile +++ b/Makefile @@ -9,3 +9,8 @@ NoMinMax: NoOpt: mvn -DskipTests package cp target/JavaTXcompiler-0.1-jar-with-dependencies.jar target/JavaTXcompiler-0.1-jar-with-dependencies_NoOpt.jar + +NoOptParallel: + mvn -DskipTests package + cp target/JavaTXcompiler-0.1-jar-with-dependencies.jar target/JavaTXcompiler-0.1-jar-with-dependencies_NoOptParallel.jar + diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 198424bd..b7da7194 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -817,7 +817,7 @@ public class TypeUnifyTask extends RecursiveTask>> { writeLog("nextSet: " + nextSet.toString()); writeLog("nextSetasList: " + nextSetasList.toString()); - /* staistics Nextvar an Hand Varianzbestimmung auskommentieren Anfang + ///* staistics Nextvar an Hand Varianzbestimmung auskommentieren Anfang if (variance == 1) { a = oup.max(nextSetasList.iterator()); nextSetasList.remove(a); @@ -889,8 +889,8 @@ public class TypeUnifyTask extends RecursiveTask>> { } } } - Nextvar an Hand Varianzbestimmung auskommentieren Ende */ - a = nextSetasList.remove(0); //statisticsList + //Nextvar an Hand Varianzbestimmung auskommentieren Ende */ + //a = nextSetasList.remove(0); //statisticsList writeStatistics(a.toString()); if (oderConstraint) {//Methodconstraints werden abgespeichert für die Bytecodegenerierung von Methodenaufrufen @@ -1343,7 +1343,7 @@ public class TypeUnifyTask extends RecursiveTask>> { //break; } - /* auskommentiert um alle Max und min Betrachtung auszuschalten ANFANG + // /* auskommentiert um alle Max und min Betrachtung auszuschalten ANFANG if (!result.isEmpty() && (!isUndefinedPairSetSet(res) || !aParDef.isEmpty())) { if (nextSetasList.iterator().hasNext() && nextSetasList.iterator().next().stream().filter(x -> x.getLhsType().getName().equals("B")).findFirst().isPresent() && nextSetasList.size()>1) System.out.print(""); @@ -1480,7 +1480,7 @@ public class TypeUnifyTask extends RecursiveTask>> { writeLog("a: " + rekTiefe + " variance: " + variance + a.toString()); } } - auskommentiert um alle Max und min Betrachtung auszuschalten ENDE */ + //auskommentiert um alle Max und min Betrachtung auszuschalten ENDE */ if (isUndefinedPairSetSet(res) && aParDef.isEmpty()) { int nofstred= 0; @@ -1515,7 +1515,7 @@ public class TypeUnifyTask extends RecursiveTask>> { if (res.size() > 1) { System.out.println(); } - /* statistics no erase + // /* statistics no erase writeLog("nextSetasList vor filter-Aufruf: " + nextSetasList); if (!oderConstraint) {//PL 2023-02-08 eingefuegt: Bei oderconstraints sind Subststitutionen nicht als Substitutionen in idesem Sinne zu sehen nextSetasList = nextSetasList.stream().filter(x -> { @@ -1528,7 +1528,7 @@ public class TypeUnifyTask extends RecursiveTask>> { .collect(Collectors.toCollection(ArrayList::new)); } writeLog("nextSetasList nach filter-Aufruf: " + nextSetasList); - */ + // */ nofstred = nextSetasList.size(); //NOCH NICHT korrekt PL 2018-10-12 //nextSetasList = nextSetasList.stream().filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y))