Fehler in FCGenerator beheben

This commit is contained in:
JanUlrich 2018-03-07 23:07:53 +01:00
parent dfd6a1f532
commit 87cf674352
2 changed files with 3 additions and 3 deletions

View File

@ -51,8 +51,9 @@ public class FCGenerator {
//Generics mit gleichem Namen müssen den selben TPH bekommen
for(GenericTypeVar gtv : forType.getGenerics()){
if(!gtvs.containsKey(gtv.getName())){
gtvs.put(gtv.getName(), TypePlaceholder.fresh(new NullToken()));
newGTVs.put(gtv.getName(), TypePlaceholder.fresh(new NullToken()));
TypePlaceholder replacePlaceholder = TypePlaceholder.fresh(new NullToken());
gtvs.put(gtv.getName(), replacePlaceholder);
newGTVs.put(gtv.getName(), replacePlaceholder);
}
params.add(gtvs.get(gtv.getName()));
}

View File

@ -5,7 +5,6 @@ import de.dhbwstuttgart.parser.scope.JavaClassName;
import de.dhbwstuttgart.sat.asp.Clingo;
import de.dhbwstuttgart.sat.asp.parser.ASPParser;
import de.dhbwstuttgart.sat.asp.writer.ASPFactory;
import de.dhbwstuttgart.sat.asp.writer.ASPGenerator;
import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
import de.dhbwstuttgart.syntaxtree.factory.ASTFactory;
import de.dhbwstuttgart.syntaxtree.type.*;