lastnpe / external-annotations-esperanto

Tooling to convert different representations of externalized Java annotations to & fro' each other

http://www.lastnpe.org

Eclipse Public License 1.0

2 stars 0 forks source link

code-analysis eclipse eea esperanto java null-analysis nullability nullable star-trek startrek static-analysis static-code-analysis

readme

external-annotations-esperanto

Star Trek Universal Translator like tooling to convert different representations of externalized Java annotations to & fro' each other. Bit like the humans' international auxiliary language Esperanto (EO, EPO)... :-) saluton, karaj sameideanoj!

Supported External Java Annotation formats

Eclipse's EEA External Annotations
Regular plain good old valid Java syntax sources
Checker Framework Stubs (.astub) ?
Annotation File Format from Checker Framework Support with their similar tool
NullAway Library Models and *.astubx
JSpecify JDK nullness information ?
...

Usage

TODO... ;-)