Class Archivio

java.lang.Object
  Archivio

public class Archivio

extends java.lang.Object

Constructor Summary

Archivio()
inizializza un archivio vuoto

Archivio(java.lang.String filename)
inizializza un archivio, inserendo dati acquisiti da file

Method Summary

void	aggiungi(java.lang.String nome, int matr) Aggiunge un oggetto ridimensionando l'array se richiesto.
Studente	togli() ritorna il valore massimo del contenitore (massimo nel senso di compareTo()), cancellandolo dal contenitore.
boolean	vuoto() verifica se il contenitore è vuoto.

Methods inherited from class java.lang.Object

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

Constructor Detail

Archivio

public Archivio()

inizializza un archivio vuoto

Archivio

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

inizializza un archivio, inserendo dati acquisiti da file

Parameters:

filename - nome del file da cui vengono acquisiti i dati

Throws:

java.io.IOException

java.io.FileNotFoundException

Method Detail

vuoto

public boolean vuoto()

verifica se il contenitore è vuoto.
Andamento asintotico O(1)

Returns:

true se l'array e' vuoto, false altrimenti

aggiungi

public void aggiungi(java.lang.String nome,
                     int matr)

Aggiunge un oggetto ridimensionando l'array se richiesto. L'elemento sia inserito in coda all'array e successivamente l'array sia ordinato. Attenzione, prima dell'inserimento l'array e' ordinato! Andamento asintotico O(n).

Parameters:

nome - nome dello studente da aggiungere

matr - numero di matricola dello studente da aggiungere

togli

public Studente togli()
               throws java.util.NoSuchElementException

ritorna il valore massimo del contenitore (massimo nel senso di compareTo()), cancellandolo dal contenitore.
Andamento asintotico O(1).

Returns:

il valore massimo

Throws:

java.util.NoSuchElementException - se l'array e' vuoto