Javarificador anota Formato de origen o clasificación de clases con comentarios o atributos compatibles con versiones anteriores
Descargar ahora

Javarificador Clasificación y resumen

Javarificador Etiquetas

fuente anotador de clase anotar anotación anotar la fuente Anotación de origen

Javarificador Descripción

Anota el formato de origen o .clase con comentarios o atributos compatibles con retroceso Javarifier es una herramienta basada en la línea de comandos que infiere la inmutabilidad (de acuerdo con la definición del idioma Javari) de cada referencia en un programa Java. En otras palabras, Javarifier convierte programas y bibliotecas de Java a Javari. Javarificador anula el formato de origen o .clase con comentarios o atributos compatibles con versiones anteriores. Los programas de bandejas ayudan a los desarrolladores del SIDA en el razonamiento sobre el código y modificándolo sin introducir errores de mutación sutiles. Las bibliotecas anotadoras son importantes porque los programas Javari utilizan las bibliotecas sin que las anotaciones de Javari a menudo no escriben. Determinar manualmente la mutabilidad para cada parámetro (público) y el tipo de retorno es tedioso y propenso a errores. Javarificador realiza automáticamente este análisis. Requisitos: · Java ¿Qué hay de nuevo en este lanzamiento: · Cambió el calificador @ROMAYBE para el polimorfismo paramétrico sobre la mutabilidad a @polyread. · Cambió la regla de tipo para inferir @polyread para que coincida con una versión actualizada de la inferencia de la mutabilidad de referencia, para aparecer en ECOOP '08, que describe el algoritmo de inferencia utilizado por Javarifier. · MEJOR DOCUMENTACIÓN DE LA OPCIÓN DE LA LÍNEA DE COMANDO -DUMPONSTRAHETS Y EL FORMATO DE SU SALIDA. · Documentado la opción de línea de comandos -printstubs. · Incluye una suite de prueba para probar la instalación de Javarifier.

Javarificador Software relacionado