Return whether or not this block is a null check.

Was this value marked as a possibly null return value?

Is this annotation used to compute instance hashes or match bug instances across versions @return true if significant

Return whether or not given fact is the special TOP value.

Return an iterator over thrown exceptions.

Launch the appropriate UI. @throws java.lang.Exception

Look up a property by name. @param name name of the property to look for @return the BugProperty with the given name, or null if the prope

Don't list this option when printing Usage information @param option

Returns a collection of locations, ordered according to the compareTo ordering over locations. If you want to list all the locations in a CFG for debu

Process classpath worklist items. We will attempt to find all nested archives and Class-Path entries specified in Jar manifests. This should give us a

Helper for pushing the return type of an invoke instruction.

Read XML data from given file into this object, populating given Project as a side effect. @param fileName name of the file to read

Remove the analysis cache for the current thread. This should be called after all analysis is complete

Remove all FindBugs problem markers for given resource. If the given resource is project, will also clear bug collection. @param res the r

Rewrite a signature. @param classNameRewriter a ClassNameRewriter @param signature a signature (parameter, return type, or fiel

Save current UserPreferences for given project or workspace. @param project the project or null for workspace @throws CoreException

Scan the raw bytecodes of a method. @param instructionList the bytecodes @param callback the callback object

Set the classpath to use. @param src classpath to use

Set the DetectorOrderingConstraint that created this edge. @param constraint the DetectorOrderingConstraint that created this edge

@param couldBeZero The couldBeZero to set.

This is how the numbers after the branches contain the number of bugs in them, even if they aren't the final branch @param count

@param enabled the enabled to set

Set the error-reporting verbosity level. @param level the verbosity level

Set whether or not a type in a given slot is exact. @param slot the slot @param isExact true if the slot contains an exact type

Mark whether or not Stream is open as soon as it is created, or whether a later method or constructor must explicitly open it.

Set the lock count for a lock object. @param valueNumber value number of the lock object @param lockCount the lock count for th

Set an optional priority adjuster. @param priorityAdjuster the priority adjuster

Set the current release name. @param releaseName the current release name

Set the UserPreferences representing which Detectors should be used. If UserPreferences are not set explicitly, the default set of Detectors will be u

Start a new group of related command-line options. @param description description of the group

Return an Iterator over the States in the StateSet. @return an Iterator over the States in the StateSet

Create a string containing the encoded form of the ProjectFilterSettings. @return an encoded string

Transform a field or method parameter signature to allow it to be compared even if it is moved to another package. @param signature the si

Visit a class vertex in the inheritance graph. @param classDescriptor ClassDescriptor of the class vertex @param xclass XClass

Add an available load. @param availableLoad the AvailableLoad (reference and field) @param value the value(s) loaded

Add a method annotation for the method which has been called by the method currently being visited by given visitor. Assumes that the visitor has just

General method for adding entries for File InputStream/OutputStream/Reader/Writer classes.

@param map @param navMenu

Add a field annotation for an XField. @param xfield the XField @return this object

Local variable adders

Add a value to given list, making the Project modified if the value is not already present in the list. @param list the list @param value