Class ImmutableAnalysis

java.lang.Object

com.google.errorprone.bugpatterns.threadsafety.ImmutableAnalysis

public final class ImmutableAnalysis
extends Object

Analyzes types for deep immutability.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	ImmutableAnalysis.Factory	Factory for ImmutableAnalysis.
static interface	ImmutableAnalysis.ViolationReporter	Accepts violations that are found during the analysis.

Method Summary

Modifier and Type	Method	Description
ThreadSafety.Violation	checkForImmutability(Optional<ClassTree> tree, com.google.common.collect.ImmutableSet<String> immutableTyParams, com.sun.tools.javac.code.Type.ClassType type, ImmutableAnalysis.ViolationReporter reporter)	Check that an @Immutable-annotated class: does not declare or inherit any mutable fields, any immutable supertypes are instantiated with immutable type arguments as required by their containerOf spec, and any enclosing instances are immutable.
ThreadSafety.Violation	checkInvocation(com.sun.tools.javac.code.Type methodType, com.sun.tools.javac.code.Symbol symbol)

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)

checkForImmutability

public ThreadSafety.Violation checkForImmutability(Optional<ClassTree> tree,
 com.google.common.collect.ImmutableSet<String> immutableTyParams,
 com.sun.tools.javac.code.Type.ClassType type,
 ImmutableAnalysis.ViolationReporter reporter)

Check that an @Immutable-annotated class:

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

requiring supertypes to be annotated immutable would be too restrictive.