harpoon.Analysis.DataFlow
Class DataFlowQuadVisitor

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

Direct Known Subclasses:

BackwardDataFlowQuadVisitor, ForwardDataFlowQuadVisitor

public abstract class DataFlowQuadVisitor
extends QuadVisitor

DataFlowQuadVisitor

Version:

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

Author:

John Whaley <jwhaley@alum.mit.edu>

Field Summary

static boolean

DEBUG

Constructor Summary

DataFlowQuadVisitor()

Method Summary

abstract void	addSuccessors(Worklist W, Quad q) Add the successors of the quad q to the worklist W, performing merge operations if necessary.
static void	db(String s)
abstract boolean	merge(Quad from, Quad to) Merge operation on the from and to quad.

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

Field Detail

DEBUG

public static boolean DEBUG

Constructor Detail

DataFlowQuadVisitor

public DataFlowQuadVisitor()

Method Detail

db

public static void db(String s)

addSuccessors

public abstract void addSuccessors(Worklist W,
                                   Quad q)

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

merge

public abstract boolean merge(Quad from,
                              Quad to)

Merge operation on the from and to quad. Returns true if the to quad changes.