i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Unify Debuoutput angefügt

Browse Source
This commit is contained in:
JanUlrich 2015-08-04 11:06:18 +02:00
parent ae372cdd3b
commit 8d1b2c6b82
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/de/dhbwstuttgart/typeinference/unify/Unify.java
View File

@ -136,8 +136,11 @@ public class Unify
//public static Menge<Menge<Pair>> unifyWC (Menge<Pair> E, FC_TTO fc_tto) //public static Menge<Menge<Pair>> unifyWC (Menge<Pair> E, FC_TTO fc_tto)
public static Menge<Menge<Pair>> unifyFiltered (Menge<Pair> E, FC_TTO fc_tto, boolean filter) public static Menge<Menge<Pair>> unifyFiltered (Menge<Pair> E, FC_TTO fc_tto, boolean filter)
{ {
SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY);
//Schritt 1: Aufrufen der Regeln durch sub_unify. //Schritt 1: Aufrufen der Regeln durch sub_unify.
Menge<Pair> Eq = sub_unify(E,fc_tto); Menge<Pair> 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. /* 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 * Sobald ein Paar auftauch, bei denen kein Typ mehr eine Typvariable ist, kann dieses Paar
* nicht mehr unifiziert werden, deshalb abbruch.*/ * nicht mehr unifiziert werden, deshalb abbruch.*/
@ -641,7 +644,7 @@ public class Unify
} }
} }
//Schritt 4, Teil 2: Kartesisches Produkt bilden. //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 //TODO: Vor der Bildung des Karthesischen Produkts unmÃgliche Kombinationen ausfiltern
//cartProduktSets kontrollieren: //cartProduktSets kontrollieren:
@ -667,7 +670,6 @@ public class Unify
if(filter)log.debug("Karthesisches Produkt nach Filterung: "+bigCartProductErg3); if(filter)log.debug("Karthesisches Produkt nach Filterung: "+bigCartProductErg3);
Sets.cartesianProduct(bigCartProductErg3); Sets.cartesianProduct(bigCartProductErg3);
*/ */
SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY);
if(filter){ if(filter){
//Cloner cloner = new Cloner(); //Cloner cloner = new Cloner();