Uses of Class
soot.jimple.toolkits.annotation.purity.PurityGraphBox
-
Packages that use PurityGraphBox Package Description soot.jimple.toolkits.annotation.purity -
-
Uses of PurityGraphBox in soot.jimple.toolkits.annotation.purity
Methods in soot.jimple.toolkits.annotation.purity that return PurityGraphBox Modifier and Type Method Description protected PurityGraphBoxPurityIntraproceduralAnalysis. entryInitialFlow()protected PurityGraphBoxPurityIntraproceduralAnalysis. newInitialFlow()protected PurityGraphBoxPurityInterproceduralAnalysis. newInitialSummary()protected PurityGraphBoxPurityInterproceduralAnalysis. summaryOfUnanalysedMethod(SootMethod method)Methods in soot.jimple.toolkits.annotation.purity with parameters of type PurityGraphBox Modifier and Type Method Description protected voidPurityInterproceduralAnalysis. analyseMethod(SootMethod method, PurityGraphBox dst)protected voidPurityInterproceduralAnalysis. applySummary(PurityGraphBox src, Stmt stmt, PurityGraphBox summary, PurityGraphBox dst)protected voidPurityInterproceduralAnalysis. copy(PurityGraphBox source, PurityGraphBox dest)protected voidPurityIntraproceduralAnalysis. copy(PurityGraphBox source, PurityGraphBox dest)voidPurityIntraproceduralAnalysis. copyResult(PurityGraphBox dst)Put into dst the purity graph obtained by merging all purity graphs at the method return.protected voidPurityInterproceduralAnalysis. fillDotGraph(String prefix, PurityGraphBox o, DotGraph out)protected voidPurityIntraproceduralAnalysis. flowThrough(PurityGraphBox inValue, Unit unit, PurityGraphBox outValue)protected voidPurityInterproceduralAnalysis. merge(PurityGraphBox in1, PurityGraphBox in2, PurityGraphBox out)protected voidPurityIntraproceduralAnalysis. merge(PurityGraphBox in1, PurityGraphBox in2, PurityGraphBox out)
-