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
    *
    */
   public double getX() {
       //code non fourni
   }

   /*
    * @pre -
    * @post retourne la coordonnée y du Point this
    */
   public double getY() {
       //code non fourni
   }

   /*
    * @pre p!=null
    * @post retourne la distance entre this et p
    *
    * Voir https://fr.wikipedia.org/wiki/Coordonnées_cartésiennes
    * pour le rappel de la distance entre deux points
    */
    //A compléter
}