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:

java.io.Serializable, java.lang.Cloneable, java.util.Map

Enclosing class:

NullnessAssumptionAnalysis

protected static class NullnessAssumptionAnalysis.AnalysisInfo
extends java.util.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

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

Constructor Summary

Constructors

Constructor and Description
NullnessAssumptionAnalysis.AnalysisInfo()
NullnessAssumptionAnalysis.AnalysisInfo(java.util.Map m)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	get(java.lang.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(java.util.Map m)

Method Detail

get

public java.lang.Object get(java.lang.Object key)

Specified by:

get in interface java.util.Map

Overrides:

get in class java.util.HashMap