se.chalmers.cs.gf.linearize.gfvalue
Class Param
java.lang.Object
se.chalmers.cs.gf.linearize.gfvalue.Value
se.chalmers.cs.gf.linearize.gfvalue.Param
- All Implemented Interfaces:
- java.lang.Comparable<Value>
public class Param
- extends Value
A parameter.
Constructor Summary |
Param(java.lang.String str,
Value[] args)
|
Methods inherited from class se.chalmers.cs.gf.linearize.gfvalue.Value |
compareTo |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Param
public Param(java.lang.String str,
Value[] args)
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
equals
public boolean equals(Param p)
match
public boolean match(Value p)
- Description copied from class:
Value
- Check if this value matches the given pattern.
The default implementation compares the toString() value.
- Overrides:
match
in class Value
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
accept
public <R,A> R accept(ValueVisitor<R,A> v,
A arg)
- Specified by:
accept
in class Value