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

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

public static class Value.VRec
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.VRec(java.util.Map<java.lang.String,Value> rec)
           
 
Method Summary
<R,A> R
accept(Value.Visitor<R,A> v, A arg)
           
 Value get(java.lang.String field)
           
 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.VRec

public Value.VRec(java.util.Map<java.lang.String,Value> rec)
Method Detail

get

public Value get(java.lang.String field)

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