harpoon.Tools.PatMat
Class Spec.LeafId

java.lang.Object
  harpoon.Tools.PatMat.Spec.Leaf
      harpoon.Tools.PatMat.Spec.LeafId

Enclosing class:

Spec

public static class Spec.LeafId
extends Spec.Leaf

Extension of Spec.Leaf which represents an Identifier.

Field Summary

String

id Identifier string.

Constructor Summary

Spec.LeafId(String id)
Constructs a new Spec.LeafId.

Method Summary

void	accept(Spec.LeafVisitor v) Applies v's visit method to this.
String	toString()

Methods inherited from class harpoon.Tools.PatMat.Spec.Leaf

toBop, toUop

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

id

public final String id

Identifier string.

Constructor Detail

Spec.LeafId

public Spec.LeafId(String id)

Constructs a new Spec.LeafId.

Parameters:

id - Identifier string.

Method Detail

accept

public void accept(Spec.LeafVisitor v)

Applies v's visit method to this. This is effectively a gludge to emulate multiple dispatch. Must be reimplemented by all subclasses of Spec.Leaf.
effects: Calls v.visit(this).

Specified by:

accept in class Spec.Leaf

See Also:

"Design Patterns pgs. 331-344"

toString

public String toString()

Overrides:

toString in class Object