joeq.Compiler.Analysis.BDD
Class BuildBDDIR

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

All Implemented Interfaces:

ControlFlowGraphVisitor

public class BuildBDDIR
extends java.lang.Object
implements ControlFlowGraphVisitor

BuildBDDIR

Version:

$Id: BuildBDDIR.java,v 1.59 2005/03/14 05:59:28 joewhaley Exp $

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, java.lang.Object dummy)

Method Summary

void	addQuadLoc(jq_Method m, Quad q)
void	dump()
void	dumpFieldDomains(java.io.BufferedWriter dos)
void	dumpFieldDomains(java.lang.String fileName)
static void	dumpTuples(net.sf.javabdd.BDDFactory bdd, java.lang.String fileName, net.sf.javabdd.BDD relation)
int	getConstantID(java.lang.Object c)
net.sf.javabdd.BDDDomain	getDestDomain()
java.lang.String	getDomainName(net.sf.javabdd.BDDDomain d)
net.sf.javabdd.BDDDomain	getMemberDomain()
int	getMemberID(java.lang.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)
java.lang.String	getVarOrderDesc()
int	memberIdFromField(jq_Field f)
int	quadIdFromAllocBCLocation(ProgramLocation.BCProgramLocation bc)
int	quadIdFromInvokeBCLocation(ProgramLocation.BCProgramLocation bc)
java.lang.String	toString()
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

equals, 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,
                  java.lang.Object dummy)

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getMethodID

public int getMethodID(jq_Method m)

getRegisterID

public int getRegisterID(RegisterFactory.Register r)

getConstantID

public int getConstantID(java.lang.Object c)

getQuadID

public int getQuadID(Quad r)

addQuadLoc

public void addQuadLoc(jq_Method m,
                       Quad q)

getMemberID

public int getMemberID(java.lang.Object r)

getOpID

public int getOpID(Operator r)

dump

public void dump()
          throws java.io.IOException

Throws:

java.io.IOException

dumpFieldDomains

public void dumpFieldDomains(java.io.BufferedWriter dos)
                      throws java.io.IOException

Throws:

java.io.IOException

dumpFieldDomains

public void dumpFieldDomains(java.lang.String fileName)
                      throws java.io.IOException

Throws:

java.io.IOException

dumpTuples

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

Throws:

java.io.IOException

getVarOrderDesc

public java.lang.String getVarOrderDesc()

getDestDomain

public net.sf.javabdd.BDDDomain getDestDomain()

getQuadDomain

public net.sf.javabdd.BDDDomain getQuadDomain()

getDomainName

public java.lang.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()