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

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

All Implemented Interfaces:

java.lang.Comparable<Value>

public class Pre
extends Value

Prefix-dependent choice.

Constructor Summary

Pre(PrefixMap<Value> m)

Pre(Value def, java.util.List<Pair<Value,java.util.List<java.lang.String>>> vs)

Method Summary

<R,A> R	accept(ValueVisitor<R,A> v, A arg)
boolean	equals(java.lang.Object o)
boolean	equals(Pre p)
PrefixMap<Value>	getMap() Do not modify the returned map.
Value	getValue(java.lang.String next)
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

Pre

public Pre(Value def,
           java.util.List<Pair<Value,java.util.List<java.lang.String>>> vs)

Pre

public Pre(PrefixMap<Value> m)

Method Detail

getMap

public PrefixMap<Value> getMap()

Do not modify the returned map.

getValue

public Value getValue(java.lang.String next)

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(Pre p)

accept

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

Specified by:

accept in class Value