Exception in TaskUnify #253

New Issue

stan · 2017-10-10T15:49:41Z

stan commented

2017-10-10 15:49:41 +00:00

commit 9607fcf980

Test: typeinference.FiniteClosureTest

Fehler:
de.dhbwstuttgart.exceptions.DebugException
at de.dhbwstuttgart.typeinference.unify.RuleSet.reduce2(RuleSet.java:308)

commit 9607fcf98073dce54501589d331f4bff040add5c Test: typeinference.FiniteClosureTest Fehler: de.dhbwstuttgart.exceptions.DebugException at de.dhbwstuttgart.typeinference.unify.RuleSet.reduce2(RuleSet.java:308)

pl commented

2017-10-30 11:13:35 +00:00

import java.util.*;

class Test{
methode(param1, param2, param3) {
return param1.meth(param2.add(param3));
}
}

interface Klasse1{
Klasse1 meth(Klasse1 p);
Klasse1 meth(Klasse2 p);
}

interface Klasse2{
Klasse1 meth(Klasse1 p);
Klasse2 meth(Klasse2 p);
}

Bei dem Import java.util.* werden sehr viele Typen importiert, hier tritt ein Problem bei java.util.Map$Entry auf. Ich weiss nicht was da passiert.

Wenn man z.B. nur import java.util.Vector; import, läuft der Algorithmus durch,
hat aber keine Lösung, da der Returntyp von add nicht Klasse1 oder Klasse2 ist.

import java.util.*; class Test{ methode(param1, param2, param3) { return param1.meth(param2.add(param3)); } } interface Klasse1{ Klasse1 meth(Klasse1 p); Klasse1 meth(Klasse2 p); } interface Klasse2{ Klasse1 meth(Klasse1 p); Klasse2 meth(Klasse2 p); } Bei dem Import java.util.* werden sehr viele Typen importiert, hier tritt ein Problem bei java.util.Map$Entry auf. Ich weiss nicht was da passiert. Wenn man z.B. nur import java.util.Vector; import, läuft der Algorithmus durch, hat aber keine Lösung, da der Returntyp von add nicht Klasse1 oder Klasse2 ist.

Sign in to join this conversation.