Please see the Checker Framework manual (HTML, PDF).
The history of releases and changes is in file changelog.txt.
Documentation for Checker Framework developers is in directory docs/developer/
.
License |
License |
---|---|
GroupId | GroupIdorg.checkerframework |
ArtifactId | ArtifactIdchecker-qual7 |
Last Version | Last Version2.4.0 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionChecker Qual
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
checker-qual7-2.4.0.pom | |
checker-qual7-2.4.0.jar | 182 KB |
checker-qual7-2.4.0-sources.jar | 205 KB |
checker-qual7-2.4.0-javadoc.jar | 4 MB |
Browse |
<!-- https://jarcasting.com/artifacts/org.checkerframework/checker-qual7/ -->
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual7</artifactId>
<version>2.4.0</version>
</dependency>
// https://jarcasting.com/artifacts/org.checkerframework/checker-qual7/
implementation 'org.checkerframework:checker-qual7:2.4.0'
// https://jarcasting.com/artifacts/org.checkerframework/checker-qual7/
implementation ("org.checkerframework:checker-qual7:2.4.0")
'org.checkerframework:checker-qual7:jar:2.4.0'
<dependency org="org.checkerframework" name="checker-qual7" rev="2.4.0">
<artifact name="checker-qual7" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.checkerframework', module='checker-qual7', version='2.4.0')
)
libraryDependencies += "org.checkerframework" % "checker-qual7" % "2.4.0"
[org.checkerframework/checker-qual7 "2.4.0"]
Please see the Checker Framework manual (HTML, PDF).
The history of releases and changes is in file changelog.txt.
Documentation for Checker Framework developers is in directory docs/developer/
.