diff --git a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java index d2976562..af90b7bd 100644 --- a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java +++ b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java @@ -191,7 +191,11 @@ public class UnifyTypeFactory { } public static Type convert(PlaceholderType t) { - return TypePlaceholder.getInstance(t.getName()); + TypePlaceholder ret = TypePlaceholder.getInstance(t.getName()); + if(ret == null){ //Dieser TPH wurde vom Unifikationsalgorithmus erstellt + ret = TypePlaceholder.fresh(t.getName(), NULL_NODE); + } + return ret; } public static Type convert(UnifyType t) { @@ -206,7 +210,8 @@ public class UnifyTypeFactory { private static List convert(TypeParams typeParams) { List ret = new ArrayList<>(); for(UnifyType uT : typeParams){ - ret.add(convert(uT)); + Type toAdd = convert(uT); + ret.add(toAdd); } return ret; } diff --git a/src/de/dhbwstuttgart/syntaxtree/type/RefType.java b/src/de/dhbwstuttgart/syntaxtree/type/RefType.java index 1fa47df1..20e8fe25 100755 --- a/src/de/dhbwstuttgart/syntaxtree/type/RefType.java +++ b/src/de/dhbwstuttgart/syntaxtree/type/RefType.java @@ -256,8 +256,6 @@ public class RefType extends ObjectType implements IMatchable else paralist.add(t); }*/ this.parameter = v;//paralist; - //parserlog.debug("T->Type.java->set_ParaList->parameter: " + parameter); - //parserlog.debug("T->Type.java->get_Type: " + getName()); } // ino.end