From e9b2564484f345aa0e86c844821cc220d3813984 Mon Sep 17 00:00:00 2001 From: "Dr. Martin Pluemicke" Date: Tue, 20 Jan 2015 14:40:05 +0100 Subject: [PATCH] Unify.java: in subst rekursiver Aufruf fuer Wildcardargumente eingefuegt --- src/de/dhbwstuttgart/typeinference/unify/Unify.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 49f19222..7274ac9d 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -2379,7 +2379,8 @@ throws MatchException ret &= true; //GEAENDERT PL 14-01-17 } } - if( Temp instanceof RefType ) + if( (Temp instanceof RefType ) || (Temp instanceof ExtendsWildcardType ) || (Temp instanceof SuperWildcardType ) ) + //PL 2015-01-20 eingefuegt: || (Temp instanceof ExtendsWildcardType ) || (Temp instanceof SuperWildcardType ) { Pair PTemp = new Pair( Temp, null); inferencelog.debug(" TV!!!" + PTemp.toString() );