Class ArchivioStudenti

java.lang.Object
  ArchivioStudenti

public class ArchivioStudenti
extends java.lang.Object

Constructor Summary

ArchivioStudenti()
costruttore: inizializza un archivio vuoto.

ArchivioStudenti(java.lang.String filename)
costruttore: inizializza un archivio, inserendo i dati letti dal file filename

Method Summary

void	aggiungi(Studente unoStudente) aggiunge all'archivio uno studente
boolean	isEmpty() verifica se l'archivio e' vuoto
Studente	rimuovi() rimuove il primo elemento dell'archivio.
java.lang.String	toString() restituisce una stringa che contiene i dati degli studenti memorizzati nell'archivio.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArchivioStudenti

public ArchivioStudenti()

costruttore: inizializza un archivio vuoto.

ArchivioStudenti

public ArchivioStudenti(java.lang.String filename)
                 throws java.io.FileNotFoundException,
                        java.io.IOException

costruttore: inizializza un archivio, inserendo i dati letti dal file filename

Parameters:

filename - nome del file da cui acquisire dati

Throws:

java.io.FileNotFoundException - se il file filename non esiste

java.io.IOException

Method Detail

aggiungi

public void aggiungi(Studente unoStudente)

aggiunge all'archivio uno studente

Parameters:

unoStudente - lo studente da aggiungere

isEmpty

public boolean isEmpty()

verifica se l'archivio e' vuoto

Returns:

true se l'archivio e' vuoto, false altrimenti

rimuovi

public Studente rimuovi()
                 throws java.util.NoSuchElementException

rimuove il primo elemento dell'archivio. Il metodo non altera l'ordine degli oggetti dell'array.

Returns:

l'elemento rimosso

Throws:

java.util.NoSuchElementException - se il metodo viene invocato quando l'archivio e' vuoto

toString

public java.lang.String toString()

restituisce una stringa che contiene i dati degli studenti memorizzati nell'archivio.

Overrides:

toString in class java.lang.Object

Returns:

i dati contenuti nell'archivio