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

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

Enclosing class:

Value

public static class Value.VInt
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.VInt(java.lang.Integer integer)

Method Summary

<R,A> R	accept(Value.Visitor<R,A> v, A arg)
java.lang.Integer	getInteger()
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.VInt

public Value.VInt(java.lang.Integer integer)

Method Detail

getInteger

public java.lang.Integer getInteger()

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