Uses of Class
soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis.AnalysisInfo

Packages that use NullnessAnalysis.AnalysisInfo

Package	Description
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.

Uses of NullnessAnalysis.AnalysisInfo in soot.jimple.toolkits.annotation.nullcheck

Methods in soot.jimple.toolkits.annotation.nullcheck that return NullnessAnalysis.AnalysisInfo

Modifier and Type	Method and Description
protected NullnessAnalysis.AnalysisInfo	NullnessAnalysis.newInitialFlow() Returns the flow object corresponding to the initial values for each graph node.

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type NullnessAnalysis.AnalysisInfo

Modifier and Type	Method and Description
protected void	NullnessAnalysis.copy(NullnessAnalysis.AnalysisInfo s, NullnessAnalysis.AnalysisInfo d) Creates a copy of the source flow object in dest.
protected void	NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in, Unit u, List<NullnessAnalysis.AnalysisInfo> fallOut, List<NullnessAnalysis.AnalysisInfo> branchOuts) Given the merge of the in sets, compute the fallOut and branchOuts set for s.
protected void	NullnessAnalysis.merge(NullnessAnalysis.AnalysisInfo in1, NullnessAnalysis.AnalysisInfo in2, NullnessAnalysis.AnalysisInfo out) Compute the merge of the in1 and in2 sets, putting the result into out.

Method parameters in soot.jimple.toolkits.annotation.nullcheck with type arguments of type NullnessAnalysis.AnalysisInfo

Modifier and Type	Method and Description
protected void	NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in, Unit u, List<NullnessAnalysis.AnalysisInfo> fallOut, List<NullnessAnalysis.AnalysisInfo> branchOuts) Given the merge of the in sets, compute the fallOut and branchOuts set for s.
protected void	NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in, Unit u, List<NullnessAnalysis.AnalysisInfo> fallOut, List<NullnessAnalysis.AnalysisInfo> branchOuts) Given the merge of the in sets, compute the fallOut and branchOuts set for s.

Constructors in soot.jimple.toolkits.annotation.nullcheck with parameters of type NullnessAnalysis.AnalysisInfo

Constructor and Description
AnalysisInfo(NullnessAnalysis.AnalysisInfo other)