Uses of Class
edu.umd.cs.findbugs.ba.interproc.ParameterProperty

Packages that use ParameterProperty

Package	Description
edu.umd.cs.findbugs.ba.interproc
edu.umd.cs.findbugs.ba.npe

Uses of ParameterProperty in edu.umd.cs.findbugs.ba.interproc

Methods in edu.umd.cs.findbugs.ba.interproc with parameters of type ParameterProperty

Modifier and Type	Method and Description
void	ParameterProperty.copyFrom(ParameterProperty other) Make this object the same as the given one.
void	ParameterProperty.intersectWith(ParameterProperty targetDerefParamSet) Intersect this set with the given set.

Uses of ParameterProperty in edu.umd.cs.findbugs.ba.npe

Methods in edu.umd.cs.findbugs.ba.npe that return ParameterProperty

Modifier and Type	Method and Description
protected ParameterProperty	ParameterNullnessPropertyDatabase.decodeProperty(java.lang.String propStr)
ParameterProperty	NonNullSpecification.getCheckForNullProperty()
ParameterProperty	NonNullSpecification.getNonNullProperty()

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ParameterProperty

Modifier and Type	Method and Description
protected java.lang.String	ParameterNullnessPropertyDatabase.encodeProperty(ParameterProperty property)

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ParameterProperty

Constructor and Description
NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty)