Marco del corrector

Tipos de complementos personalizados para Java
Descargar ahora

Marco del corrector Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • JSR 308
  • Sistemas operativos:
  • Windows All
  • Tamaño del archivo:
  • 8.6 MB

Marco del corrector Etiquetas


Marco del corrector Descripción

Editby El marco Framework admite agregar sistemas de tipo plugnable al idioma de Java de una manera compatible con versiones anteriores. El recipiente incorporado de Java encuentra y evita muchos errores, pero no encuentra y evita suficientes errores. El Marco de verificador le permite ejecutar un mecanocalizador adicional como un complemento al compilador de Java. Su código se mantiene completamente compatible con el respaldo: su código compila con cualquier compilador de Java, se ejecuta en cualquier JVM, y sus compañeros de trabajo no tienen que usar el sistema de tipo mejorado si no quieren. Puede comprobar solo una parte de su programa. Existen herramientas de inferencia de tipo para ayudarlo a anotar su código. Un diseñador de sistemas de tipo utiliza el Marco de verificador para definir calificadores de tipo y su semántica, y un complemento del compilador (un corrector ") hace cumplir la semántica. Los programadores pueden escribir los calificadores de tipo en sus programas y usar el complemento para detectar o evitar errores. El marco Framework es útil tanto para programadores que deseen escribir código sin errores, y para escribir diseñadores de sistemas que deseen evaluar e implementar sus sistemas de tipo. Este documento utiliza los términos "verificador", "complemento de verificador", "complemento de compilación de tipo", y "procesador de anotación" como sinónimos. Versión 1.1.0b, 16 jun 2010. Proteger contra los campos específicos de JDK-7, cuando se ejecuta en Java 6.


Marco del corrector Software relacionado

Sobre nosotros