soot.jimple.toolkits.annotation.nullcheck

Class NullnessAssumptionAnalysis.AnalysisInfo

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<Value,Object>

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

All Implemented Interfaces:

Serializable, Cloneable, Map<Value,Object>

Enclosing class:

NullnessAssumptionAnalysis

protected static class NullnessAssumptionAnalysis.AnalysisInfo
extends HashMap<Value,Object>

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<Value,Object> 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<Value,Object> m)

Method Detail

get

public Object get(Object key)

Specified by:

get in interface Map<Value,Object>

Overrides:

get in class HashMap<Value,Object>