Javarificador Herramienta de inferencia de inmutabilidad de referencia para Javari
Descargar ahora

Javarificador Clasificación y resumen

Javarificador Etiquetas

fichero inferencia Herramienta de inferencia Herramienta de javari inferir mutabilidad inferir Javari libre java antivirus reproductor flash java palabras con amigos Código de desbloqueo de Samsung www.java.com Zuma-Stars-Words juegos de spiderman para Sims Superstar 2.8.1 proxy xtube Representante de juegos de Warcraft PIF a WSH www.j Comcast TV compatible

Javarificador Descripción

Javari es una extensión compatible con el espalda del idioma Java. Javari permite a un programador especificar que una referencia particular es de solo lectura, es decir, la referencia no se puede usar para cambiar el estado transitivo de su referente. El verificador de tiempo de compilación de Javari verifica esta propiedad, dando una confianza de un programador (u otras herramientas) que no se realizan efectos secundarios a través de la referencia. El conjunto de herramientas Javari ayuda a programadores a detectar y prevenir errores sutiles, difíciles de depurar en sus programas. Javarificador lee un conjunto de clases de Java para analizar (en formato .clase) e infiere la mutabilidad (IM) de cada referencia. Produce las mutabilidades inferidas en un archivo de anotación, un formato de archivo textual para describir anotaciones de programas Java; Los archivos de la clase de entrada no se modifican. Estas anotaciones se pueden usar directamente, o se insertan en los archivos .class o los archivos .java correspondientes usando las utilidades de archivos de anotación. Si las anotaciones de Javari se insertan en el código fuente, pueden ser revisadas por el comprobador tipo Javari. ¡Dale a Javarifier un intento de ver qué tan útil puede ser para ti!

Javarificador Software relacionado