harpoon.Tools.PatMat
Class Spec.RuleVisitor

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

Enclosing class:

Spec

public abstract static class Spec.RuleVisitor
extends Object

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

See Also:

"Design Patterns pgs. 331-344"

Constructor Summary

Spec.RuleVisitor()

Method Summary

abstract void	visit(Spec.Rule r)
void	visit(Spec.RuleExp r)
void	visit(Spec.RuleList l) Visits elements of l.
void	visit(Spec.RuleStm r)

Methods inherited from class java.lang.Object

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

Constructor Detail

Spec.RuleVisitor

public Spec.RuleVisitor()

Method Detail

visit

public abstract void visit(Spec.Rule r)

visit

public void visit(Spec.RuleExp r)

visit

public void visit(Spec.RuleStm r)

visit

public void visit(Spec.RuleList l)

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