Considérons la classe Point qui permet de représenter une point. Le squelette du code de cette classe est le suivant :
public class Point{
   private double x;
   private double y;
   /*
    * @pre -
    * @post a construit le point de coordonnée x,y
    */
   Point(double x, double y) {
    //code non fourni
   }
   /*
    * @pre -
    * @post retourne la coordonnée x du Point this
    */
   //à compléter
   /*
    * @pre -
    * @post retourne la coordonnée y du Point this
    */
   //à compléter
}
 INGInious