From cbafe352c96857af3ff0f8918ddfe445c0b9c546 Mon Sep 17 00:00:00 2001 From: "Dr. Martin Pluemicke" Date: Tue, 20 Jan 2015 18:24:58 +0100 Subject: [PATCH] Kommentar in Unify fuer weitere Arbeiten eingefuegt --- src/de/dhbwstuttgart/typeinference/unify/Unify.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 7274ac9d..318f46b8 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -1371,6 +1371,8 @@ throws MatchException } } //REDUCE2 + //PL 15-01-20: HIER MUESSEN NOCH ALLE FAELLE MIT EXTENDS UND SUPER GEMISCHT ERGAENZT WERDEN + //BEACHTEN: WAS PASSIERT WENN HINTER ? extends/super EINE TYPVAR/KEIN REFTYPE STEHT if(P.OperatorEqual()) { RefType TA1 = null;