From 8d1b2c6b8210a03dab3471d91ce6bd65c88a915b Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Tue, 4 Aug 2015 11:06:18 +0200 Subject: [PATCH] =?UTF-8?q?Unify=20Debuoutput=20angef=C3=BCgt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/de/dhbwstuttgart/typeinference/unify/Unify.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 1a1b827c..9ffa28e4 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -136,8 +136,11 @@ public class Unify //public static Menge> unifyWC (Menge E, FC_TTO fc_tto) public static Menge> unifyFiltered (Menge E, FC_TTO fc_tto, boolean filter) { + SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY); + //Schritt 1: Aufrufen der Regeln durch sub_unify. Menge Eq = sub_unify(E,fc_tto); + log.debug("Eq Set nach Schritt 1: "+Eq); /* Schritt 2: Rausfiltern der Typen die entweder beides Typvariablen sind oder nicht. * Sobald ein Paar auftauch, bei denen kein Typ mehr eine Typvariable ist, kann dieses Paar * nicht mehr unifiziert werden, deshalb abbruch.*/ @@ -641,7 +644,7 @@ public class Unify } } //Schritt 4, Teil 2: Kartesisches Produkt bilden. - + log.debug("Unify Sets nach Schritt 4 vor dem Erstellen des Karthesischen Produkts: "+cartProduktSets); /* //TODO: Vor der Bildung des Karthesischen Produkts unmögliche Kombinationen ausfiltern //cartProduktSets kontrollieren: @@ -667,7 +670,6 @@ public class Unify if(filter)log.debug("Karthesisches Produkt nach Filterung: "+bigCartProductErg3); Sets.cartesianProduct(bigCartProductErg3); */ - SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY); if(filter){ //Cloner cloner = new Cloner();