public class FileInputManager extends java.lang.Object implements InputManager
Constructor and Description |
---|
FileInputManager(java.lang.String nomefile)
Crea un canale per la lettura dal file il cui nome è specificato come argomento.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Chiude il canale di comunicazione con la sorgente.
|
static boolean |
exists(java.lang.String nomeFile)
Per controllare se il file specificato come argomento esiste oppure no.
|
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 del file, pertanto la prossima lettura avverrà a
partire dalla prima linea del file.
|
public FileInputManager(java.lang.String nomefile)
FileNonPresenteException
.nomefile
- il nome del file 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 exists(java.lang.String nomeFile)
nomeFile
- il nome del file.true
se esiste un file con il nome specificato come argomento,
false
altrimenti.