JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 94 Pull Requests Actions Packages Projects Releases Wiki Activity

TPH <. ? super Ty reduziert auf TPH <. Ty eingefuegt, damit BUG 7 geloest

Browse Source
This commit is contained in:
Dr. Martin Pluemicke 2015-03-05 16:37:45 +01:00
parent 549640dfc4
commit f2bc4f0ffa
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -321,6 +321,9 @@ public class Unify
{ {
if(p.TA1 instanceof TypePlaceholder) 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.OperatorEqual()) if(p.OperatorEqual())
{ {
//Alle Paare die bereits durch sub_unify die richtige Struktur haben einfach durchleiten. //Alle Paare die bereits durch sub_unify die richtige Struktur haben einfach durchleiten.
@ -330,7 +333,7 @@ public class Unify
setofsetofpairs.add(vTmp); setofsetofpairs.add(vTmp);
cartProduktSets.add(setofsetofpairs); cartProduktSets.add(setofsetofpairs);
} }
else if(p.OperatorSmaller() && p.TA2 instanceof RefType) else if(p.OperatorSmaller() && (p.TA2 instanceof RefType))
{ {
RefType p_TA2 = (RefType)p.TA2; RefType p_TA2 = (RefType)p.TA2;
//1. Menge //1. Menge
@ -446,14 +449,16 @@ public class Unify
} }
//aus {ty <. ty'} {? extends ty <. ty'} erzeugen //angefuegt PL 15-03-03 //aus {ty <. ty'} {? extends ty <. ty'} erzeugen //angefuegt PL 15-03-03
Stream<Vector<Pair>> extergMenge1 = //DIES IST NICHT RICHTIG GETESTET, ES KOENNTE SEIN, DASS DAS KART. PRODUKT FALSCH GEBILDET WIRD.
Stream<Vector<Pair>> strextergMenge1 =
ergMenge1.stream().map(v -> ergMenge1.stream().map(v ->
v.stream().map(pa -> v.stream().map(pa ->
new Pair(new ExtendsWildcardType(pa.getTA1Copy().getOffset(), pa.getTA1Copy()), pa.getTA2Copy(), pa.GetOperator(), pa.bSubst) new Pair(pa.getTA1Copy(), new ExtendsWildcardType(pa.getTA2Copy().getOffset(), pa.getTA2Copy()), pa.GetOperator(), pa.bSubst)
).collect(Vector::new, Vector::add, Vector::addAll)); ).collect(Vector::new, Vector::add, Vector::addAll));
Vector<Vector<Pair>> extergMenge1 = strextergMenge1.collect(Vector::new, Vector::add, Vector::addAll);
ergMenge1.addAll(extergMenge1);
cartProduktSets.add(ergMenge1); cartProduktSets.add(ergMenge1);
cartProduktSets.add(extergMenge1.collect(Vector::new, Vector::add, Vector::addAll));
} }
else if(p.OperatorSmaller() && p.TA2 instanceof GenericTypeVar) else if(p.OperatorSmaller() && p.TA2 instanceof GenericTypeVar)
{ {