Java Modelling Language
Sign in to savespecification language for Java programs
Article · Italiano
Java Modelling Language (JML) è un linguaggio di specifica che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di un metodo e sul suo valore di ritorno. È disponibile solamente per Java 1.4.2. Le specifiche vengono aggiunte all'interno del codice sorgente Java, tramite commenti dotati di una speciale sintassi che precedono il metodo interessato. Questo significa che il codice JML non viene letto dal compilatore Java, ma solo dagli strumenti di JML.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Java
Entity
Wayback Machine
Entity
compiler
Entity
semantics
Entity
Q82268
Entity
Q732089
Entity
exception handling
Entity
invariant
Entity
universal quantification
Entity
method
Entity
syntax highlighting
Entity
existential quantification
Entity
JUnit
Entity
Javadoc
Entity
design by contract
Entity
assertion
Entity
Java annotation
Entity
Hoare logic
Entity
Rocq prover
Entity
specification language
Entity