diff --git a/bin/.gitignore b/bin/.gitignore index 865e7f60..200b7277 100644 --- a/bin/.gitignore +++ b/bin/.gitignore @@ -1,6 +1 @@ -/bytecode /mycompiler -/plugindevelopment -/syntaxTree -/typinferenz -/parser diff --git a/src/mycompiler/myclass/Class.java b/src/mycompiler/myclass/Class.java index d096b77e..7f2e3334 100755 --- a/src/mycompiler/myclass/Class.java +++ b/src/mycompiler/myclass/Class.java @@ -665,7 +665,10 @@ public class Class extends SyntaxTreeNode implements AClassOrInterface, IItemWit assumptions.add(globalAssumptions); ConstraintsSet oderConstraints = new ConstraintsSet(); - + + for(Type gparam : this.paralist){ + if(gparam instanceof GenericTypeVar)assumptions.add(((GenericTypeVar)gparam).createAssumptions()); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen + } for(Type gparam : this.paralist){ if(gparam instanceof GenericTypeVar)oderConstraints.add(((GenericTypeVar)gparam).TYPE(assumptions)); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen }