joeq.Compiler.Analysis.IPA
Class PAResultSelector

java.lang.Object
  extended by 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


Copyright © 2001-2008 John Whaley. All Rights Reserved.