athea

Repositories Projects Packages

org.checkerframework:checker-qual (3.19.0)

Published 2026-02-24 13:44:36 +00:00 by atheaadmin

Installation

Setup this registry in your project pom.xml file:

<repositories>
	<repository>
		<id>gitea</id>
		<url></url>
	</repository>
</repositories>

<distributionManagement>
	<repository>
		<id>gitea</id>
		<url></url>
	</repository>

	<snapshotRepository>
		<id>gitea</id>
		<url></url>
	</snapshotRepository>
</distributionManagement>

To use the package include the following in the dependencies block in the pom.xml file:

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

Run via command line:

mvn install

To download the dependency, run via command line:

mvn dependency:get -DremoteRepositories= -Dartifact=org.checkerframework:checker-qual:3.19.0

For more information on the Maven registry, see the documentation.

About this package

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Details

Maven

2026-02-24 13:44:36 +00:00

0

Checker Qual

Project Site

The MIT License

2.0 KiB

Assets (1)

checker-qual-3.19.0.pom 2.0 KiB

Versions (4) View all

3.19.0 2026-02-24

3.37.0 2026-02-24

3.41.0 2026-02-24

2.5.2 2026-02-24