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

java.lang.Object
  java.util.BitSet
      soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis.AnalysisInfo

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

NullnessAnalysis

protected class NullnessAnalysis.AnalysisInfo
extends 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

NullnessAnalysis.AnalysisInfo()

NullnessAnalysis.AnalysisInfo(NullnessAnalysis.AnalysisInfo other)

Method Summary

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, set, set, set, set, size, toString, xor

Methods inherited from class java.lang.Object

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

Constructor Detail

NullnessAnalysis.AnalysisInfo

public NullnessAnalysis.AnalysisInfo()

NullnessAnalysis.AnalysisInfo

public NullnessAnalysis.AnalysisInfo(NullnessAnalysis.AnalysisInfo other)

Method Detail

get

public int get(Value key)

put

public void put(Value key,
                int val)