diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index bd2b38e6..92dd8e56 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -3014,6 +3014,12 @@ tempKlasse.get_Superclass_Name() ); System.out.println( "P. S.: } } } + else if(T instanceof BoundedGenericTypeVar) //PL 15-02-03 angefuegt da BGTV Kleiner als alle seine Bounds ist + { + BoundedGenericTypeVar bgtv = (BoundedGenericTypeVar)T; + Vector types = bgtv.getBounds(); + retVec = types.stream().map(ty -> greater(ty, fc_tto)).reduce(new Vector(), (a,b) -> { a.addAll(b); return a;}); + } return retVec; } diff --git a/test/plugindevelopment/TypeInsertTests/GenericVarTest3.jav b/test/plugindevelopment/TypeInsertTests/GenericVarTest3.jav index 06b4a32d..fef13c40 100644 --- a/test/plugindevelopment/TypeInsertTests/GenericVarTest3.jav +++ b/test/plugindevelopment/TypeInsertTests/GenericVarTest3.jav @@ -2,7 +2,7 @@ class GenericTest{ A method(){ A x; Integer integer; - x = integer; + integer = x; return x; } }