Checker-Framework. Benutzerdefinierte steckbare Typen für Java
Jetzt downloaden

Checker-Framework. Ranking & Zusammenfassung

Checker-Framework. Stichworte

Schacher Fehlerprüfer Error Detektor pHP Framework Fehlerdetektor. Server-Framework Javari Checker. Net Framework 3.1. freier Flash-Player. AVG-freie Firewall. acer kostenlose Spiele Samsung Unlock Code Springs-Framework. MySQL-Entitätsrahmen. Rahmen 1.1. Portal Framework. Kostenloser Download Ibrowe.

Checker-Framework. Beschreibung

EditBy Das Checker-Framework unterstützt das Hinzufügen steckbarer Typ-Systeme an der Java-Sprache auf rückwärts-kompatible Weise. Der eingebaute Typechecker von Java findet und verhindert viele Fehler - aber es findet nicht genügend Fehler. Mit dem Checker-Framework können Sie einen zusätzlichen Typechecker als Plug-In zum Javac-Compiler ausführen. Ihr Code bleibt vollständig rückwärts-kompatibel: Ihr Code kompiliert mit einem Java-Compiler, er läuft auf einem beliebigen JVM, und Ihre Mitarbeiter müssen nicht das erweiterte Systemsystem verwenden, wenn sie nicht möchten. Sie können nur einen Teil Ihres Programms überprüfen. Type Inferenzwerkzeuge gibt es, um Ihnen dabei zu helfen, Ihren Code anzusetzen. Ein Typ-System-Designer verwendet das Checker-Framework , um Typqualifikaner und ihre Semantik zu definieren, und ein Compiler-Plug-In (A "Checker") erzwingt die Semantik. Programmierer können die Typqualifikatoren in ihre Programme schreiben und das Plug-In verwenden, um Fehler zu erkennen oder zu verhindern. Das Checker-Framework ist sowohl für Programmierer nützlich, die einen fehlerfreien Code schreiben möchten, und Systemdesigner eingeben, die ihre Typ-Systeme auswerten und bereitstellen möchten. Dieses Dokument verwendet die Begriffe "Checker", "Checker-Plugin", "Typ-Check-Compiler-Plugin" und "Annotationsprozessor" als Synonyme. Version 1.1.0b, 16. Juni 2010. Schützen Sie vor JDK-7-spezifischen Feldern, wenn Sie in Java 6 laufen.

Checker-Framework. Zugehörige Software