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.Stms
and performing some action depending on the type of
Spec.Stm visited. Subclasses should implement a
visit method for generic Spec.Stms 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)