Problem mit Generischen Variabeln in Klassendeklarationen gelöst

This commit is contained in:
JanUlrich 2014-06-18 11:53:39 +02:00
parent 05f4dbbff3
commit 863f8ec2ec

View File

@ -652,8 +652,8 @@ public class Class extends SyntaxTreeNode implements AClassOrInterface, IItemWit
//Globale Assumptions anfügen: //Globale Assumptions anfügen:
assumptions.add(globalAssumptions); assumptions.add(globalAssumptions);
for(GenericTypeVar gparam : this.genericClassParameters){ for(Type gparam : this.paralist){
gparam.TYPE(assumptions); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen if(gparam instanceof GenericTypeVar)((GenericTypeVar)gparam).TYPE(assumptions); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen
} }
typinferenzLog.debug("Erstellte Assumptions: "+assumptions); typinferenzLog.debug("Erstellte Assumptions: "+assumptions);