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

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

Enclosing class:

Value

public static class Value.VMeta
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.VMeta(java.math.BigInteger n)

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.VMeta

public Value.VMeta(java.math.BigInteger n)

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