checker

library4.0.0javamavenunverified

Enhances Java's type system to detect and prevent errors via compiler plug-ins.

<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>checker</artifactId>
  <version>4.0.0</version>
</dependency>

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · CHECKER

checker

utilityjavav4.0.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Nullable

✓ org.checkerframework.checker.nullness.qual.Nullable

Use @Nullable annotation to prevent null pointer errors

import org.checkerframework.checker.nullness.qual.Nullable; public class Example { public static void main(@Nullable String[] args) { System.out.println("Hello"); } }

Debug

Known issues

gotchaChecker Framework requires specific compiler setup (e.g., javac with -processor).

fix

Add the Checker Framework as a Maven annotation processor or use the provided Maven plugin.

affects: >=4.0.0

Upgrade

Version history

4.0.0latest on Maven

Audit

Dependencies

No dependency data recorded yet.

Agent activity

9 hits · last 30 days

node

Amazon

Resources

githubhttps://github.com/typetools/checker-framework ↗

homepagehttps://checkerframework.org/ ↗

docshttps://appdoc.app/artifact/org.checkerframework/checker/ ↗