protected void |
PurityInterproceduralAnalysis.analyseMethod(SootMethod method,
PurityGraphBox dst) |
protected void |
PurityInterproceduralAnalysis.applySummary(PurityGraphBox src,
Stmt stmt,
PurityGraphBox summary,
PurityGraphBox dst) |
protected void |
PurityIntraproceduralAnalysis.copy(PurityGraphBox source,
PurityGraphBox dest) |
protected void |
PurityInterproceduralAnalysis.copy(PurityGraphBox source,
PurityGraphBox dest) |
void |
PurityIntraproceduralAnalysis.copyResult(PurityGraphBox dst)
Put into dst the purity graph obtained by merging all purity graphs at the method return.
|
protected void |
PurityInterproceduralAnalysis.fillDotGraph(String prefix,
PurityGraphBox o,
DotGraph out) |
protected void |
PurityIntraproceduralAnalysis.flowThrough(PurityGraphBox inValue,
Unit unit,
PurityGraphBox outValue) |
protected void |
PurityIntraproceduralAnalysis.merge(PurityGraphBox in1,
PurityGraphBox in2,
PurityGraphBox out) |
protected void |
PurityInterproceduralAnalysis.merge(PurityGraphBox in1,
PurityGraphBox in2,
PurityGraphBox out) |