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

java.lang.Object
  extended byjava.util.AbstractMap
      extended byjava.util.HashMap
          extended bysoot.jimple.toolkits.annotation.nullcheck.NullnessAssumptionAnalysis.AnalysisInfo
All Implemented Interfaces:
Cloneable, Map, Serializable
Enclosing class:
NullnessAssumptionAnalysis

protected static class NullnessAssumptionAnalysis.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
NullnessAssumptionAnalysis.AnalysisInfo()
           
NullnessAssumptionAnalysis.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

NullnessAssumptionAnalysis.AnalysisInfo

public NullnessAssumptionAnalysis.AnalysisInfo()

NullnessAssumptionAnalysis.AnalysisInfo

public NullnessAssumptionAnalysis.AnalysisInfo(Map m)
Method Detail

get

public Object get(Object key)