soot.jimple.toolkits.annotation.nullcheck

Class NullnessAnalysis.AnalysisInfo

java.lang.Object

java.util.BitSet

soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis.AnalysisInfo

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Enclosing class:

NullnessAnalysis

protected class NullnessAnalysis.AnalysisInfo
extends java.util.BitSet

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:

Julian Tibble

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AnalysisInfo()
AnalysisInfo(NullnessAnalysis.AnalysisInfo other)

Method Summary

Modifier and Type	Method and Description
int	get(Value key)
void	put(Value key, int val)

Methods inherited from class java.util.BitSet

and, andNot, cardinality, clear, clear, clear, clone, equals, flip, flip, get, get, hashCode, intersects, isEmpty, length, nextClearBit, nextSetBit, or, previousClearBit, previousSetBit, set, set, set, set, size, stream, toByteArray, toLongArray, toString, valueOf, valueOf, valueOf, valueOf, xor

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AnalysisInfo

public AnalysisInfo()

AnalysisInfo

public AnalysisInfo(NullnessAnalysis.AnalysisInfo other)

Method Detail

get

public int get(Value key)

put

public void put(Value key,
                int val)