soot.jimple.toolkits.annotation.nullcheck
Class NullnessAnalysis.AnalysisInfo
java.lang.Object
java.util.AbstractMap
java.util.HashMap
soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis.AnalysisInfo
- All Implemented Interfaces:
- Cloneable, Map, Serializable
- Enclosing class:
- NullnessAnalysis
- protected static class NullnessAnalysis.AnalysisInfo
- extends HashMap
The analysis info is a simple mapping of type Value
to
any of the constants BOTTOM, NON_NULL, NULL or TOP.
This class returns BOTTOM by default.
- Author:
- Eric Bodden
- See Also:
- Serialized Form
Methods inherited from class java.util.HashMap |
clear, clone, containsKey, containsValue, entrySet, isEmpty, keySet, put, putAll, remove, size, values |
NullnessAnalysis.AnalysisInfo
public NullnessAnalysis.AnalysisInfo()
NullnessAnalysis.AnalysisInfo
public NullnessAnalysis.AnalysisInfo(Map m)
get
public Object get(Object key)