Interfaccia pubblica della classe StudentContainer


public class StudentContainer extends SortedContainer
{
    /*
      Costruisce un contenitore vuoto
    */
    public StudentContainer()
    { ... } //completare

    /*
      Costruisce un contenitore e vi inserisce oggetti di tipo Student
      usando i dati letti dal file filename, nel formato nome:matricola
    */
    public StudentContainer(String filename) throws IOException
    { ... } //completare

    /*
        Inserisce il nuovo oggetto compObj di tipo Student nel contenitore. 
        Questo metodo sovrascrive il metodo omonimo di SortedContainer. Se  
        l'oggetto compObj non e` di tipo Student il metodo deve lanciare
        IllegalArgumentException. Per il resto il comportamento del metodo e` 
        identico a quello del metodo omonimo di SortedContainer
    */
    public void add(Comparable compObj)
    { ... } //completare

    /*
        Crea un nuovo oggetto Student con il nome n e la matricola m, e 
        successivamente lo inserisce nel contenitore con le stesse modalita`
        del metodo add(Comparable compObj)
    */
    public void add(String n, int m)
    { ... } //completare

    /*
        ATTENZIONE: i metodi pubblici isEmpty(), makeEmpty(), removeMax() 
        sono ereditati dalla superclasse SortedContainer
    */
}