harpoon.Tools.PatMat
Class Spec.LeafNull

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

Enclosing class:

Spec

public static class Spec.LeafNull
extends Spec.Leaf

Extension of Spec.Leaf representing a null constant.

Constructor Summary

Spec.LeafNull()
Constructs a new Spec.LeafNull.

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

Constructor Detail

Spec.LeafNull

public Spec.LeafNull()

Constructs a new Spec.LeafNull.

Method Detail

toString

public String toString()

Overrides:

toString in class Object

accept

public void accept(Spec.LeafVisitor v)

Description copied from class: Spec.Leaf

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"