Jomariator Annotiert Quell- oder .class-Format mit rückwärtskompatiblen Kommentaren oder Attributen
Jetzt downloaden

Jomariator Ranking & Zusammenfassung

Jomariator Stichworte

Quelle Klasse Annotator kommentieren Anmerkung Quelle annotieren Quellanmerkung.

Jomariator Beschreibung

Kommentiert das Quell- oder CLASS-Format mit rückwärtskompatiblen Kommentaren oder Attributen Javarifizer ist ein Befehlszeilen-basiertes Werkzeug, das die Immutabilität (entsprechend der Definition der Javari-Sprache) jeder Referenz in einem Java-Programm abschließt. Mit anderen Worten, Javarifier wandelt Java-Programme und Bibliotheken in Javari um. Javarifizierer kommentiert das Quell- oder CLASS-Format mit rückwärtskompatiblen Kommentaren oder Attributen.Andotierende Programme unterstützt Entwicklern bei der Begründung über den Code und die Änderung dessen, ohne subtile Mutationsfehler einzuführen. Anmerkungen von Bibliotheken ist wichtig, da Javari-Programme Bibliotheken ohne Javari-Anmerkungen verwenden, oft nicht Typeck. Das manuelle Bestimmen der Mutabilität für jeden (öffentlichen) Parameter und Renditortyp ist langweilig und fehleranfällig. Javarifier führt diese Analyse automatisch aus. Anforderungen: · Java Was ist neu in dieser Version: · Änderung des @RomayBE-Qualifiers für den parametrischen Polymorphismus über die Mutabilität von @polyRead. · Die Typenregel geändert, um @PolyRead zu integrieren, um eine aktualisierte Version des Inferenz der Referenzmutabilität anzupassen, in ECOOP '08 aufzutreten, die den von Jomariator verwendeten Inferenzalgorithmus umreißt. · Bessere Dokumentation der Befehlszeilenoption -Dumpconstraints und das Format seiner Ausgabe. · Dokumentiert die Option -Printstubs-Befehlszeilenoption. · Inklusive einer Testsuite zum Testen der Javari-Installation.

Jomariator Zugehörige Software