JarCastingChecker Qual
checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
| License |
License |
|---|---|
| GroupId | GroupIdorg.checkerframework |
| ArtifactId | ArtifactIdchecker-qual |
| Last Version | Last Version3.22.2 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionChecker Qual
checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
Download checker-qual
| Filename | Size |
|---|---|
| checker-qual-3.22.2.pom | |
| checker-qual-3.22.2.jar | 204 KB |
| checker-qual-3.22.2-sources.jar | 223 KB |
| checker-qual-3.22.2-javadoc.jar | 858 KB |
| Browse |
How to add to project
<!-- https://jarcasting.com/artifacts/org.checkerframework/checker-qual/ -->
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>3.22.2</version>
</dependency>// https://jarcasting.com/artifacts/org.checkerframework/checker-qual/
implementation 'org.checkerframework:checker-qual:3.22.2'// https://jarcasting.com/artifacts/org.checkerframework/checker-qual/
implementation ("org.checkerframework:checker-qual:3.22.2")'org.checkerframework:checker-qual:jar:3.22.2'<dependency org="org.checkerframework" name="checker-qual" rev="3.22.2">
<artifact name="checker-qual" type="jar" />
</dependency>@Grapes(
@Grab(group='org.checkerframework', module='checker-qual', version='3.22.2')
)libraryDependencies += "org.checkerframework" % "checker-qual" % "3.22.2"[org.checkerframework/checker-qual "3.22.2"]Dependencies
There are no dependencies for this project. It is a standalone project that does not depend on any other jars.
Project Modules
There are no modules declared in this project.
