Skip to content
Snippets Groups Projects
Select Git revision
  • 8847a1f008aa9f4aa20e307b2c76c65d91050c51
  • master default protected
2 results

evaluations.py

Blame
  • Forked from Jean-Marie Place / SCODOC_R6A06
    Source project has a limited visibility.
    PhoneBook.java 1.65 KiB
    package devoo.tp07;
    
    import java.util.HashMap;
    import java.util.Map;
    
    /**
     * @author Antoine Nongaillard, Fabien Delecroix
     * Répertoire téléphonique permettant la gestion de numéros de téléphone de correspondants.
     */
    public class PhoneBook {
    
        /** Le répertoire sous la forme d'une table associative */
        protected Map<String, PhoneNumber> directory;
        
        /**
         * Constructeur pour instancier un répertoire vide.
         */
        public PhoneBook() {
            this.directory = new HashMap<>();
        }
    
        /**
         * Ajoute un correspondant et son numéro de téléphone
         * @param label le libellé du correspondant à ajouter
         * @param tel le numéro de téléphone du correspondant à ajouter
         */
        public void put(String label, PhoneNumber tel) {
            this.directory.put(label, tel);
        }
    
        /**
         * Supprime un correspondant donné
         * @param label le libellé du correspondant à supprimer
         */
        public void remove(String label) {
            this.directory.remove(label);
        }
    
        /**
         * Donne le numéro de téléphone d'un correspondant donné à partir de son nom
         * @param label le libellé du correspondant
         * @return le numéro de téléphone du correspondant
         */
        public PhoneNumber getNumber(String label) {
            return this.directory.get(label);
        }
    
        @Override
        public String toString() {
            StringBuilder res = new StringBuilder();
            final String NL = System.getProperty("line.separator");
            for(Map.Entry<String, PhoneNumber> e: this.directory.entrySet()) {
                res.append(e.getKey() + " : " + e.getValue() + NL);
            }
            return res.toString();
        }
        
    }