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)

Method Summary

<R,A> R	accept(ValueVisitor<R,A> v, A arg)
boolean	equals(java.lang.Object o)
boolean	equals(Param p)
int	hashCode()
boolean	match(Value p) Check if this value matches the given pattern.
java.lang.String	toString()

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

Constructor Detail

Param

public Param(java.lang.String str,
             Value[] args)

Method Detail

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