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

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

All Implemented Interfaces:

java.lang.Comparable<Value>

public class Meta
extends Value

The value resulting from linearizing a metavariable.

Constructor Summary

Meta()

Method Summary

<R,A> R	accept(ValueVisitor<R,A> v, A arg)
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Meta

public Meta()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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

accept

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

Specified by:

accept in class Value