From 47b5b2a2882e215afafca6dc52ec8ef891a9033b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Tue, 1 Jan 2013 02:56:34 +0100 Subject: [PATCH] =?UTF-8?q?1.=20BUG=2015:=20TPH1=20<.=20=3F=20super=20TPH2?= =?UTF-8?q?=20f=C3=BChrt=20zu=20TPH1=20<.=20TPH2=20und=20zu=20Eq1=20einzug?= =?UTF-8?q?efuegt=201.=20BUG=2016:=20Unify=20in=20Zusammenhangskomponenten?= =?UTF-8?q?=20aufgeteit,=20muss=20wieder=20zurueckgenommen=20werden?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../dhbwstuttgart/syntaxtree/SourceFile.java | 2 +- .../typeinference/unify/Unify.java | 93 ++++++++++++++++++- 2 files changed, 92 insertions(+), 3 deletions(-) diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java index f8a820f5..522727fb 100755 --- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java +++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java @@ -801,7 +801,7 @@ public class SourceFile .map(i -> constraintsClone.elementAt(i)) .collect(Vector::new, Vector::add, Vector::addAll)); //Vector> vecconstraintsclone = streamconstraintsclone.collect(Vector::new, Vector::add, Vector::addAll); - + System.out.println(); //Schritt 4: Unifikation Vector>> vecunifyResult = //streamconstraintsclone.map(x -> Unify.unify(x, finiteClosure)).collect(Vector::new, Vector::add, Vector::addAll); diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 153fa353..e302ca80 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -7,7 +7,9 @@ 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; @@ -150,8 +152,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; + } + } if(p.OperatorEqual()) { //Alle Paare die bereits durch sub_unify die richtige Struktur haben einfach durchleiten. @@ -608,10 +621,87 @@ 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) @@ -774,7 +864,6 @@ public class Unify } return ret; } - /** * Diese Methode wird verwendet, um Zuordnungen z.B. TPH a = Integer