Javari Erkennen und verhindern Sie subtile, schwer zu Debug-Fehler in Ihren Java-Programmen
Jetzt downloaden

Javari Ranking & Zusammenfassung

Javari Stichworte

verhindern Fehler erkennen. Fehler erkennen. Fehlerprävention. Fehler vermeiden

Javari Beschreibung

Erkennen und verhindern Sie subtile, schwer zu debuggen Fehler in Ihren Java-Programmen Javari ist eine offene Quelle und rückwärtskompatible Erweiterung der Java-Sprache. Javari ermöglicht, dass ein Programmierer festgelegt wird, dass eine bestimmte Referenz nur schreibgeschützt ist. Das heißt, der Bezug kann nicht verwendet werden, um den transitiven Zustand seiner Referenzierung zu ändern. Der Javari-Kompilierzeit-Checker überprüft diese Eigenschaft, wodurch ein Programmierer (oder ein anderes Werkzeug-) Vertrauen ergibt, dass keine Nebenwirkungen durch die Referenz durchgeführt werden. Der Javari-Toolset hilft Programmierern, subtile, fehlerhafte Fehlerfehler in ihren Programmen zu erkennen und zu verhindern.

Javari Zugehörige Software