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

Packages that use NullnessAssumptionAnalysis.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 NullnessAssumptionAnalysis.AnalysisInfo in soot.jimple.toolkits.annotation.nullcheck

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

Modifier and Type	Method and Description
protected NullnessAssumptionAnalysis.AnalysisInfo	NullnessAssumptionAnalysis.entryInitialFlow() Returns the initial flow value for entry/exit graph nodes.
protected NullnessAssumptionAnalysis.AnalysisInfo	NullnessAssumptionAnalysis.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 NullnessAssumptionAnalysis.AnalysisInfo

Modifier and Type	Method and Description
protected void	NullnessAssumptionAnalysis.copy(NullnessAssumptionAnalysis.AnalysisInfo source, NullnessAssumptionAnalysis.AnalysisInfo dest) Creates a copy of the source flow object in dest.
protected void	NullnessAssumptionAnalysis.flowThrough(NullnessAssumptionAnalysis.AnalysisInfo in, Unit unit, NullnessAssumptionAnalysis.AnalysisInfo outValue) Given the merge of the out sets, compute the in set for s (or in to out, depending on direction).
protected void	NullnessAssumptionAnalysis.merge(NullnessAssumptionAnalysis.AnalysisInfo in1, NullnessAssumptionAnalysis.AnalysisInfo in2, NullnessAssumptionAnalysis.AnalysisInfo out) Compute the merge of the in1 and in2 sets, putting the result into out.