harpoon.Tools.PatMat
Class Spec.ExpVisitor

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

Enclosing class:

Spec

public abstract static class Spec.ExpVisitor
extends Object

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

See Also:

"Design Patterns pgs. 331-344"

Constructor Summary

Spec.ExpVisitor()

Method Summary

abstract void	visit(Spec.Exp e)
void	visit(Spec.ExpBinop e)
void	visit(Spec.ExpConst e)
void	visit(Spec.ExpId e)
void	visit(Spec.ExpMem e)
void	visit(Spec.ExpName e)
void	visit(Spec.ExpTemp e)
void	visit(Spec.ExpUnop e)

Methods inherited from class java.lang.Object

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

Constructor Detail

Spec.ExpVisitor

public Spec.ExpVisitor()

Method Detail

visit

public abstract void visit(Spec.Exp e)

visit

public void visit(Spec.ExpBinop e)

visit

public void visit(Spec.ExpConst e)

visit

public void visit(Spec.ExpId e)

visit

public void visit(Spec.ExpMem e)

visit

public void visit(Spec.ExpName e)

visit

public void visit(Spec.ExpTemp e)

visit

public void visit(Spec.ExpUnop e)