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

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

Enclosing class:

Value

public static class Value.VCons
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.VCons(java.lang.String cons)

Value.VCons(java.lang.String cons, java.util.List<Value> args)

Method Summary

<R,A> R	accept(Value.Visitor<R,A> v, A arg)
Value	getArg(int i)
java.lang.String	getCons()
int	numArgs()
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.VCons

public Value.VCons(java.lang.String cons)

Value.VCons

public Value.VCons(java.lang.String cons,
                   java.util.List<Value> args)

Method Detail

getCons

public java.lang.String getCons()

numArgs

public int numArgs()

getArg

public Value getArg(int i)

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