se.chalmers.cs.gf.transfer
Class Value.VDbl

java.lang.Object
  extended by se.chalmers.cs.gf.transfer.Value
      extended by se.chalmers.cs.gf.transfer.Value.VDbl
Enclosing class:
Value

public static class Value.VDbl
extends Value


Nested Class Summary
 
Nested classes/interfaces inherited from class se.chalmers.cs.gf.transfer.Value
Value.VClos, Value.VCons, Value.VDbl, Value.VInt, Value.Visitor<R,A>, Value.VMeta, Value.VPrim, Value.VRec, Value.VStr, Value.VType
 
Field Summary
 
Fields inherited from class se.chalmers.cs.gf.transfer.Value
EQ, FALSE, GT, LT, TRUE, TYPE
 
Constructor Summary
Value.VDbl(java.lang.Double dbl)
           
 
Method Summary
<R,A> R
accept(Value.Visitor<R,A> v, A arg)
           
 java.lang.Double getDouble()
           
 java.lang.String toString()
           
 
Methods inherited from class se.chalmers.cs.gf.transfer.Value
isTrue, toBool, toOrdering
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Value.VDbl

public Value.VDbl(java.lang.Double dbl)
Method Detail

getDouble

public java.lang.Double getDouble()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

accept

public <R,A> R accept(Value.Visitor<R,A> v,
                      A arg)
Specified by:
accept in class Value