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

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

Enclosing class:

Value

public abstract static class Value.VPrim
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.VPrim(java.lang.String name)

Method Summary

<R,A> R	accept(Value.Visitor<R,A> v, A arg)
abstract Value	apply(Value arg)
java.lang.String	getName()
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.VPrim

public Value.VPrim(java.lang.String name)

Method Detail

getName

public java.lang.String getName()

apply

public abstract Value apply(Value arg)

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