•  08-10-2019
  •  | 
  •  

Pregunta

Busco opciones de idiomas especificación alternativa para Java, como JML.

¿Alguien sabe alguna?

Gracias.

¿Fue útil?

Solución

Los contratos de Java ( http://code.google.com/p/cofoja/) es un proyecto de Google que permite a los contratos método de escritura en anotaciones Java.

El marco puede automáticamente inserto los contratos como cheques de tiempo de ejecución dinámicas usando un fuera de línea bytecode rewriter.

Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow
scroll top