Considérons à nouveau la classe Date qui permet de représenter une date. Le squelette du code de cette classe est le suivant :

/**
 * Une classe pour encoder une date
 *
 * @author Olivier Bonaventure
 * @version Oct. 2016
 */
public class Date
{
 public int jour; // le jour du mois
 public int mois; // le mois
 public int annee; // l'année

 /*
  * @pre 1<= jour <=31, 1<= mois <=12
  * @post retourne une date, les mois commencent à 1 pour janvier
  *       On ne gère pas les années bissextiles, février est supposé toujours
  *       contenir 28 jours
  */

 public Date(int jour, int mois, int annee){
   // code non fourni
 }


 /*
  * @pre -
  * @post retourne le jour
  */
 public int getJour(){
    // a compléter
 }

 /*
  * @pre -
  * @post retourne le mois (1=janvier, 2=février, ...
  */
 public int getMois(){
    // a compléter
 }

 /*
  * @pre -
  * @post retourne l'année
  */
 public int getAnnee(){
    // a compléter
 }