checker-qual

library3.54.0javamavenunverified

Checker Qual provides type qualifier annotations for use with the Checker Framework to enable compile-time type checking.

utility

<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>checker-qual</artifactId>
  <version>3.54.0</version>
</dependency>

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · CHECKER-QUAL

checker-qual

utilityjavav3.54.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

Uses @Nullable annotation to indicate a parameter may be null.

import org.checkerframework.checker.nullness.qual.Nullable; public class Example { public void process(@Nullable String input) { if (input != null) { System.out.println(input.length()); } } }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

3.54.0latest on Maven

Audit

Dependencies

No dependency data recorded yet.

Agent activity

5 hits · last 30 days

node

Amazon

Resources

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

homepagehttps://checkerframework.org/ ↗

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