edu.umd.cs.findbugs.ba.npe
public class ParameterNullnessProperty extends Object
Field Summary | |
---|---|
static int | MAX_PARAMS
Maximum number of parameters that can be represented by a ParameterNullnessProperty. |
Constructor Summary | |
---|---|
ParameterNullnessProperty()
Constructor.
|
Method Summary | |
---|---|
void | copyFrom(ParameterNullnessProperty other)
Make this object the same as the given one.
|
BitSet | getAsBitSet() |
BitSet | getViolatedParamSet(BitSet nullArgSet)
Given a bitset of null arguments passed to the method represented
by this property, return a bitset indicating which null arguments
correspond to an non-null param.
|
void | intersectWith(ParameterNullnessProperty targetDerefParamSet)
Intersect this set with the given set.
|
boolean | isEmpty()
Return whether or not the set of non-null parameters
is empty.
|
boolean | isNonNull(int param)
Return whether or not a parameter might be non-null.
|
void | setNonNull(int param, boolean nonNull)
Set whether or not a parameter might be non-null.
|
void | setNonNullParamSet(BitSet nonNullSet)
Set the non-null param set from given BitSet.
|
Parameters: other another ParameterNullnessProperty
Parameters: nullArgSet bitset of null arguments
Returns: bitset intersecting null arguments and non-null params
Parameters: targetDerefParamSet another set
Returns: true if the set is empty, false if it contains at least one parameter
Parameters: param the parameter index
Returns: true if the parameter might be non-null, false otherwise
Parameters: param the parameter index nonNull true if the parameter might be non-null, false otherwise
Parameters: nonNullSet BitSet indicating which parameters are non-null