jspecify

Jspecifier

Un artefact d'annotations bien spécifiées pour alimenter les vérifications de l'analyse statique et l'interoprothérapie du langage JVM. Développé par consensus des organisations partenaires répertoriées sur notre site Web principal, jspecify.org.

Notre accent est actuel sur les annotations pour l'analyse de l'annulation.

Statut

Nous avons publié la version 1.0.0, qui finalise nos annotations de null initiales.

Choses à lire

Voir jspecify.org/docs/start-here.