Stable checkers:
Incubating in 6.0.0 (semantics may evolve in a subsequent 6.x release):
| Class | Description |
|---|---|
| CombinerChecker | A compile-time checker that verifies the combiner passed to an
order-independent parallel reduction (sumParallel,
injectParallel) carries the associativity contract those methods
silently require — mirroring the design of PurityChecker. |
| FormatStringChecker | Checks at compile-time for incorrect format strings in format methods such as printf and String.format.
|
| ModifiesChecker | A compile-time checker that verifies method bodies comply with their
@Modifies frame condition declarations. |
| MonadicChecker | Teaches @CompileStatic/@TypeChecked about the DO macro's
desugared output: calls to org.apache.groovy.runtime.Comprehensions.bind
and .map, declared (Object, Closure):Object. |
| MonadicShapeChecker | Compile-time lint for native monadic chains over the standard carrier allow-list (MonadicCarrierRegistry). |
| NullChecker | A compile-time type checker that detects potential null dereferences and null-safety violations
in code annotated with @Nullable, @NonNull, and @MonotonicNonNull annotations. |
| PurityChecker | A compile-time checker that verifies @Pure methods have no side effects. |
| RegexChecker | Checks at compile-time for cases of invalid regex usage where the actual regex string can be identified (e.g. inline or defined by a local variable with an initial value or a field with an initial value). |
| Annotation Type | Description |
|---|---|
| FormatMethod | If this annotation is attached to a Formatter.format-like method, then when type-checking calls to the method, it will be a candidate method checked by FormatStringChecker. |