Uses of Class
com.google.errorprone.bugpatterns.threadsafety.ThreadSafety.Violation

Packages that use ThreadSafety.Violation

Package	Description
com.google.errorprone.bugpatterns.threadsafety

Uses of ThreadSafety.Violation in com.google.errorprone.bugpatterns.threadsafety

Methods in com.google.errorprone.bugpatterns.threadsafety that return ThreadSafety.Violation

Modifier and Type	Method	Description
static ThreadSafety.Violation	ThreadSafety.Violation.absent()	An empty explanation.
ThreadSafety.Violation	ImmutableAnalysis.checkForImmutability(Optional<com.sun.source.tree.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	ThreadSafeAnalysis.checkForThreadSafety(Optional<com.sun.source.tree.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	ThreadSafety.checkInstantiation(com.sun.tools.javac.code.Symbol.TypeVariableSymbol typeParameter, Collection<com.sun.tools.javac.code.Type> instantiations)	Checks that any thread-safe type parameters are instantiated with thread-safe types.
ThreadSafety.Violation	ThreadSafety.checkInstantiation(Collection<com.sun.tools.javac.code.Symbol.TypeVariableSymbol> typeParameters, Collection<com.sun.tools.javac.code.Type> typeArguments)
ThreadSafety.Violation	ImmutableAnalysis.checkInvocation(com.sun.tools.javac.code.Type methodType, com.sun.tools.javac.code.Symbol symbol)
ThreadSafety.Violation	ThreadSafeAnalysis.checkInvocation(com.sun.tools.javac.code.Type methodType, com.sun.tools.javac.code.Symbol symbol)
ThreadSafety.Violation	ThreadSafety.checkInvocation(com.sun.tools.javac.code.Type methodType, com.sun.tools.javac.code.Symbol symbol)	Checks the instantiation of any thread-safe type parameters in the current invocation.
ThreadSafety.Violation	ThreadSafety.checkSuperInstantiation(Set<String> containerTypeParameters, AnnotationInfo annotation, com.sun.tools.javac.code.Type type)	Check that the super-type of a @ThreadSafe-annotated type is instantiated with threadsafe type arguments where required by its annotation's containerOf element, and that any type arguments that correspond to containerOf type parameters on the sub-type are also in the super-type's containerOf spec.
static ThreadSafety.Violation	ThreadSafety.Violation.create(org.pcollections.ConsPStack<String> path)
ThreadSafety.Violation	ThreadSafety.isThreadSafeType(boolean allowContainerTypeParameters, Set<String> containerTypeParameters, com.sun.tools.javac.code.Type type)	Returns an ThreadSafety.Violation explaining whether the type is threadsafe.
static ThreadSafety.Violation	ThreadSafety.Violation.of(String reason)	Creates an explanation with one step.
ThreadSafety.Violation	ThreadSafety.Violation.plus(String edge)	Adds a step.
ThreadSafety.Violation	ThreadSafety.threadSafeInstantiation(Set<String> containerTypeParameters, AnnotationInfo annotation, com.sun.tools.javac.code.Type type)	Check that a type-use of an @ThreadSafe-annotated type is instantiated with threadsafe type arguments where required by its annotation's containerOf element.
ThreadSafety.Violation	ThreadSafety.threadSafeInstantiation(Set<String> containerTypeParameters, AnnotationInfo annotation, com.sun.tools.javac.code.Type type, Set<com.sun.tools.javac.code.Symbol.TypeVariableSymbol> recursiveThreadSafeTypeParameter)

Methods in com.google.errorprone.bugpatterns.threadsafety with parameters of type ThreadSafety.Violation

Modifier and Type	Method	Description
Description.Builder	ImmutableAnalysis.ViolationReporter.describe(com.sun.source.tree.Tree tree, ThreadSafety.Violation info)
default Description	ImmutableAnalysis.ViolationReporter.report(com.sun.source.tree.Tree tree, ThreadSafety.Violation info, Optional<SuggestedFix> suggestedFix)