joeq.Compiler.Analysis.BDD
Class BuildBDDIR

java.lang.Object
  joeq.Compiler.Analysis.BDD.BuildBDDIR

All Implemented Interfaces:

ControlFlowGraphVisitor

public class BuildBDDIR
extends Object
implements ControlFlowGraphVisitor

BuildBDDIR

Version:

$Id: BuildBDDIR.java 2475 2006-12-24 09:44:50Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Compiler.Quad.ControlFlowGraphVisitor

ControlFlowGraphVisitor.CodeCacheVisitor

Constructor Summary

BuildBDDIR()

BuildBDDIR(net.sf.javabdd.BDDFactory bddFactory, net.sf.javabdd.BDDDomain methodDomain, jwutil.collections.IndexMap _methodMap, Object dummy)

Method Summary

void	addQuadLoc(jq_Method m, Quad q)
void	dump()
void	dumpFieldDomains(BufferedWriter dos)
void	dumpFieldDomains(String fileName)
static void	dumpTuples(net.sf.javabdd.BDDFactory bdd, String fileName, net.sf.javabdd.BDD relation)
int	getConstantID(Object c)
net.sf.javabdd.BDDDomain	getDestDomain()
String	getDomainName(net.sf.javabdd.BDDDomain d)
net.sf.javabdd.BDDDomain	getMemberDomain()
int	getMemberID(Object r)
int	getMethodID(jq_Method m)
int	getOpID(Operator r)
net.sf.javabdd.BDDDomain	getQuadDomain()
int	getQuadID(Quad r)
int	getRegisterID(RegisterFactory.Register r)
String	getVarOrderDesc()
protected void	initialize()
int	memberIdFromField(jq_Field f)
int	quadIdFromAllocBCLocation(ProgramLocation.BCProgramLocation bc)
int	quadIdFromInvokeBCLocation(ProgramLocation.BCProgramLocation bc)
String	toString()
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Constructor Detail

BuildBDDIR

public BuildBDDIR()

BuildBDDIR

public BuildBDDIR(net.sf.javabdd.BDDFactory bddFactory,
                  net.sf.javabdd.BDDDomain methodDomain,
                  jwutil.collections.IndexMap _methodMap,
                  Object dummy)

Method Detail

initialize

protected void initialize()

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

toString

public String toString()

Overrides:

toString in class Object

getMethodID

public int getMethodID(jq_Method m)

getRegisterID

public int getRegisterID(RegisterFactory.Register r)

getConstantID

public int getConstantID(Object c)

getQuadID

public int getQuadID(Quad r)

addQuadLoc

public void addQuadLoc(jq_Method m,
                       Quad q)

getMemberID

public int getMemberID(Object r)

getOpID

public int getOpID(Operator r)

dump

public void dump()
          throws IOException

Throws:

IOException

dumpFieldDomains

public void dumpFieldDomains(BufferedWriter dos)
                      throws IOException

Throws:

IOException

dumpFieldDomains

public void dumpFieldDomains(String fileName)
                      throws IOException

Throws:

IOException

dumpTuples

public static void dumpTuples(net.sf.javabdd.BDDFactory bdd,
                              String fileName,
                              net.sf.javabdd.BDD relation)
                       throws IOException

Throws:

IOException

getVarOrderDesc

public String getVarOrderDesc()

getDestDomain

public net.sf.javabdd.BDDDomain getDestDomain()

getQuadDomain

public net.sf.javabdd.BDDDomain getQuadDomain()

getDomainName

public String getDomainName(net.sf.javabdd.BDDDomain d)

quadIdFromInvokeBCLocation

public int quadIdFromInvokeBCLocation(ProgramLocation.BCProgramLocation bc)

quadIdFromAllocBCLocation

public int quadIdFromAllocBCLocation(ProgramLocation.BCProgramLocation bc)

memberIdFromField

public int memberIdFromField(jq_Field f)

getMemberDomain

public net.sf.javabdd.BDDDomain getMemberDomain()