class DoubleType extends PrimType {

  public static final int HASHCODE = 0x4B9D7242;

  public DoubleType(Singletons.Global g) {
  }

  public static DoubleType v() {
    return G.v().soot_DoubleType();
  }

  @Override
  public boolean equals(Object t) {
    return this == t;
  }

  @Override
  public int hashCode() {
    return HASHCODE;
  }

  @Override
  public String toString() {
    return "double";
  }

  @Override
  public void apply(Switch sw) {
    ((TypeSwitch) sw).caseDoubleType(this);
  }

  @Override
  public String getTypeAsString() {<FILL_FUNCTION_BODY>}

  @Override
  public Class<?> getJavaBoxedType() {
    return Double.class;
  }

  @Override
  public Class<?> getJavaPrimitiveType() {
    return double.class;
  }
}

    if (Options.v().src_prec() == Options.src_prec_dotnet) {
      return DotnetBasicTypes.SYSTEM_DOUBLE;
    }
    return JavaBasicTypes.JAVA_LANG_DOUBLE;
  
<methods>public non-sealed void <init>() ,public soot.RefType boxedType() ,public abstract Class<?> getJavaBoxedType() ,public abstract Class<?> getJavaPrimitiveType() ,public abstract java.lang.String getTypeAsString() ,public boolean isAllowedInFinalCode() <variables>