public class WebPageInputManager extends java.lang.Object implements InputManager
Constructor and Description |
---|
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 ). |
Modifier and Type | Method and Description |
---|---|
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.
|
public WebPageInputManager(java.lang.String url)
http://www.gmail.com
). Se la pagina
non esiste o non è accessibile, in fase di esecuzione si verifica un errore
di tipo WebPageException
.url
- il nome della pagina web da aprire in lettura.public java.lang.String readLine()
\n
(linefeed), \r
(
carriage return) o da un carriage return seguito da un
linefeed.readLine
in interface InputManager
null
se � stata
raggiunta la fine del file.public void close()
InputManager
close
in interface InputManager
public boolean isClosed()
InputManager
isClosed
in interface InputManager
true
se e solo se il canale è chiuso.public void reset()
public static boolean accessible(java.lang.String url)
url
- la stringa che descrive l'url della pagina.true
se la pagina specificata come argomento esiste ed
è accessibile, false
altrimenti.