Esc / Java2 Frontend ESC / JAVA2 Frontend Project analiza el código fuente de Java 1.4 y el código bytecode de Java 1.5 en un árbol de sintaxis abstracto.
Descargar ahora

Esc / Java2 Frontend Clasificación y resumen

Esc / Java2 Frontend Etiquetas

Java Biblioteca de java Interfaz analizador de java ESC Subsistema de javafe

Esc / Java2 Frontend Descripción

El proyecto FRONTEND del ESC / JAVA2 analiza el código fuente de Java 1.4 y el código de byteCode de Java 1.5 en un árbol de sintaxis abstracto. El proyecto FRONTEND de ESC / Java2 analiza el código fuente de Java 1.4 y el código de byteCode de Java 1.5 en un árbol de sintaxis abstracto que se puede usar para la verificación estática extendida. El corrector estático extendido para Java Versión 2 (ESC / Java2) es una herramienta de programación que intenta encontrar común Errores de tiempo de ejecución en programas JAVA anotados por JML mediante análisis estático del código del programa y sus anotaciones formales. Los usuarios pueden controlar la cantidad y los tipos de comprobación de que el ESC / Java2 realiza anotando sus programas con comentarios especialmente formateados llamados pragmas.esc / java2 está disponible en dos formas: · ESC / Java2 es una herramienta de línea de comandos con un simple frente de GUI de giro -fin. · ESC / Java2 también es un complemento ECLIPSE 3.3 (Europa). Requisements: · Java 1.4 o más tarde, lo que es nuevo en esta versión: · AST vector y las clases de prueba ahora se incluyen en la biblioteca de Javafe. · Los ejecutables binarios para las herramientas de Astgen y Astfilelist tienen Ha sido precubido para MacOS X y Linux.

Esc / Java2 Frontend Software relacionado