Checker 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.

Лицензия	Лицензия GNU General Public License, version 2 (GPL2), with the classpath exception
Группа	Группа org.checkerframework
Идентификатор	Идентификатор checker
Последняя версия	Последняя версия 3.22.2
Дата	Дата 14 июн. 2022 г.
Тип	Тип jar
Описание	Описание Checker 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.
Ссылка на сайт	Ссылка на сайт https://checkerframework.org
Система контроля версий	Система контроля версий https://github.com/typetools/checker-framework.git

Скачать checker

Имя Файла	Размер
checker-3.22.2.pom
checker-3.22.2.jar	16 MB
checker-3.22.2-sources.jar	1 MB
checker-3.22.2-javadoc.jar	3 MB
Обзор

Как подключить последнюю версию

Apache Maven

<!-- https://jarcasting.com/artifacts/org.checkerframework/checker/ -->
<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>checker</artifactId>
    <version>3.22.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.checkerframework/checker/
implementation 'org.checkerframework:checker:3.22.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.checkerframework/checker/
implementation ("org.checkerframework:checker:3.22.2")

Apache Buildr

'org.checkerframework:checker:jar:3.22.2'

Apache Ivy

<dependency org="org.checkerframework" name="checker" rev="3.22.2">
  <artifact name="checker" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.checkerframework', module='checker', version='3.22.2')
)

Scala SBT

libraryDependencies += "org.checkerframework" % "checker" % "3.22.2"

Leiningen

[org.checkerframework/checker "3.22.2"]

Зависимости

runtime (2)

Идентификатор библиотеки	Тип	Версия
org.checkerframework : checker-qual	jar	3.22.2
org.checkerframework : checker-util	jar	3.22.2

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
3.22.2 14 июн. 2022 г.
3.22.1 1 июн. 2022 г.
3.22.0 2 мая 2022 г.
3.21.4 1 апр. 2022 г.
3.21.3 1 мар. 2022 г.
3.21.2 1 февр. 2022 г.
3.21.1 8 янв. 2022 г.
3.21.0 17 дек. 2021 г.
3.20.0 7 дек. 2021 г.
3.19.0 1 нояб. 2021 г.
3.18.1 4 окт. 2021 г.
3.18.0 1 сент. 2021 г.
3.17.0 2 авг. 2021 г.
3.16.0 14 июл. 2021 г.
3.15.0 19 июн. 2021 г.
3.14.0 1 июн. 2021 г.
3.13.0 4 мая 2021 г.
3.12.0 1 апр. 2021 г.
3.11.0 2 мар. 2021 г.
3.10.0 1 февр. 2021 г.
3.9.1 14 янв. 2021 г.
3.9.0 5 янв. 2021 г.
3.8.0 2 дек. 2020 г.
3.7.1 3 нояб. 2020 г.
3.7.0 2 окт. 2020 г.
3.6.1 2 сент. 2020 г.
3.6.0 3 авг. 2020 г.
3.5.0 2 июл. 2020 г.
3.4.1 1 июн. 2020 г.
3.4.0 3 мая 2020 г.
3.3.0 2 апр. 2020 г.
3.2.0 2 мар. 2020 г.
3.1.1 3 февр. 2020 г.
3.1.0 4 янв. 2020 г.
3.0.1 3 дек. 2019 г.
3.0.0 2 нояб. 2019 г.
2.11.1 1 окт. 2019 г.
2.11.0 31 авг. 2019 г.
2.10.1 22 авг. 2019 г.
2.10.0 1 авг. 2019 г.
2.9.0 3 июл. 2019 г.
2.8.2 3 июн. 2019 г.
2.8.1 1 мая 2019 г.
2.8.0 3 апр. 2019 г.
2.7.0 2 мар. 2019 г.
2.6.0 4 февр. 2019 г.
2.5.8 6 дек. 2018 г.
2.5.7 5 нояб. 2018 г.
2.5.6 3 окт. 2018 г.
2.5.5 31 авг. 2018 г.
2.5.4 2 авг. 2018 г.
2.5.3 2 июл. 2018 г.
2.5.2 1 июн. 2018 г.
2.5.1 1 мая 2018 г.
2.5.0 2 апр. 2018 г.
2.4.0 1 мар. 2018 г.
2.3.2 1 февр. 2018 г.
2.3.1 2 янв. 2018 г.
2.3.0 2 дек. 2017 г.
2.2.2 2 нояб. 2017 г.
2.2.1 29 сент. 2017 г.
2.2.0 6 сент. 2017 г.
2.1.14 3 авг. 2017 г.
2.1.13 3 июл. 2017 г.
2.1.12 1 июн. 2017 г.
2.1.11 2 мая 2017 г.
2.1.10 4 апр. 2017 г.
2.1.9 1 мар. 2017 г.
2.1.8 21 янв. 2017 г.
2.1.7 3 янв. 2017 г.
2.1.6 1 дек. 2016 г.
2.1.5 2 нояб. 2016 г.
2.1.4 3 окт. 2016 г.
2.1.3 16 сент. 2016 г.
2.1.2 1 сент. 2016 г.
2.1.1 1 авг. 2016 г.
2.1.0 2 июл. 2016 г.
2.0.1 2 июн. 2016 г.
2.0.0 3 мая 2016 г.
1.9.13 1 апр. 2016 г.
1.9.12 4 мар. 2016 г.
1.9.11 2 февр. 2016 г.
1.9.10 5 янв. 2016 г.
1.9.9 4 дек. 2015 г.
1.9.8 10 нояб. 2015 г.
1.9.7 24 окт. 2015 г.
1.9.6 9 окт. 2015 г.
1.9.5 2 сент. 2015 г.
1.9.4 5 авг. 2015 г.
1.9.3 1 июл. 2015 г.
1.9.2 2 июн. 2015 г.
1.9.1 1 мая 2015 г.
1.9.0 18 апр. 2015 г.
1.8.11 3 мар. 2015 г.
1.8.10 31 янв. 2015 г.
1.8.9 20 дек. 2014 г.
1.8.8 26 нояб. 2014 г.
1.8.7 31 окт. 2014 г.
1.8.6 25 сент. 2014 г.
1.8.5 30 авг. 2014 г.
1.8.4 2 авг. 2014 г.
1.8.3 2 июл. 2014 г.
1.8.2 3 июн. 2014 г.
1.8.1 2 мая 2014 г.
1.8.0 3 апр. 2014 г.

Checker Framework

Лицензия

Группа

Идентификатор

Последняя версия

Дата

Тип

Описание

Ссылка на сайт

Система контроля версий