prog.io
Class WebPageInputManager

java.lang.Object
  extended by prog.io.WebPageInputManager
All Implemented Interfaces:
InputManager

public class WebPageInputManager
extends java.lang.Object
implements InputManager

Le sue istanze realizzano canali di lettura da pagine web.

Version:
3.0
Author:
Mauro Ferrari, Giovanni Pighizzini

Constructor Summary
WebPageInputManager(java.lang.String url)
          Crea un canale per la lettura dalla pagina web il cui URL è specificato come argomento (ad esempio http://www.gmail.com).
 
Method Summary
static boolean accessible(java.lang.String url)
          Per controllare se la pagina specificata come argomento esiste ed è accessibile oppure no.
 void close()
          Chiude il canale di comunicazione con la sorgente.
 boolean isClosed()
          Per sapere se il canale è chiuso o aperto.
 java.lang.String readLine()
          Legge una linea di testo.
 void reset()
          Riposiziona il puntatore di lettura all'inizio della pagina, pertanto la prossima lettura avverrà a partire dalla prima linea della pagina.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WebPageInputManager

public WebPageInputManager(java.lang.String url)
Crea un canale per la lettura dalla pagina web il cui URL è specificato come argomento (ad esempio http://www.gmail.com). Se la pagina non esiste o non è accessibile, in fase di esecuzione si verifica un errore di tipo WebPageException.

Parameters:
url - il nome della pagina web da aprire in lettura.
Method Detail

readLine

public java.lang.String readLine()
Legge una linea di testo. Una linea è considerata conclusa dai caratteri \n (linefeed), \r (carriage return) o da un carriage return seguito da un linefeed.

Specified by:
readLine in interface InputManager
Returns:
la stringa contenente la linea di testo letta (che non include alcun carattere di terminazione), oppure null se è stata raggiunta la fine del file.

close

public void close()
Description copied from interface: InputManager
Chiude il canale di comunicazione con la sorgente.

Specified by:
close in interface InputManager

isClosed

public boolean isClosed()
Description copied from interface: InputManager
Per sapere se il canale è chiuso o aperto.

Specified by:
isClosed in interface InputManager
Returns:
restituisce true se e solo se il canale è chiuso.

reset

public void reset()
Riposiziona il puntatore di lettura all'inizio della pagina, pertanto la prossima lettura avverrà a partire dalla prima linea della pagina.


accessible

public static boolean accessible(java.lang.String url)
Per controllare se la pagina specificata come argomento esiste ed è accessibile oppure no.

Returns:
true se la pagina specificata come argomento esiste ed è accessibile, false altrimenti.