Jomariator

Referenz-Inferenz-Inferenzwerkzeug für Javari
Jetzt downloaden

Jomariator Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • Javari team
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 6.1 MB

Jomariator Stichworte


Jomariator Beschreibung

Javari ist eine 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. Javarifizer liest ein Satz von Java-Klassen, um (im .class-Format) zu analysieren und die (IM) Mutability jeder Referenz anschließt. Es gibt die abgeleiteten Mutabilitionen in einer Anmerkungsdatei, einem Text-Dateiformat zur Beschreibung von Anmerkungen von Java-Programmen aus. Die Eingabeklassendateien werden nicht geändert. Diese Anmerkungen können direkt verwendet oder in die entsprechenden .java-Dateien mit den Anmerkungsdatei-Dienstprogrammen in die entsprechenden .java-Dateien eingesetzt werden. Wenn Javari-Anmerkungen in den Quellcode eingefügt werden, können sie vom Javari-Typ Checker überprüft werden. Geben Sie Javarifianer ein, um zu sehen, wie nützlich es ist, dass es eigentlich für Sie sein kann!


Jomariator Zugehörige Software

Anis

Erstellen Sie Instanzen in einem Konstruktor- oder "Init" -Methode ...

298 35 KB

Herunterladen