From 87cf6743528a6ae64e25a3cc0fb85dddce460b38 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Wed, 7 Mar 2018 23:07:53 +0100 Subject: [PATCH] Fehler in FCGenerator beheben --- .../parser/SyntaxTreeGenerator/FCGenerator.java | 5 +++-- test/asp/UnifyWithoutWildcards.java | 1 - 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java b/src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java index 24abec67..66cfb764 100644 --- a/src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java +++ b/src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java @@ -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())); } diff --git a/test/asp/UnifyWithoutWildcards.java b/test/asp/UnifyWithoutWildcards.java index cb414f6c..2bf74d66 100644 --- a/test/asp/UnifyWithoutWildcards.java +++ b/test/asp/UnifyWithoutWildcards.java @@ -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.*;