Class ThreadSafeAnalysis

java.lang.Object

com.google.errorprone.bugpatterns.threadsafety.ThreadSafeAnalysis

public final class ThreadSafeAnalysis
extends Object

Analyzes types for deep thread safety.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	ThreadSafeAnalysis.Factory	Factory for ThreadSafeAnalysis.

Method Summary

Modifier and Type	Method	Description
ThreadSafety.Violation	checkForThreadSafety(Optional<ClassTree> tree, com.google.common.collect.ImmutableSet<String> threadSafeTypeParams, com.sun.tools.javac.code.Type.ClassType type)	Check that an @ThreadSafe-annotated class: does not declare or inherit any fields which are not thread safe, any threadsafe supertypes are instantiated with threadsafe type arguments as required by their containerOf spec, and any enclosing instances are threadsafe.
ThreadSafety.Violation	checkInvocation(com.sun.tools.javac.code.Type methodType, com.sun.tools.javac.code.Symbol symbol)
com.google.common.collect.ImmutableSet<String>	threadSafeTypeParametersInScope(com.sun.tools.javac.code.Symbol sym)

Methods inherited from class Object

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

Method Details

checkInvocation

public ThreadSafety.Violation checkInvocation(com.sun.tools.javac.code.Type methodType,
 com.sun.tools.javac.code.Symbol symbol)

checkForThreadSafety

public ThreadSafety.Violation checkForThreadSafety(Optional<ClassTree> tree,
 com.google.common.collect.ImmutableSet<String> threadSafeTypeParams,
 com.sun.tools.javac.code.Type.ClassType type)

Check that an @ThreadSafe-annotated class:

• does not declare or inherit any fields which are not thread safe,
• any threadsafe supertypes are instantiated with threadsafe type arguments as required by their containerOf spec, and
• any enclosing instances are threadsafe.

requiring supertypes to be annotated threadsafe would be too restrictive.

threadSafeTypeParametersInScope

public com.google.common.collect.ImmutableSet<String> threadSafeTypeParametersInScope(com.sun.tools.javac.code.Symbol sym)