Cadre de vérificateur

Types Plaflable personnalisables pour Java
Télécharger maintenant

Cadre de vérificateur Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • JSR 308
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 8.6 MB

Cadre de vérificateur Mots clés


Cadre de vérificateur La description

EditBy Le chargé de vérificateur prend en charge l'ajout de systèmes de type enfichable à la langue Java de manière compatible avec l'arrière. Le Castechecker intégré de Java trouve et empêche de nombreuses erreurs - mais elle ne trouve pas et empêche suffisamment d'erreurs. Le chargeur Checker vous permet d'exécuter un type de dactylecker supplémentaire comme plug-in du compilateur Javac. Votre code reste complètement compatible avec l'arrière: votre code compile avec n'importe quel compilateur Java, il s'exécute sur n'importe quel JVM et vos collègues ne doivent pas nécessairement utiliser le système de type amélioré si elles ne veulent pas. Vous pouvez uniquement vérifier une partie de votre programme. Les outils d'inférence de type existent pour vous aider à annoter votre code. Un concepteur de système de type utilise le Cadre de vérification pour définir les qualificateurs de type et leur sémantique, et un plug-in compilateur (un «vérificateur») applique la sémantique. Les programmeurs peuvent écrire les qualificateurs de type dans leurs programmes et utiliser le plug-in pour détecter ou empêcher les erreurs. Le cadre Checker est utile aux programmeurs qui souhaitent écrire un code sans erreur et tapisser des concepteurs système qui souhaitent évaluer et déployer leurs systèmes de type. Ce document utilise les termes "Checker", "Plugin du checker", "Plugin de compilateur de type Vérification de la vérification" et "Processeur d'annotation" comme synonymes. Version 1.1.0B, 16 juin 2010. Protéger contre les champs spécifiques JDK-7, lors de la course à Java 6.


Cadre de vérificateur Logiciels associés

À propos de nous