Class AstJavaSlicer
java.lang.Object
com.ibm.wala.cast.java.ipa.slicer.AstJavaSlicer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Pair
<Collection<Statement>, SDG<? extends InstanceKey>> computeAssertionSlice
(CallGraph CG, PointerAnalysis<? extends InstanceKey> pa, Collection<CGNode> partialRoots, boolean multiThreadedCode) static Collection
<Statement> computeBackwardSlice
(SDG<?> sdg, Collection<Statement> ss) static Collection
<Statement> computeSlice
(SDG<?> sdg, Collection<Statement> ss, boolean backward) gatherAssertions
(CallGraph CG, Collection<CGNode> partialRoots) gatherMonitors
(CallGraph CG, Collection<CGNode> partialRoots) gatherReads
(CallGraph CG, Collection<CGNode> partialRoots) gatherStatements
(CallGraph CG, Collection<CGNode> partialRoots, Predicate<SSAInstruction> filter) gatherWrites
(CallGraph CG, Collection<CGNode> partialRoots)
-
Constructor Details
-
AstJavaSlicer
public AstJavaSlicer()
-
-
Method Details
-
computeBackwardSlice
public static Collection<Statement> computeBackwardSlice(SDG<?> sdg, Collection<Statement> ss) throws IllegalArgumentException, CancelException -
computeSlice
public static Collection<Statement> computeSlice(SDG<?> sdg, Collection<Statement> ss, boolean backward) throws CancelException - Parameters:
ss
- a collection of statements of interest- Throws:
CancelException
-
gatherStatements
public static Set<Statement> gatherStatements(CallGraph CG, Collection<CGNode> partialRoots, Predicate<SSAInstruction> filter) -
gatherAssertions
-
gatherMonitors
-
gatherWrites
-
gatherReads
-
computeAssertionSlice
public static Pair<Collection<Statement>,SDG<? extends InstanceKey>> computeAssertionSlice(CallGraph CG, PointerAnalysis<? extends InstanceKey> pa, Collection<CGNode> partialRoots, boolean multiThreadedCode) throws IllegalArgumentException, CancelException
-