|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object se.chalmers.cs.gf.linearize.gfvalue.Value
public abstract class Value
Base class for GF values.
Constructor Summary | |
---|---|
Value()
|
Method Summary | ||
---|---|---|
abstract
|
accept(ValueVisitor<R,A> v,
A arg)
|
|
int |
compareTo(Value v)
Default implementation compares the toString() values. |
|
boolean |
match(Value p)
Check if this value matches the given pattern. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Value()
Method Detail |
---|
public int compareTo(Value v)
compareTo
in interface java.lang.Comparable<Value>
public boolean match(Value p)
public abstract <R,A> R accept(ValueVisitor<R,A> v, A arg)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |