package crousSansAssertions; /** Machine servant a payer un repas dans les points de restauration * Crous. * @author M. Nebut * @version 11/06 */ public class MachineCrous { /** retourne vrai si la machine a une carte associee. */ public boolean aCarte() { return false; } /** Retourne la carte associee a la machine. */ public CarteCrous getCarte() { return null; } /** Positionne a la carte passee en parametre la carte associee a * cette machine. * @param c la carte associee a la machine */ public void setCarte(CarteCrous c) { } /** La machine n'a plus de carte associee. */ public void unsetCarte() { } /** Retourne le prix d'un repas pour la categorie passee en * parametre. * @param c la categorie dont on veut le prix d'un repas * @return le prix d'un repas pour la categorie c */ public float prixRepas(Categorie c) { return 0; } /** Debite un repas sur la carte associee a la machine. Credite la * carte du nombre de points correspondants, dans la limite du * plafond. */ public void payerRepas() { } /** Effectue un paiement de repas gratuit sur la carte posee sur * le capteur. */ public void payerRepasGratuit() { } public String toString() { return "completer ici"; } }