Interface Summary Interface Description ConstantExpressions.ConstantExpressionVisitorVisitor for scanning over the components of a constant expression. GuardedByBinder.ResolverA context containing the information necessary to resolve a
Symbolfrom an AST node.
HeldLockAnalyzer.LockEventListenerListener interface for accesses to guarded members. ImmutableAnalysis.ViolationReporterAccepts
violationsthat are found during the analysis.
ThreadSafety.KnownTypesInformation about known types and whether they're known to be safe or unsafe.
Class Summary Class Description AnnotationInfoSpecifies information about a type which may be a container specified by generic type arguments, e.g. ConstantExpressionsHelper for establishing whether expressions correspond to a constant expression. ConstantExpressions.ConstantEqualsRepresents a binary equals call on two constant expressions. ConstantExpressions.ConstantExpressionRepresents a constant expression. ConstantExpressions.PureMethodInvocationRepresents both a constant method call or a constant field/local access, depending on the actual type of
ConstantExpressions.TruthinessRepresents sets of things known to be true and false if a boolean statement evaluated true. DoubleCheckedLocking GuardedByBinderA binder from
GuardedByChecker GuardedByExpressionThe lock expression of an
GuardedByExpression.ClassLiteralA 'class' literal: ClassName.class GuardedByExpression.ErroneousA guarded by expression that could not be resolved. GuardedByExpression.FactoryMakes
GuardedByExpression.LocalVariableA local variable (or parameter), resolved as part of a lock access expression. GuardedByExpression.SelectThe member access expression for a field or method. GuardedByExpression.ThisLiteralA simple 'this literal. GuardedByExpression.TypeLiteralThe base expression for a static member select on a class literal (e.g. GuardedByFlagsFlags that control the behavior of threadsafety utils to facilitate rolling out new functionality. GuardedBySymbolResolverA symbol resolver used while binding guardedby expressions from string literals. GuardedByUtils HeldLockAnalyzerA method body analyzer. HeldLockAnalyzer.ExpectedLockCalculatorUtility for discovering the lock expressions that needs to be held when accessing specific guarded members. ImmutableAnalysisAnalyzes types for deep immutability. ImmutableAnnotationChecker ImmutableChecker ImmutableEnumChecker ImmutableRefactoring StaticGuardedByInstance SynchronizeOnNonFinalField ThreadPriorityCheckBug checker to detect usage of
Thread.yield(), and changing thread priorities.
ThreadSafetyA class which gives information about the annotation of types; if a type isn't annotated,
ThreadSafety.Violationgives information as to why it is not.
ThreadSafety.ViolationA human-friendly explanation of a thread safety violations. WellKnownMutabilityA collection of types with known mutability.
Enum Summary Enum Description ConstantExpressions.ConstantExpression.ConstantExpressionKindThe kind of a constant expression. GuardedByExpression.Kind
ThreadSafetyutility class can be used by either the bug checker that enforces immutability or by the bug checker that enforces thread-safety.
Exception Summary Exception Description IllegalGuardedByAn error that occurred during the parsing or binding of a GuardedBy expression.