harpoon.Analysis.DataFlow
Class ForwardDataFlowQuadVisitor

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

public abstract class ForwardDataFlowQuadVisitor
extends DataFlowQuadVisitor

ForwardDataFlowQuadVisitor

Version:

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

Author:

John Whaley <jwhaley@alum.mit.edu>

Field Summary

Fields inherited from class harpoon.Analysis.DataFlow.DataFlowQuadVisitor

DEBUG

Constructor Summary

ForwardDataFlowQuadVisitor()

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

ForwardDataFlowQuadVisitor

public ForwardDataFlowQuadVisitor()

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