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

java.lang.Object
  se.chalmers.cs.gf.transfer.Value
      se.chalmers.cs.gf.transfer.Value.VType

Enclosing class:

Value

public static class Value.VType
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.VType()

Method Summary

<R,A> R	accept(Value.Visitor<R,A> v, A arg)
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.VType

public Value.VType()

Method Detail

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