JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 94 Pull Requests Actions Packages Projects Releases Wiki Activity

Wildcard Unifikation

Browse Source
This commit is contained in:
Martin Plümicke 2015-01-30 13:52:17 +01:00
parent 91b4ff4c2f
commit 1369161f12
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/de/dhbwstuttgart/typeinference/unify/Unify.java
View File

@ -1387,7 +1387,7 @@ throws MatchException
{ {
ExtendsWildcardType exT1 = (ExtendsWildcardType)P.TA1; ExtendsWildcardType exT1 = (ExtendsWildcardType)P.TA1;
ExtendsWildcardType exT2 = (ExtendsWildcardType)P.TA2; 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(); TA1 = (RefType)exT1.get_ExtendsType();
TA2 = (RefType)exT2.get_ExtendsType(); TA2 = (RefType)exT2.get_ExtendsType();
@ -1397,7 +1397,7 @@ throws MatchException
{ {
SuperWildcardType suT1 = (SuperWildcardType)P.TA1; SuperWildcardType suT1 = (SuperWildcardType)P.TA1;
SuperWildcardType suT2 = (SuperWildcardType)P.TA2; 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(); TA1 = (RefType)suT1.get_SuperType();
TA2 = (RefType)suT2.get_SuperType(); TA2 = (RefType)suT2.get_SuperType();