harpoon.Analysis.DataFlow
Class BackwardDataFlowQuadVisitor

java.lang.Object
  harpoon.IR.Quads.QuadVisitor
      harpoon.Analysis.DataFlow.DataFlowQuadVisitor
          harpoon.Analysis.DataFlow.BackwardDataFlowQuadVisitor

public abstract class BackwardDataFlowQuadVisitor
extends DataFlowQuadVisitor

BackwardDataFlowQuadVisitor

Version:

$Id: BackwardDataFlowQuadVisitor.java,v 1.2 2002/02/25 20:56:36 cananian Exp $

Author:

John Whaley <jwhaley@alum.mit.edu>

Field Summary

Fields inherited from class harpoon.Analysis.DataFlow.DataFlowQuadVisitor

DEBUG

Constructor Summary

BackwardDataFlowQuadVisitor()

Method Summary

void	addSuccessors(Worklist W, Quad q) Add the successors of the quad q to the worklist W, performing merge operations if necessary.

Methods inherited from class harpoon.Analysis.DataFlow.DataFlowQuadVisitor

db, merge

Methods inherited from class harpoon.IR.Quads.QuadVisitor

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

BackwardDataFlowQuadVisitor

public BackwardDataFlowQuadVisitor()

Method Detail

addSuccessors

public void addSuccessors(Worklist W,
                          Quad q)

Description copied from class: DataFlowQuadVisitor

Add the successors of the quad q to the worklist W, performing merge operations if necessary.

Specified by:

addSuccessors in class DataFlowQuadVisitor