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

java.lang.Object
  java.util.AbstractMap<K,V>
      java.util.HashMap
          soot.jimple.toolkits.annotation.nullcheck.NullnessAssumptionAnalysis.AnalysisInfo

All Implemented Interfaces:

Serializable, Cloneable, Map

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

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

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)

Specified by:

get in interface Map

Overrides:

get in class HashMap