Package edu.umd.cs.findbugs.util

Class MultiThreadedCodeIdentifierUtils

java.lang.Object

edu.umd.cs.findbugs.util.MultiThreadedCodeIdentifierUtils

public class MultiThreadedCodeIdentifierUtils
extends java.lang.Object

Utility class with methods to identify multithreaded code

Field Summary

Fields

Modifier and Type	Field	Description
private static java.lang.String	ATOMIC_PACKAGE
private static java.lang.String	JAVA_LANG_RUNNABLE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	MultiThreadedCodeIdentifierUtils()

Method Summary

Modifier and Type	Method	Description
private static boolean	hasEnclosingInstanceReference(org.apache.bcel.classfile.JavaClass javaClass)	Returns whether javaClass is a non-static inner class that holds a reference to an enclosing instance.
private static boolean	hasMultiThreadedInstruction(org.apache.bcel.generic.MethodGen methodGen)
private static boolean	isConcurrentLockInterfaceCall(java.lang.String className, java.lang.String methodName)
private static boolean	isDirectlyPartOfMultiThreadedCode(org.apache.bcel.classfile.JavaClass javaClass, ClassContext classContext)
private static boolean	isFieldIndicatingMultiThreadedContainer(org.apache.bcel.classfile.Field field)
private static boolean	isFromAtomicPackage(java.lang.String signature)
private static boolean	isInstanceOfLock(java.lang.String className)
static boolean	isLocked(org.apache.bcel.classfile.Method currentMethod, CFG currentCFG, LockDataflow currentLockDataFlow, int pc)
static boolean	isMethodMultiThreaded(org.apache.bcel.classfile.Method method, ClassContext classContext)
static boolean	isNotThreadSafe(ClassContext classContext)
static boolean	isPartOfMultiThreadedCode(ClassContext classContext)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

JAVA_LANG_RUNNABLE

private static final java.lang.String JAVA_LANG_RUNNABLE

See Also:

Constant Field Values

ATOMIC_PACKAGE

private static final java.lang.String ATOMIC_PACKAGE

See Also:

Constant Field Values

Constructor Detail

MultiThreadedCodeIdentifierUtils

private MultiThreadedCodeIdentifierUtils()

Method Detail

isPartOfMultiThreadedCode

public static boolean isPartOfMultiThreadedCode(ClassContext classContext)

hasEnclosingInstanceReference

private static boolean hasEnclosingInstanceReference(org.apache.bcel.classfile.JavaClass javaClass)

Returns whether javaClass is a non-static inner class that holds a reference to an enclosing instance. The compiler emits a synthetic this$0 (or this$1, ...) field for that reference; static nested classes and top-level classes have no such field, so they do not share an enclosing instance's thread context.

isDirectlyPartOfMultiThreadedCode

private static boolean isDirectlyPartOfMultiThreadedCode(org.apache.bcel.classfile.JavaClass javaClass,
                                                         ClassContext classContext)

isMethodMultiThreaded

public static boolean isMethodMultiThreaded(org.apache.bcel.classfile.Method method,
                                            ClassContext classContext)

hasMultiThreadedInstruction

private static boolean hasMultiThreadedInstruction(org.apache.bcel.generic.MethodGen methodGen)

isConcurrentLockInterfaceCall

private static boolean isConcurrentLockInterfaceCall(@DottedClassName
                                                     java.lang.String className,
                                                     java.lang.String methodName)

isInstanceOfLock

private static boolean isInstanceOfLock(@DottedClassName
                                        java.lang.String className)

isFieldIndicatingMultiThreadedContainer

private static boolean isFieldIndicatingMultiThreadedContainer(org.apache.bcel.classfile.Field field)

isFromAtomicPackage

private static boolean isFromAtomicPackage(java.lang.String signature)

isLocked

public static boolean isLocked(org.apache.bcel.classfile.Method currentMethod,
                               CFG currentCFG,
                               LockDataflow currentLockDataFlow,
                               int pc)

isNotThreadSafe

public static boolean isNotThreadSafe(ClassContext classContext)

Returns:

true if the class is explicitly annotated with NotThreadSafe to document that it is not thread safe