Void Reference-Typen wieder zu Void RefTypes konvertieren

This commit is contained in:
JanUlrich 2016-05-03 13:58:54 +02:00
parent f17745bfa5
commit db93a1dfe1
2 changed files with 3 additions and 2 deletions

View File

@ -172,7 +172,7 @@ public class UnifyTypeFactory {
public static Type convert(ReferenceType t) { public static Type convert(ReferenceType t) {
//TODO: Hier kann man die GTVs extrahieren //TODO: Hier kann man die GTVs extrahieren
if(t.getName() == "void")return new Void(NULL_NODE, 0); if(t.getName().toString().equals(Void.VOID_NAME))return new Void(NULL_NODE, 0);
RefType ret = new RefType(t.getName(),null,0); RefType ret = new RefType(t.getName(),null,0);
ret.set_ParaList(convert(t.getTypeParams())); ret.set_ParaList(convert(t.getTypeParams()));
return ret; return ret;

View File

@ -15,13 +15,14 @@ public class Void extends RefType
// ino.end // ino.end
// ino.class.Void.26857.body // ino.class.Void.26857.body
{ {
public static final String VOID_NAME = "void";
// ino.method.Void.26861.definition // ino.method.Void.26861.definition
public Void(SyntaxTreeNode parent,int offset) public Void(SyntaxTreeNode parent,int offset)
// ino.end // ino.end
// ino.method.Void.26861.body // ino.method.Void.26861.body
{ {
super(parent,offset); super(parent,offset);
super.setName("void"); super.setName(VOID_NAME);
} }
// ino.end // ino.end