Checker 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
|
Version |
Référentiel |
Usages |
Date |
| 2.4.x |
2.4.0
|
central |
|
mars 01, 2018 |
| 2.3.x |
2.3.2
|
central |
|
févr. 01, 2018 |
|
2.3.1
|
central |
|
janv. 02, 2018 |
|
2.3.0
|
central |
|
déc. 01, 2017 |
| 2.2.x |
2.2.2
|
central |
|
nov. 02, 2017 |
|
2.2.1
|
central |
|
sept. 29, 2017 |