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

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

public static class Value.VStr
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.VStr(java.lang.String str)
           
 
Method Summary
<R,A> R
accept(Value.Visitor<R,A> v, A arg)
           
 java.lang.String getString()
           
 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.VStr

public Value.VStr(java.lang.String str)
Method Detail

getString

public java.lang.String getString()

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