Method property recording which parameters are (or should be)
non-null, meaning that null values should not be passed
as their arguments.
author: David Hovemeyer
Field Summary
final public static int
MAX_PARAMS Maximum number of parameters that can be represented by a ParameterNullnessProperty.
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.
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.
Parameters: nullArgSet - bitset of null arguments bitset intersecting null arguments and non-null params
Return whether or not a parameter might be non-null.
Parameters: param - the parameter index true if the parameter might be non-null, false otherwise
setNonNull
public void setNonNull(int param, boolean nonNull)(Code)
Set whether or not a parameter might be non-null.
Parameters: param - the parameter index Parameters: nonNull - true if the parameter might be non-null, false otherwise