Get the error logger. @return the error logger

Get the exit node.

Returns the Java project for this test. @return An IJavaProject.

Get the sequence number of the BugCollection. This value represents the number of times the user has analyzed a different version of the application a

Get the short description.

Get String representation of a Type including Generic information

Sets the method name for the bug instance. @param methodName the method name @return this builder instance

Returns true if the analysis is forwards, false if backwards.

Is this a volatile field?

Set minimum warning priority threshold. @param minPriority the priority threshold: one of "High", "Medium", or "Low"

Delete the Java project used for this test. @throws CoreException

@return true if the method can return normally at this location, false otherwise

Close given AutoCloseable instance, ignoring any resulting exception.

Convenience method for converting a single signature component to human-readable form. @param signature the signature

Create default UserPreferences. @return default UserPreferences

@param params The parameters for this method signature, or null, for instance <code>int, long</code> @param returns The return for this method signatu

Decorate given BugInstance with properties. @param bugInstance the BugInstance

Look up a field with given name and signature in given class, returning it as an {@link XField XField} object. If a field can't be found in the immedi

Returns the bug file path of the test project. @return The absolute filesystem path of the bugs file.

Get a BitSet representing the bytecodes that are used in the given method. This is useful for prescreening a method for the existence of particular in

Get the field name.

@param marker marker to check for plugin id @return detector plugin id, or empty string if the detector plugin is unknown

Returns the project for this test. @return An IProject.

Get set of all BugPatterns this detector reports. An empty set means that we don't know what kind of bug patterns might be reported.

Was this value propagated on an exception path?

@return Returns true if field/method is static, false if not

Get the instance representing values that are definitely not null.

Set the priority threshold. @param threshold bug instances must be at least as important as this priority to be reported

Start a tag, with the intention of adding attributes. Must be followed by stopTag after zero or more addAttribute calls. @param tagName th

End a started tag. Must follow a call to startTag. @param close true if the element has no content.

Get the resource name of this class as it would appear in the classpath. E.g., "java/lang/String.class" @return the resource name

Add a field annotation for the field which has just been accessed by the method currently being visited by given visitor. Assumes that a getfield/putf

Factory method. Class name, field name, and field signatures are taken from the given visitor, which is visiting a reference to the field (i.e., a get

UUID version 5, but without using a namespace. @param name @return UUID version 5

Retrieves all the FB markers from given resource and all its descendants @param fileOrFolder @return never null (empty array if nothing there or exce

Returns null for primitive and arrays

Get the major version number.

Helper method to shorten message access @param key a message key @return requested message

Get the number of locals.

Get the bug pattern name (e.g., IL_INFINITE_RECURSIVE_LOOP)

Get the variable of the variable.

Is the edge an exception edge?

@return Returns the noAnalysis.

This is equivalent to Repository.lookupClass() or this.lookupClass(), except it uses the original Repository instead of the current one. This can be