Considérons la classe Fraction qui permet de représenter une date. Le squelette du code de cette classe est le suivant :
/**
* Une classe représentant une fraction
*
* @author O. Bonaventure
* @version Oct. 2016
*/
public class Fraction{
private int num; // numerateur
private int den; // denominateur
/**
* @pre num>=0, den>0
* @post construit la fraction num/den
*/
public Fraction(int num, int den){
//code non fourni
}
/*
* @pre -
* @post retourne le dénominateur de la fraction
*/
public int getDen(){
//à compléter
}
/*
* @pre -
* @post retourne le numérateur de la fraction
*/
public int getNum(){
//à compléter
}
//...
}
INGInious