Javariverier

Referentie Onmogelijkheid Inferentietool voor Javari
Download nu

Javariverier Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • Freeware
  • Naam uitgever:
  • Javari team
  • Besturingssystemen:
  • Windows All
  • Bestandsgrootte:
  • 6.1 MB

Javariverier Tags


Javariverier Beschrijving

Javari is een achterwaartse compatibele uitbreiding van de Java-taal. Javari maakt een programmeur mogelijk om aan te geven dat een bepaalde referentie alleen-lezen is - dat wil zeggen, de referentie kan niet worden gebruikt om de transitieve toestand van zijn referenties te wijzigen. De Javari Compile-Time Checker verieert deze eigenschap, waardoor een programmeur (of andere tools) het vertrouwen heeft dat er geen bijwerkingen worden uitgevoerd via de referentie. De Javari-toolset helpt programmeurs om subtiele, hard-to-debug-fouten in hun programma's te detecteren en te voorkomen. Javarifier leest een set Java-klassen om te analyseren (in .class-indeling) en de (IM) -vatbaarheid van elke referentie. Het voert de afgeleide mutabiliteiten in een annotatiebestand uit, een tekstueel bestandsformaat voor het beschrijven van annotaties van Java-programma's; De invoerklasse-bestanden worden niet gewijzigd. Deze annotaties kunnen direct worden gebruikt of ingevoegd in de .class-bestanden of de bijbehorende .java-bestanden met behulp van de annotatiebestandshulpprogramma's. Als Javari-annotaties in de broncode zijn ingevoegd, kunnen ze worden gecontroleerd door de javari-typecontrole. Geef Javarifier A Probeer te zien hoe nuttig het kan zijn voor jou!


Javariverier Gerelateerde software

Over ons