Map an input ValueNumber to an output ValueNumber. @param input the input ValueNumber @param output the output ValueNumber

Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block. @param fact

The result of applying Math.abs to a checkForIntegerMinValue() value

Get the instance representing a value known to be non-null because a NPE would have occurred if it were null.

Get null on complex path value. This is like null on simple path value, but there are at least two branches between the explicit null value and the cu

Observe a class being visited. @param classDescriptor class being visited

Opens the analysis. Also clears the source and summary panes. Makes comments enabled false. Sets the saveType and adds the file to the recent menu. @

When URL Connection uses cache, it may keep file handler. This method open connection without caching to avoid file handler leak. @return opened {@li

Parse switches/options, showing usage information if they can't be parsed, or if we have the wrong number of remaining arguments after parsing. Calls

Return an Iterator over all available Plugin objects.

Return an Collection of all available Plugin objects.

Pop the input values for the given instruction from the current frame.

Print command line usage information to given stream. @param os the output stream

@return may return null

Helper method to read array of strings out of the properties file, using a Findbugs style format. @param props The properties file to read

Swaps in a new BugTreeModel and a new JTree

Register analysis engines with given analysis cache. @param analysisCache the analysis cache

@param relativePath workspace relative path @return given path if path is not known in workspace

Replace the map of ObligationSets to States with the given one. @param stateMap enw map of ObligationSets to States

Default implementation uses {@link TotalTimeComparator} and prints out class statistics based on total time spent for a class @deprecated use {@link P

Reports an exception to the user. This method could be overwritten by a subclass to handle some exceptions individual. @param e not null

Removes all consequent enumerated keys from given store staring with given prefix

Resolve an AnnotationValue into a list of AnnotationValues representing type qualifier annotations. @param value AnnotationValue represent

Perform the depth first search. @return this object

Set the BugReporter. @param bugReporter The BugReporter to set

Set the source file data. @param data the data

Set the default lock count to return for nonexistent lock entries. @param defaultLockCount the default lock count value

Set the DetectorFactoryCollection from which plugins/detectors may be accessed. @param detectorFactoryCollection the DetectorFactoryCollec

Sets size of font @param size

Set the FindBugs home directory.

Mark whether or not implicit exception edges should be ignored by ResourceValueAnalysis when determining whether or not stream is closed on all paths

Mark this Stream as interesting. @param bugType the bug type that should be reported if the stream is not closed on all paths o

Set the integer label.

Set the next PatternElement.