JarCastingChecker Framework
The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
| License |
License |
|---|---|
| GroupId | GroupIdio.github.eisop |
| ArtifactId | ArtifactIdchecker |
| Last Version | Last Version3.22.1-eisop1 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionChecker Framework
The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
Download checker
| Filename | Size |
|---|---|
| checker-3.22.1-eisop1.pom | |
| checker-3.22.1-eisop1.jar | 8 MB |
| checker-3.22.1-eisop1-sources.jar | 1 MB |
| checker-3.22.1-eisop1-javadoc.jar | 3 MB |
| Browse |
How to add to project
<!-- https://jarcasting.com/artifacts/io.github.eisop/checker/ -->
<dependency>
<groupId>io.github.eisop</groupId>
<artifactId>checker</artifactId>
<version>3.22.1-eisop1</version>
</dependency>// https://jarcasting.com/artifacts/io.github.eisop/checker/
implementation 'io.github.eisop:checker:3.22.1-eisop1'// https://jarcasting.com/artifacts/io.github.eisop/checker/
implementation ("io.github.eisop:checker:3.22.1-eisop1")'io.github.eisop:checker:jar:3.22.1-eisop1'<dependency org="io.github.eisop" name="checker" rev="3.22.1-eisop1">
<artifact name="checker" type="jar" />
</dependency>@Grapes(
@Grab(group='io.github.eisop', module='checker', version='3.22.1-eisop1')
)libraryDependencies += "io.github.eisop" % "checker" % "3.22.1-eisop1"[io.github.eisop/checker "3.22.1-eisop1"]Dependencies
runtime (2)
| Group / Artifact | Type | Version |
|---|---|---|
| io.github.eisop : checker-qual | jar | 3.22.1-eisop1 |
| io.github.eisop : checker-util | jar | 3.22.1-eisop1 |
Project Modules
There are no modules declared in this project.
