se.chalmers.cs.gf.transfer
Class Value

java.lang.Object
  extended by se.chalmers.cs.gf.transfer.Value
Direct Known Subclasses:
Value.VClos, Value.VCons, Value.VDbl, Value.VInt, Value.VMeta, Value.VPrim, Value.VRec, Value.VStr, Value.VType

public abstract class Value
extends java.lang.Object


Nested Class Summary
static class Value.VClos
           
static class Value.VCons
           
static class Value.VDbl
           
static class Value.VInt
           
static interface Value.Visitor<R,A>
           
static class Value.VMeta
           
static class Value.VPrim
           
static class Value.VRec
           
static class Value.VStr
           
static class Value.VType
           
 
Field Summary
static Value EQ
           
static Value FALSE
           
static Value GT
           
static Value LT
           
static Value TRUE
           
static Value TYPE
           
 
Constructor Summary
Value()
           
 
Method Summary
abstract
<R,A> R
accept(Value.Visitor<R,A> v, A arg)
           
static boolean isTrue(Value v)
           
static Value toBool(boolean b)
           
static Value toOrdering(int c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TYPE

public static final Value TYPE

TRUE

public static final Value TRUE

FALSE

public static final Value FALSE

LT

public static final Value LT

EQ

public static final Value EQ

GT

public static final Value GT
Constructor Detail

Value

public Value()
Method Detail

accept

public abstract <R,A> R accept(Value.Visitor<R,A> v,
                               A arg)

toBool

public static Value toBool(boolean b)

toOrdering

public static Value toOrdering(int c)

isTrue

public static boolean isTrue(Value v)