Javariificateur Outil d'inférence sur l'immutabilité de référence pour Javari
Télécharger maintenant

Javariificateur Classement & Résumé

Javariificateur Mots clés

dossier inférence Inference outil Outil Javari déduisent mutabilité déduire Javari Antivirus gratuit Java Java Flash Player mots avec des amis Code de déverrouillage de Samsung www.java.com zuma-stars-mots Jeux spiderman pour SIMS Superstar 2.8.1 Proxy XTube République de jeu Warcraft PIF à wsh www.j comcast TV compatible

Javariificateur La description

Javari est une extension compatible avec l'arrière 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. Javarififier lit un ensemble de classes Java pour analyser (format en .class) et déduire la mutabilité (IM) de chaque référence. Il génère les mutabilités inféré dans un fichier d'annotation, un format de fichier textuel pour décrire des annotations de programmes Java; Les fichiers de classe d'entrée ne sont pas modifiés. Ces annotations peuvent être utilisées directement ou insérées dans les fichiers .class ou les fichiers .java correspondants à l'aide des utilitaires de fichiers d'annotation. Si les annotations Javari sont insérées dans le code source, elles peuvent être vérifiées par le vérificateur de type Javari. Donnez à Javarifier un essai de voir à quel point cela peut être utile pour vous!

Javariificateur Logiciels associés