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

java.lang.Object
  extended byjava.util.AbstractMap
      extended byjava.util.HashMap
          extended bysoot.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

Constructor Summary
NullnessAnalysis.AnalysisInfo()
           
NullnessAnalysis.AnalysisInfo(Map m)
           
 
Method Summary
 Object get(Object key)
           
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Constructor Detail

NullnessAnalysis.AnalysisInfo

public NullnessAnalysis.AnalysisInfo()

NullnessAnalysis.AnalysisInfo

public NullnessAnalysis.AnalysisInfo(Map m)
Method Detail

get

public Object get(Object key)