Bonjour,

J'aimerais savoir comment faire pour que netbeans prenne en charge les annotations JML.
Voila j'essaie avec ce pseudo "helloworld"
Code : Sélectionner tout - Visualiser dans une fenêtre à part
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:
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
2.0
NaN
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