jspecify

Jspecify

Un artefacto de anotaciones bien especificadas para controlar las verificaciones de análisis estático y el idioma JVM interop. Desarrollado por el consenso de las organizaciones asociadas enumeradas en nuestro sitio web principal, jspecify.org.

Nuestro enfoque actual está en las anotaciones para el análisis de anulación.

Estado

Hemos lanzado la Versión 1.0.0, que finaliza nuestras anotaciones iniciales de anulación.

Cosas para leer

Ver jspecify.org/docs/start---mere.