@return true if the class is an abstract

Get the start line (inclusive).

Asserts that there is a bug instance with the given bug type at the given line. The match is checked according to {@link BugInstanceMatcher}. @param

Determine whether or not a given ReferenceType is a subtype of another. Throws ClassNotFoundException if the question cannot be answered definitively

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

Add an integer annotation. @param value the integer value @return this object

@return Returns the field/method name

Determine whether one class (or reference type) is a subtype of another. @param clsName the name of the class or reference type @param pos

Is the given fact the top value.

Get the entity's access flags.

Get the BugCategory

Is this value definitely null?

Get the primary class annotation, which indicates where the bug occurs.

Is the entity synthetic?

Parse the class data into a ClassNameAndSuperclassInfo object containing (some of) the class's symbolic information. @param classInfo a Cl

Get a value on the operand stack. @param loc the stack location, counting downwards from the top (location 0)

Close tag with given name. @param tagName the tag name

Push a value onto the Java operand stack. @param value the ValueType to push

Build the CFG.

Get the simple name of the class @return the simple name of the class

Get the bug collection (if any) associated with this bug reporter

Get the slash-formatted superclass name for the current or most recently visited class

return the ClassDescriptor for the class associated with this object

Get the primary source line annotation. There is guaranteed to be one (unless some Detector constructed an invalid BugInstance). @return the source l

Get the analysis object.

Get the first instruction in the basic block.

@return if this value is the return value of a method, give the method invoked

Create an XField object @param className @param fieldName @param fieldSignature @param isStatic @return the created XField

Get the BugPattern

Compare with other edge.

Convenience method for generating a method signature in human readable form. @param javaClass the class @param method the metho

Get ClassDescriptor of this class's immediate superclass. @return ClassDescriptor of this class's immediate superclass, or null if this class

@return true if the class is an interface, false otherwise

Get the bug priority.

Get a ValueNumberDataflow for given method. @param method the method @return the ValueNumberDataflow

Return relative order of blocks. If b1.compareTo(b2) < 0, then b1 should occur before b2 in iteration.

Open a tag with given name. @param tagName the tag name

Get the entry node.

Get the DetectorFactory.

Get the number of components (BasicBlock ids) in the Path. @return number of components in the Path

Execute FindBugs on the Project. All bugs found are reported to the BugReporter object which was set when this object was constructed. @throws IOExce

Return the Collection storing the BugInstance objects.

Get a description of this bug annotation. The description is a key for the FindBugsAnnotationDescriptions resource bundle.

return previous opcode; @param offset 0 for current opcode, 1 for one before that, etc.

Get the value about which the branch yields information.

Is the entity protected?

Get the first common superclass of the given reference types. Note that an interface type is never returned unless <code>a</code> and <code>b</code> a

Get the source file name.

Visit the ClassContext for a class which should be analyzed for instances of bug patterns. @param classContext the ClassContext

Creates an immutable copy of a {@link FoobarValue} value. Uses accessors to get values to initialize the new immutable instance. If an instance is alr