harpoon.Tools.PatMat
Class Spec.DetailVisitor

java.lang.Object
  harpoon.Tools.PatMat.Spec.DetailVisitor

Enclosing class:

Spec

public abstract static class Spec.DetailVisitor
extends Object

Visitor class for traversing a set of Spec.Details and performing some action depending on the type of Spec.Detail visited. Subclasses should implement a visit method for generic Details and also override the visit method for subclasses of Detail that the subclass cares about.

See Also:

"Design Patterns pgs. 331-344"

Constructor Summary

Spec.DetailVisitor()

Method Summary

abstract void	visit(Spec.Detail d)
void	visit(Spec.DetailExtra d)
void	visit(Spec.DetailList l) Visits elements of l.
void	visit(Spec.DetailPredicate d)
void	visit(Spec.DetailWeight d)

Methods inherited from class java.lang.Object

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

Constructor Detail

Spec.DetailVisitor

public Spec.DetailVisitor()

Method Detail

visit

public abstract void visit(Spec.Detail d)

visit

public void visit(Spec.DetailExtra d)

visit

public void visit(Spec.DetailPredicate d)

visit

public void visit(Spec.DetailWeight d)

visit

public void visit(Spec.DetailList l)

Visits elements of l. If (l!=null) visits l.head then l.tail. Else does nothing.