From 1369161f12ea2bb51c89118d653ea1622be6ac9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Fri, 30 Jan 2015 13:52:17 +0100 Subject: [PATCH] Wildcard Unifikation --- src/de/dhbwstuttgart/typeinference/unify/Unify.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 318f46b8..96feeaf3 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -1387,7 +1387,7 @@ throws MatchException { ExtendsWildcardType exT1 = (ExtendsWildcardType)P.TA1; ExtendsWildcardType exT2 = (ExtendsWildcardType)P.TA2; - if(exT1.get_ExtendsType() instanceof RefType && exT2.get_ExtendsType() instanceof RefType) + //if(exT1.get_ExtendsType() instanceof RefType && exT2.get_ExtendsType() instanceof RefType) PL 15-01-30 { TA1 = (RefType)exT1.get_ExtendsType(); TA2 = (RefType)exT2.get_ExtendsType(); @@ -1397,7 +1397,7 @@ throws MatchException { SuperWildcardType suT1 = (SuperWildcardType)P.TA1; SuperWildcardType suT2 = (SuperWildcardType)P.TA2; - if(suT1.get_SuperType() instanceof RefType && suT2.get_SuperType() instanceof RefType) + //if(suT1.get_SuperType() instanceof RefType && suT2.get_SuperType() instanceof RefType) PL 15-01-30 { TA1 = (RefType)suT1.get_SuperType(); TA2 = (RefType)suT2.get_SuperType();