Considérons la classe Rectangle:

/**
  * Un objet Java représentant un rectangle
  *
  * @author O. Bonaventure
  * @version Oct. 2016
  */
 public class Rectangle{
     private double longueur;
     private double largeur;

     /**
      * @pre long, larg > 0
      * @post a construit un rectangle de longueur lon et de largeur larg
      */
     public Rectangle(double lon, double larg){
         longueur = lon;
         largeur = larg;
     }

     /*
      * @pre -
      * @post retourne la longueur du rectangle
      */
     public double getLongueur(){
         return longueur;
     }

     /*
      * @pre -
      * @post retourne la largeur du rectangle
      */
     public double getLargeur(){
         return largeur;
     }

     /*
      * @pre -
      * @post retourne la surface du rectangle
      */
      public double surface(){
        // non fourni
      }

     /*
      * @pre r != null
      * @post return true si this et r ont la même surface, false sinon
      */
      // A compléter
 }