Prise en charge des annotations JML par netbeans
Bonjour,
J'aimerais savoir comment faire pour que netbeans prenne en charge les annotations JML.
Voila j'essaie avec ce pseudo "helloworld"
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
public class Main {
public static void main(String[] args) {
System.out.println(Main.sqrt(4));
System.out.println(Main.sqrt(-2));
}
/*@
@ requires x>=0.0;
@ ensures x==\result * \result;
@
*/
private static double sqrt(double x) {
return Math.sqrt(x);
}
} |
mains dans la fenêtre de sortie j'ai:
que les annotations y soient ou pas.
Est-ce que j'ai oublié d'importer quelque chose dans la classe, ou faut-il demander une compilation en ligne de commande pour passer par un compilateur JML (type ESC)?
Merci d'avance
