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>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
AnalysisInfo()
AnalysisInfo(Map m)

Method Summary

Modifier and Type	Method and Description
Object	get(Object key)

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, 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

AnalysisInfo

public AnalysisInfo()

AnalysisInfo

public AnalysisInfo(Map m)

Method Detail

get

public Object get(Object key)

Specified by:

get in interface Map

Overrides:

get in class HashMap