Javari Détecter et prévenir les erreurs subtiles et difficiles à déboguer dans vos programmes Java
Télécharger maintenant

Javari Classement & Résumé

Javari Mots clés

prévenir erreur détecter détecter l'erreur Prévention des erreurs Empêcher les erreurs

Javari La description

Détecter et prévenir les erreurs subtiles et difficiles à déboguer dans vos programmes Java Javari est une extension open source et compatibleée de la langue Java. Javari permet à un programmeur de spécifier qu'une référence particulière est en lecture seule - c'est-à-dire que la référence ne peut pas être utilisée pour modifier l'état transitif de son référent. Le vérificateur de temps de compilation Javari vérifie cette propriété, donnant un programmeur (ou d'autres outils) de confiance qu'aucun effet secondaire n'est effectué par la référence. Le Javari Toolset aide les programmeurs à détecter et à prévenir les erreurs subtiles et difficiles à déboguer dans leurs programmes.

Javari Logiciels associés