Logiciel capture d'écran:
Détails logiciels:
Version: 2.0.5
Date de transfert: 3 Jun 15
Développeur: KindSoftware
Licence: Gratuit
Popularité: 22
ESC projet / Java2 Frontend analyse du code Java 1.4 source et Java 1.5 bytecode dans une arborescence syntaxe abstraite qui peut être utilisé pour la vérification statique prolongée.
Le Checker statique prolongée pour la version Java 2 (ESC / Java2 de) est un outil de programmation qui tente de trouver des erreurs courantes d'exécution dans les programmes Java JML-annotés par analyse statique du code de programme et ses annotations formelles. Les utilisateurs peuvent contrôler la quantité et le type de vérifier que l'ESC / Java2 effectue en annotant leurs programmes avec des commentaires spécialement formatés appelés pragmas.
ESC / Java2 est disponible sous deux formes:
Commentaires non trouvées