From 5b9cabb3e16331b01071b6a8c97b6bc72f82937f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Fri, 5 Dec 2014 17:47:34 +0100 Subject: [PATCH] Wildcards im Subst im Unify eingefuegt Kommentare --- 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 3c281407..af749307 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -2400,7 +2400,7 @@ throws MatchException return true; } } - //Wildcard ergänzt PL 12-12-05 + //Wildcard ergänzt PL 14-12-05 if ( T instanceof ExtendsWildcardType ) { Type Temp = ((ExtendsWildcardType) T).get_ExtendsType(); @@ -2415,7 +2415,7 @@ throws MatchException } } } - + //Wildcard ergänzt PL 14-12-05 if ( T instanceof SuperWildcardType ) { Type Temp = ((SuperWildcardType) T).get_SuperType();