From a2997fdd6b381a0fe1549164a55ace0eb155f4d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Tue, 31 Mar 2015 16:45:22 +0200 Subject: [PATCH] Bug 16: wieder zurueckgenommen, Zusammenhangskomponenten wieder raus --- .../typeinference/unify/Unify.java | 104 +++--------------- 1 file changed, 13 insertions(+), 91 deletions(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index e302ca80b..e22e56b6b 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -7,9 +7,7 @@ import java.util.Enumeration; import java.util.Hashtable; import java.util.Iterator; import java.util.Vector; -import java.util.TreeSet; import java.util.stream.Stream; -import java.util.function.BiFunction; import de.dhbwstuttgart.logger.Logger; import de.dhbwstuttgart.logger.Section; @@ -152,19 +150,19 @@ public class Unify if(p.TA1 instanceof TypePlaceholder) { //TPH <. ? super Ty entspricht TPH <. Ty - if (p.TA2 instanceof SuperWildcardType) { - p.TA2 = ((SuperWildcardType)p.TA2).get_SuperType(); + if (p.TA2 instanceof SuperWildcardType) { + p.TA2 = ((SuperWildcardType)p.TA2).get_SuperType(); + //HIER GIBT ES EIN PROBLEM, WENN get_SuperType ein TPH LIEFERT PL 15-03-12 + //Dann ist THP <. TPH in Eq2 anstatt in Eq1 + //Muesste mit folgendem if gelöst sein. PL 15-03-17 + if (p.TA2 instanceof TypePlaceholder) { + Eq1.addElement(p); + // Eq2.remove(p); + continue; + } + } + - - //HIER GIBT ES EIN PROBLEM, WENN get_SuperType ein TPH LIEFERT PL 15-03-12 - //Dann ist THP <. TPH in Eq2 anstatt in Eq1 - //Muesste mit folgendem if gelöst sein. PL 15-03-17 - if (p.TA2 instanceof TypePlaceholder) { - Eq1.addElement(p); - // Eq2.remove(p); - continue; - } - } if(p.OperatorEqual()) { //Alle Paare die bereits durch sub_unify die richtige Struktur haben einfach durchleiten. @@ -621,87 +619,10 @@ public class Unify } } } - - - /////////////////////////////////////////////////////////////////////////////////// - //EINSCHUB AUFTEILEN ZUSAMMENHANGSKOMPONENTEN PL 15-03-19 IN SCHRITTEN A. - C. - //BRINGT nichts OverloadingInMethod2 - ////////////////////////////////////////////////////////////////////////////////// - - ////////////////////////////////////////////////////////////////////////////////////////////////////////////////// - //A. Zusammenhangskomponenten bilden - - BiFunction,Vector,Vector> addAllSet = - (v1, v2) -> { for (TypePlaceholder v2elem : v2) { if (!v1.contains(v2elem)) v1.addElement(v2elem); } - return v1; - - }; - //A.1 Eq1 als Vec> zu cartProduktSets hinzufuegen - Vector>> VecVecEq1 = Eq1.stream().map(x -> { Vector PVec = new Vector<>(); - PVec.addElement(x); - Vector> PVecVec = new Vector<>(); - PVecVec.add(PVec); - return PVecVec;}) - .collect(Vector::new, Vector::add, Vector::addAll); - - cartProduktSets.addAll(VecVecEq1); - - //A.2 Schritt 1: Alle Variablen in den Paaren von Elementen einsammeln - - //A.2 Schritt 1: Alle Variablen in den Paaren von Elementen einsammeln - Stream>> constraintsclonevars2 = - cartProduktSets.stream() - .map(vecvec_p -> vecvec_p.stream().map(vec_p -> vec_p.stream() - .reduce(new Vector(), (vTPH, p) -> { addAllSet.apply(vTPH,p.TA1.getInvolvedTypePlaceholder()); - addAllSet.apply(vTPH, p.TA2.getInvolvedTypePlaceholder()); - return vTPH;}, - (x,y) -> {x.addAll(y); return x;}) - - ).collect(Vector::new, Vector::add, Vector::addAll) - );//.collect(Vector::new, Vector::add, Vector::addAll); - - Vector>> constraintsclonevars3 = constraintsclonevars2.collect(Vector::new, Vector::add, Vector::addAll); - - Vector> constraintsclonevars4 = - constraintsclonevars3.stream().map(vars -> vars.stream().reduce(new Vector(),(vTPH1, vTPH2) -> { addAllSet.apply(vTPH1,vTPH2); return vTPH1;})) - .collect(Vector::new, Vector::add, Vector::addAll); - - - Vector> constraintsclonevars = - cartProduktSets.stream() - .map(vecvec_p -> vecvec_p.stream().map(vec_p -> vec_p.stream() - .reduce(new Vector(), (vTPH, p) -> { vTPH.addAll(p.TA1.getInvolvedTypePlaceholder()); - vTPH.addAll(p.TA2.getInvolvedTypePlaceholder()); - return vTPH;}, - (x,y) -> {x.addAll(y); return x;}) - - ).reduce(new Vector(), (vTPH1, vTPH2) -> { vTPH1.addAll(vTPH2); return vTPH1;}) - //HIER STIMMT ES NICHT - ).collect(Vector::new, Vector::add, Vector::addAll); - - //A.3 Schritt 2: Schnittmengen jedes Elements mit jedem Elememt von vars bilden und dann index zusammenfassen - //in indexset sind dann die Mengen von Indizes enthalten, die gemeisam unifiziert wreden müssen - Vector> indexeset = new Vector<>(); - if (constraintsclonevars4 != null && constraintsclonevars4.size()>0) { - indexeset = Unify.schnitt(constraintsclonevars4); - } - - //A.4 Schritt 3: Umwandlung der Indizes in die zugehoerigen Elemente - // In streamconstraintsclone sind die Mengen von Paar enthalten die unifiziert werden muessen - Stream>>> streamconstraintsclone = indexeset.stream().map(x -> x.stream() - .map(i -> cartProduktSets.elementAt(i))//); - .collect(Vector::new, Vector::add, Vector::addAll)); - Vector>>> vecconstraintsclone = streamconstraintsclone.collect(Vector::new, Vector::add, Vector::addAll); - ///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// - - - //B. Schitte 4. bis 7 der Unifikation auf den Zusammenhangskomponenten getrennt ausfuehren //Schritt 4, Teil 2: Kartesisches Produkt bilden. //Hier wird aus den in Schritt 4, Teil 1 erzeugten Vektoren das Kartesische Produkt gebilden. Vector helpvp; Vector> bigCartProductErg = new Vector>(); - - //auskommentiert, da bereits in Schritt A vor der Zusammenhangskomponenetenbildung hinzugefuegt PL 15-03-19 bigCartProductErg.addElement(copyVectorPair(Eq1)); for (Vector> vecvecpair : cartProduktSets) @@ -864,6 +785,7 @@ public class Unify } return ret; } + /** * Diese Methode wird verwendet, um Zuordnungen z.B. TPH a = Integer