net.sf.bddbddb.dataflow
Class DefUse

java.lang.Object
  net.sf.bddbddb.dataflow.Problem
      net.sf.bddbddb.dataflow.OperationProblem
          net.sf.bddbddb.dataflow.DefUse

public class DefUse
extends OperationProblem

DefUse

Version:

$Id: DefUse.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

jwhaley

Nested Class Summary

class	DefUse.DefUseFact
class	DefUse.DefUseTransferFunction
class	DefUse.OperationIterator
class	DefUse.OperationSet

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.OperationProblem

OperationProblem.OperationFact, OperationProblem.OperationTransferFunction

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.Problem

Problem.Fact, Problem.TransferFunction

Constructor Summary

DefUse(IR ir)

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
DefUse.OperationSet	getDefs(Relation r)
DefUse.DefUseFact	getIn(Operation op)
Problem.TransferFunction	getTransferFunction(Operation op)
DefUse.OperationSet	getUses(Relation r)
void	setIn(Operation op, Problem.Fact fact)

Methods inherited from class net.sf.bddbddb.dataflow.OperationProblem

getFact, initialize, setFact

Methods inherited from class net.sf.bddbddb.dataflow.Problem

compare

Methods inherited from class java.lang.Object

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

Constructor Detail

DefUse

public DefUse(IR ir)

Method Detail

setIn

public void setIn(Operation op,
                  Problem.Fact fact)

getIn

public DefUse.DefUseFact getIn(Operation op)

getDefs

public DefUse.OperationSet getDefs(Relation r)

getUses

public DefUse.OperationSet getUses(Relation r)

direction

public boolean direction()

Specified by:

direction in class OperationProblem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation op)

Specified by:

getTransferFunction in class Problem

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem