joeq.Compiler.Analysis.IPA
Class PAResultSelector

java.lang.Object
  joeq.Compiler.Analysis.IPA.PAResultSelector

public class PAResultSelector
extends Object

A helper class for PAResults.

See Also:

PAResults

Constructor Summary

PAResultSelector(PAResults results)

Method Summary

net.sf.javabdd.BDD	addAllContextToVar(net.sf.javabdd.BDD bdd)
protected void	collectReachabilityTraces(joeq.Compiler.Analysis.IPA.PAResultSelector.PAReachabilityTrace trace, MethodSummary.Node last, MethodSummary.Node stop, Collection results)
void	collectReachabilityTraces(net.sf.javabdd.TypedBDDFactory.TypedBDD start, net.sf.javabdd.TypedBDDFactory.TypedBDD stop)
void	collectReachabilityTraces2(net.sf.javabdd.BDD bdd)
Set	getFieldPointeeTypes(jq_Field f)
net.sf.javabdd.TypedBDDFactory.TypedBDD	getFormalParamBDD(jq_Method method, int index)
MethodSummary.Node	getNode(net.sf.javabdd.TypedBDDFactory.TypedBDD var)
net.sf.javabdd.TypedBDDFactory.TypedBDD	getReturnBDD(jq_Method method)
protected Collection	getUses(MethodSummary.Node node)
protected Collection	getUses(net.sf.javabdd.TypedBDDFactory.TypedBDD bdd)

Methods inherited from class java.lang.Object

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

Constructor Detail

PAResultSelector

public PAResultSelector(PAResults results)

Method Detail

getReturnBDD

public net.sf.javabdd.TypedBDDFactory.TypedBDD getReturnBDD(jq_Method method)

getFormalParamBDD

public net.sf.javabdd.TypedBDDFactory.TypedBDD getFormalParamBDD(jq_Method method,
                                                                 int index)

addAllContextToVar

public net.sf.javabdd.BDD addAllContextToVar(net.sf.javabdd.BDD bdd)

getUses

protected Collection getUses(net.sf.javabdd.TypedBDDFactory.TypedBDD bdd)

getUses

protected Collection getUses(MethodSummary.Node node)

getNode

public MethodSummary.Node getNode(net.sf.javabdd.TypedBDDFactory.TypedBDD var)

collectReachabilityTraces

public void collectReachabilityTraces(net.sf.javabdd.TypedBDDFactory.TypedBDD start,
                                      net.sf.javabdd.TypedBDDFactory.TypedBDD stop)

collectReachabilityTraces

protected void collectReachabilityTraces(joeq.Compiler.Analysis.IPA.PAResultSelector.PAReachabilityTrace trace,
                                         MethodSummary.Node last,
                                         MethodSummary.Node stop,
                                         Collection results)

collectReachabilityTraces2

public void collectReachabilityTraces2(net.sf.javabdd.BDD bdd)

getFieldPointeeTypes

public Set getFieldPointeeTypes(jq_Field f)

Parameters:

f - pointed to

Returns:

Set of types of objects f could point to