@@ -0,0 +1,479 @@
+package pw.koj.jetstreem.type;%0A%0Aimport pw.koj.jetstreem.ast.Location;%0A%0Apublic class DoubleTypeRef extends TypeRef %7B%0A    protected String name;%0A%0A    public DoubleTypeRef(String name) %7B%0A        this(name, null);%0A    %7D%0A%0A    public DoubleTypeRef(String name, Location loc) %7B%0A        super(loc);%0A        this.name = name;%0A    %7D%0A%0A    public String name() %7B%0A        return name;%0A    %7D%0A%0A    public static DoubleTypeRef doubleRef() %7B%0A        return new DoubleTypeRef(%22double%22);%0A    %7D%0A%7D%0A%0A%0A

add class DoubleTypeRef