se.chalmers.cs.gf.linearize.gfvalue
Class Table

java.lang.Object
  se.chalmers.cs.gf.linearize.gfvalue.Value
      se.chalmers.cs.gf.linearize.gfvalue.Table

All Implemented Interfaces:

java.lang.Comparable<Value>

public class Table
extends Value

A table.

Constructor Summary

Table(java.util.List<Pair<Value,Value>> cases)

Method Summary

<R,A> R	accept(ValueVisitor<R,A> v, A arg)
boolean	equals(java.lang.Object o)
boolean	equals(Table t)
Value	firstValue()
java.util.List<Pair<Value,Value>>	getCases() Do not modify the returned list.
Value	select(Value value)
java.lang.String	toString()

Methods inherited from class se.chalmers.cs.gf.linearize.gfvalue.Value

compareTo, match

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Table

public Table(java.util.List<Pair<Value,Value>> cases)

Method Detail

getCases

public java.util.List<Pair<Value,Value>> getCases()

Do not modify the returned list.

firstValue

public Value firstValue()

select

public Value select(Value value)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(Table t)

accept

public <R,A> R accept(ValueVisitor<R,A> v,
                      A arg)

Specified by:

accept in class Value