harpoon.Tools.PatMat
Class Spec.StmVisitor
java.lang.Object
harpoon.Tools.PatMat.Spec.StmVisitor
- Enclosing class:
- Spec
public abstract static class Spec.StmVisitor
- extends Object
Visitor class for traversing a set of Spec.Stm
s
and performing some action depending on the type of
Spec.Stm
visited. Subclasses should implement a
visit
method for generic Spec.Stm
s and
also override the visit
method for subclasses of
Spec.Stm
that the subclass cares about.
- See Also:
- "Design Patterns pgs. 331-344"
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Spec.StmVisitor
public Spec.StmVisitor()
visit
public abstract void visit(Spec.Stm s)
visit
public void visit(Spec.StmAlign s)
visit
public void visit(Spec.StmCall s)
visit
public void visit(Spec.StmCjump s)
visit
public void visit(Spec.StmData s)
visit
public void visit(Spec.StmExp s)
visit
public void visit(Spec.StmJump s)
visit
public void visit(Spec.StmLabel s)
visit
public void visit(Spec.StmMethod s)
visit
public void visit(Spec.StmMove s)
visit
public void visit(Spec.StmNativeCall s)
visit
public void visit(Spec.StmReturn s)
visit
public void visit(Spec.StmSegment s)
visit
public void visit(Spec.StmSeq s)
visit
public void visit(Spec.StmThrow s)