harpoon.IR.Tree
Class TreeVerifyingVisitor.NoRepeats

java.lang.Object
  harpoon.IR.Tree.TreeVisitor
      harpoon.IR.Tree.TreeVerifyingVisitor
          harpoon.IR.Tree.TreeVerifyingVisitor.NoRepeats

Enclosing class:

TreeVerifyingVisitor

public static class TreeVerifyingVisitor.NoRepeats
extends TreeVerifyingVisitor

Nested Class Summary

Nested classes/interfaces inherited from class harpoon.IR.Tree.TreeVerifyingVisitor

TreeVerifyingVisitor.NoRepeats

Field Summary

Fields inherited from class harpoon.IR.Tree.TreeVerifyingVisitor

DEBUG

Constructor Summary

TreeVerifyingVisitor.NoRepeats()

Method Summary

void	visit(ESEQ s)
void	visit(SEQ s)
void	visit(Tree e)

Methods inherited from class harpoon.IR.Tree.TreeVerifyingVisitor

norepeats

Methods inherited from class harpoon.IR.Tree.TreeVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeVerifyingVisitor.NoRepeats

public TreeVerifyingVisitor.NoRepeats()

Method Detail

visit

public void visit(Tree e)

Specified by:

visit in class TreeVisitor

visit

public void visit(SEQ s)

Overrides:

visit in class TreeVisitor

visit

public void visit(ESEQ s)

Overrides:

visit in class TreeVisitor