public class Double extends Term<Double>
Double(java.lang.Double d)
Double
marshal()
<Z> Z
toJava()
java.lang.String
toString()
fromJava, unmarshal
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Double(java.lang.Double d)
public <Z> Z toJava()
toJava
Term<Double>
public Double marshal()
marshal
public java.lang.String toString()
toString
java.lang.Object