edu.umd.cs.findbugs.ba.interproc

Class ParameterProperty

java.lang.Object

edu.umd.cs.findbugs.ba.interproc.ParameterProperty

public class ParameterProperty
extends java.lang.Object

Method property recording which parameters are have some property (originally, which were required to be nonnull, now made more generic)

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field and Description
static int	MAX_PARAMS Maximum number of parameters that can be represented by a ParameterProperty.

Constructor Summary

Constructors

Constructor and Description
ParameterProperty() Constructor.
ParameterProperty(int bits) Constructor.

Method Summary

Modifier and Type	Method and Description
void	copyFrom(ParameterProperty other) Make this object the same as the given one.
java.util.BitSet	getAsBitSet()
java.util.BitSet	getMatchingParameters(java.util.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.
int	getParamsWithProperty() Get the non-null param bitset.
boolean	hasProperty(int param) Return whether or not a parameter might be non-null.
void	intersectWith(ParameterProperty targetDerefParamSet) Intersect this set with the given set.
boolean	isEmpty() Return whether or not the set of non-null parameters is empty.
java.lang.Iterable<java.lang.Integer>	iterable()
void	setParamsWithProperty(java.util.BitSet nonNullSet) Set the non-null param set from given BitSet.
void	setParamsWithProperty(int nonNullParamSet) Set the non-null param bitset.
void	setParamWithProperty(int param, boolean hasProperty) Set whether or not a parameter might be non-null.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MAX_PARAMS

public static final int MAX_PARAMS

Maximum number of parameters that can be represented by a ParameterProperty.

See Also:

Constant Field Values

Constructor Detail

ParameterProperty

public ParameterProperty()

Constructor. Parameters are all assumed not to be non-null.

ParameterProperty

public ParameterProperty(int bits)

Constructor. Parameters are all assumed not to be non-null.

Method Detail

getParamsWithProperty

public int getParamsWithProperty()

Get the non-null param bitset.

Returns:

the non-null param bitset

iterable

public java.lang.Iterable<java.lang.Integer> iterable()

setParamsWithProperty

public void setParamsWithProperty(int nonNullParamSet)

Set the non-null param bitset.

Parameters:

nonNullParamSet - the non-null param bitset

setParamsWithProperty

public void setParamsWithProperty(java.util.BitSet nonNullSet)

Set the non-null param set from given BitSet.

Parameters:

nonNullSet - BitSet indicating which parameters are non-null

setParamWithProperty

public void setParamWithProperty(int param,
                                 boolean hasProperty)

Set whether or not a parameter might be non-null.

Parameters:

param - the parameter index

hasProperty - true if the parameter might be non-null, false otherwise

hasProperty

public boolean hasProperty(int param)

Return whether or not a parameter might be non-null.

Parameters:

param - the parameter index

Returns:

true if the parameter might be non-null, false otherwise

getMatchingParameters

public java.util.BitSet getMatchingParameters(java.util.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.

Parameters:

nullArgSet - bitset of null arguments

Returns:

bitset intersecting null arguments and non-null params

getAsBitSet

public java.util.BitSet getAsBitSet()

isEmpty

public boolean isEmpty()

Return whether or not the set of non-null parameters is empty.

Returns:

true if the set is empty, false if it contains at least one parameter

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

intersectWith

public void intersectWith(ParameterProperty targetDerefParamSet)

Intersect this set with the given set. Useful for summarizing the properties of multiple methods.

Parameters:

targetDerefParamSet - another set

copyFrom

public void copyFrom(ParameterProperty other)

Make this object the same as the given one.

Parameters:

other - another ParameterNullnessProperty