@param wset non null working set @return non null set with work items, which may be empty

Collects and combines the selection which may contain sources from different projects and / or multiple sources from same project. <p> If selection co

@return Returns the sequence.

Get the SourceFinder, for finding source files.

Get the SourceInfoMap.

Get the subroutine being inlined.

Gets the DottedClassNames of the Exceptions which are caught by a try-catch block at the current PC. @param cp ConstantPool @return Set of the DottedC

Get the values on the top of the Java operand stack. The top stack item is placed at the end of the array, so that to restore the values to the stack,

Get the TypeCategory that represents this Object @see GenericUtilities.TypeCategory

Get the URL protocol of given URL string. @param urlString the URL string @return the protocol name ("http", "file", etc.), or null if the

Get the set of Locations where given value is guaranteed to be dereferenced. (I.e., if non-implicit-exception control paths are followed, one of these

Get value of property. @return value of property

@return Returns the when.

Handle method invocations. Generally, we want to get rid of null information following a call to a likely exception thrower or assertion.

Convert a hash to a string of hex digits. @param hash the hash @return a String representation of the hash

Get the single instance of the bottom type.

Return whether or not this object is the special "BOTTOM" value for Frames. Such Frames arise when merging two frames of different size.

Is this the bottom value? @return true if this is the bottom value, false otherwise

Return whether or not the Stream is closed on all paths out of the method.

@return Returns the couldBeZero.

Is this factory enabled by default

Return true if there are no Instructions in this basic block.

Return whether or not this TypeQualifierValue denotes an exclusive qualifier. @return true if type qualifier is exclusive, false otherwise

If true, do not open windows or browsers

Get visibility of the factory (to GUI dialogs to configure detectors).

Determine if the given typecode refers to a reference type. This implementation just checks that the type code is T_OBJECT, T_ARRAY, T_NULL, or T_EXCE

Is the source file known?

@return does this method unconditionally throw an UnsupportedOperationException?

Determines whether a class name is a valid array field descriptor as per <a href="https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-

@return is this a var args method?

Kill all loads. This conservatively handles method calls where we don't really know what fields might be assigned.

Loads the given plugin and enables it for the given project. @param f A non-null jar file of custom plugin. @param project A nullable targe

This method is public to allow clients to set system properties via any {@link URL} @param url an url to load system properties from, may

Check if the method name looks like a setter @param methodName the method name @param classSig the class signature @param retSi

Look for a Binding for given variable. @param varName name of the variable @return the Binding, or null if no such Binding is present in t

Lookup a class's source file @param dottedClassName the name of the class @return the source file for the class, or {@link SourceL