harpoon.IR.Tree
Class TreeVerifyingVisitor

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

Direct Known Subclasses:

TreeVerifyingVisitor.NoRepeats

public abstract class TreeVerifyingVisitor
extends TreeVisitor

TreeVerifyingVisitor is a generic Tree Visitor for verifying particular properties about the Tree Intermediate Representation for a given Tree. Note that in general TreeVerifyingVisitors are not meant to be used in algorithm implementations or even in general assertions, but rather to debug particular errors in Tree construction. In general, a Verifier for a given invariant will be written to analyze a given Tree form and assert false when it finds a violation of the invariant.

Version:

$Id: TreeVerifyingVisitor.java,v 1.4 2002/04/10 03:05:46 cananian Exp $

Author:

Felix S. Klock II <pnkfelix@mit.edu>

Nested Class Summary

static class

TreeVerifyingVisitor.NoRepeats

Field Summary

static boolean

DEBUG

Constructor Summary

TreeVerifyingVisitor()
Creates a TreeVerifyingVisitor.

Method Summary

static 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, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static final boolean DEBUG

See Also:

Constant Field Values

Constructor Detail

TreeVerifyingVisitor

public TreeVerifyingVisitor()

Creates a TreeVerifyingVisitor.

Method Detail

norepeats

public static TreeVerifyingVisitor norepeats()