Java I/O. Corso di Programmazione CdS: Informatica e Tecnologie per la Produzione di Software Nicola Fanizzi.

Transcript

1 Java I/O Corso di Programmazione CdS: Informatica e Tecnologie per la Produzione di Software Nicola Fanizzi fanizzi@di.uniba.it

2 Introduzione Spesso un programma deve acquisire dati da una sorgente o inviare informazioni a una destinazione (esterne) L informazione può essere di ogni tipo: caratteri immagini suoni oggetti Librerie java.io (e la nuova java.nio) 2

3 3 Classe File Serve per ottenere informazioni riguardo un file NB: : Creare un oggetto di tipo File non significa creare un file fisico Costruttori File(String percorso) Crea un oggetto di tipo File a partire da una stringa (il percorso) File(File dir, String nome) Crea un oggetto di tipo File denominato nome a partire dalla directory dir (descritta tramite un oggetto di tipo File) File(String dir, String nome) Crea un oggetto di tipo File denominato nome a partire dalla directory dir (descritta tramite una stringa)

4 Esempio Uso di File 1. import java.io.file; 2. true 3. public class FileInfo { true 4. public static void main(string[] args) false 5. throws java.io.ioexception { true 6. File f = new File("FileInfo.class"); true 7. System.out.println(f.exists()); System.out.println(f.isFile()); C:\Prove\FileInfo.class 9. System.out.println(f.isDirectory()); FileInfo.class 10. System.out.println(f.canRead()); null 11. System.out.println(f.canWrite()); C:\Prove 12. System.out.println(f.length()); 13. System.out.println(f.getAbsolutePath()); 14. System.out.println(f.getName()); 15. System.out.println(f.getParent()); 16. File p = new File(f.getAbsolutePath()); 17. System.out.println(p.getParent()); 18. } 19. } 4

5 File Metodi Metodi Utili boolean delete() Cancella il file o la directory specificata boolean mkdir() Crea la directory boolean renameto(file dest) Cambia nome al file String[] list() Restituisce un vettore con i nomi dei file della directory dall oggetto File File[] listfiles() Restituisce un vettore con gli oggetti File che fanno file della directory riferita dall oggetto File 5

6 1. import java.io.file; public class Lista { 4. Esempio Listato Directory 5. public static void main(string[] args) { 6. File workingdir = new File("."); 7. String[] lista = workingdir.list(); 8. for(int i=0; i<lista.length; i++) 9. System.out.println(lista[i]); 10. } 11.} Lista.java Lista.class Copy.java Copy.class FileInfo.java FileInfo.class 6

7 7 Input / Output scrittura sorgente applicazione destinazione lettura

8 8 Flussi di Input / Output Per acquisire dati, una applicazione deve aprire uno stream (o flusso) associato alla sorgente di informazione (file, socket, memoria, ecc.) e leggere l informazione sequenzialmente da esso Un programma può inviare verso una destinazione esterna dei dati aprendo uno stream associato alla destinazione e scrivendovi in modo sequenziale i dati Indipendentemente dall origine e dalla destinazione dei dati e dal loro tipo, gli algoritmi per leggere e scrivere sequenzialmente dei dati sono molto simili

9 9 Lettura / Scrittura Sequenziale Lettura Apertura dello stream Finché ci sono dati da leggere lettura dato Chiusura dello stream Scrittura Apertura dello stream Finché ci sono dati da scrivere scrittura dato Chiusura dello stream

10 Tipi di Flusso 10 Le classi di gestione degli stream sono di due tipi in base ai dati su cui operano: caratteri / byte Stream di Caratteri (Unicode 16bit) classi Reader e Writer e derivate Stream di Byte (8bit) classi InputStream e OutputStream e derivate Esistono varie sottoclassi che consentono la lettura/scrittura su file come, ad es.: FileReader e FileWriter (testo) FileInputStream e FileOutputStream (binari) Possono sollevare eccezioni della classe IOException (e sue derivate)

11 Tipi di Flusso 11 Le classi astratte Filter- rappresentano i flussi ai quali è applicato una forma di filtraggio man mano che essi vengono letti/scritti I flussi Buffered- aggiungono ad ogni flusso un buffer per aumentare l'efficienza I flussi Piped- vengono progettati a coppie in modo da poterle collegare I flussi di memoria permettono di utilizzare strutture dati presenti in memoria come sorgenti/destinazioni di informazione I flussi Print- permettono di controllare la formattazione dell'output Altri flussi: utili alla costruzione di parser PushbackInputStream LineNumberInputStream StreamTokenizer

12 Classi dei Flussi di Byte FileInputStream frammento 12 PipedInputStream DataInputStream FilterInputStream BufferedInputStream InputStream ByteArrayInputStream PushbackInputStream SequenceInputStream LineNumberInputStream StringBufferInputStream ObjectInputStream gerarchia analoga per OutputStream

13 InputStream 13 abstract int read() legge il prossimo byte di dati dallo stream int read(byte[] b) legge i prossimi byte di dati dallo stream salvandoli nel buffer array b int read(byte[] b, int off, int len) legge len byte dallo stream salvandoli nell'array b a partire da off void reset() riposiziona lo stream all ultima marcatura provocata da mark() long skip(long n) salta i prossimi n byte letti dallo stream int available() restituisce il numero di byte leggibili da questo stream void mark(int readlimit) marca la posizione corrente boolean marksupported() Testa se lo stream supporta i metodi mark e reset void close() chiude lo stream Corso di Programmazione e rilascia (IPSW) le risorse 2004 S.Ferilli associate & N.Fanizzi - dib - UniBA

14 Esempio Conteggio Byte Letti da Stream 1. import java.io.*; public class ContaByte { 4. public static void main(string[] args) throws IOException { 5. InputStream in = new FileInputStream(args [0]); 6. int totale; 7. while (in.read()!= -1) 8. ++totale; 9. System.out.pritln( Letti: +totale+ byte ); 10. in.close(); 11. } 12. } 14

15 OutputStream 15 abstract void write(int b) scrive il byte specificato sullo stream void write(byte[] b) scrive i b.length byte dell'array specificato sullo stream void write (byte[] b, int off, int len) scrive sullo stream len byte dell'array specificato iniziando da offset void flush() svuota lo stream, forzando la scrittura dei byte ancora nel buffer void close() chiude lo stream rilasciando le risorse associate

16 Classi dei Flussi di Caratteri frammento 16 BufferedReader LineNumberReader CharArrayReader Reader InputStreamReader FilterReader FileReader PushBackReader PipedReader StringReader gerarchia analoga per Writer

17 Reader 17 abstract void close() chiude il flusso void mark(int readaheadlimit) marca la posizione corrente boolean marksupported() dice se lo stream supporta la marcatura int read() legge un carattere int read(char[] cbuf) legge caratteri in un array abstract int read(char[] cbuf, int off, int len) legge caratteri in una porzione di array int read(charbuffer target) cerca di leggere caratteri nel buffer di caratteri specificato boolean ready() dice se lo stream è pronto per nuove letture void reset() resetta lo stream long skip(long n) salta n caratteri

18 1. import java.io.*; 2. Esempio Lettura da Reader 3. public class ContaSpazi { 4. public static void main(string[] args) throws IOException { 5. Reader in = new FileReader(args[0]); 6. int totale = 0, spazi = 0, ch; while (in.read()!= -1) { 9. ++totale; 10. if (Character.isWhiteSpace((char)ch)) spazi; 12. } 13. System.out.pritln("spazi:"+spazi+ / +totale); 14. in.close(); 15. } 16. } 18

19 Writer 19 Writer append(char c) aggiunge il carattere specificato allo stream Writer append(charsequence csq) aggiunge i caratteri specificati nella sequenza allo stream Writer append(charsequence csq, int start, int end) aggiunge allo stream i caratteri specificati nella sotto-sequenza abstract void close() chiude lo stream dopo lo svuotamento abstract void flush() svuota lo stream void write(char[] cbuf) scrive un array di caratteri abstract void write(char[] cbuf, int off, int len) scrive una porzione di un array di caratteri void write(int c) scrive un carattere void write(string str) scrive una stringa void write(string str, int off, int len) scrive una porzione di una stringa

20 InputStreamReader OutputStreamWriter 20 Permettono la conversione da flusso caratteri Unicode a flusso di byte e viceversa: InputStreamReader(InputStream in) la sorgente in fornisce un flusso di byte che viene convertito in un flusso di caratteri char read() legge il prossimo carattere dal flusso di byte collegato OutputStreamWriter(OutputStream out) fornisce la conversione di un flusso di caratteri in un flusso di byte di destinazione out write(char c) scrive il carattere sul flusso di byte collegato

21 FileReader public FileReader(String nomefile) throws FileNotFoundException Crea un nuovo FileReader,, per leggere dal file il cui nome viene passato Parametri: nomefile nome del file da leggere Eccezioni: FileNotFoundException se il file specificato non esiste 21

22 Lettura 22 Per leggere caratteri da un file si crea un istanza FileReader FileReader(String nomefile) esempio: FileReader myreader = new FileReader( input.txt ); Per leggere sequenze di byte da un file si crea un istanza di FileInputStream FileInputStream(String nomefile) esempio: FileInputStream myinputstream = new FileInputStream( input.txt ); In entrambi i casi si utilizza il metodo int read() che legge un carattere / byte per volta e restituisce un valore di tipo int che corrisponde al codice del carattere / byte letto oppure 1 se non ci sono più dati da leggere

23 Copia di un File di Caratteri import java.io.*; public class CopiaCaratteri { 4. public static void main(string[] args) 5. throws IOException { 6. FileReader in = new FileReader(args[0]); 7. FileWriter out = new FileWriter(args[1]); 8. int c; while ((c = in.read())!= -1) 11. out.write(c) ; in.close(); 14. out.close(); 15. } 16. }

24 Copia di un File di Byte import java.io.*; public class CopiaByte { 4. public static void main(string[] args) 5. throws IOException { 6. FileInputStream in = new FileInputStream(args[0]); 7. FileOutputStream out = new FileOutputStream(args[1]); 8. int c; while ((c = in.read())!= -1) 11. out.write(c) ; in.close(); 14. out.close(); 15. } 16. }

25 Stream con Buffer 25 migliora le performance dell'i/o copia ogni input/output da/verso una regione di memoria detta buffer lettura/scrittura dell'intero buffer su disco in un'unica soluzione un'unica sessione di accesso a disco impiega meno di tanti piccoli accessi BufferedOutputStream file output bufferizzato BufferedInputStream file input bufferizzato

26 BufferedReader 26 Conente di gestire un flusso tramite un buffer (area di memoria) I dati vengono letti a blocchi dal flusso e memorizzati in un buffer. Quando viene richiesto un nuovo dato, prima si verifica la sua disponibilità nel buffer e, se non disponibile in memoria, si legge un nuovo blocco dal flusso Costruttori disponibili BufferedReader(Reader in) Crea un oggetto BufferedReader a partire da un oggetto Reader Metodi disponibili in aggiunta a quelli di Reader String readline() Legge una riga e la restituisce sotto forma di stringa

27 BufferedReader Lettura FileReader file = new FileReader( nome-file ); BufferedReader in = new BufferedReader(file); 27 oppure BufferedReader in = new BufferedReader(new FileReader( nome-file )); in.readline();

28 1. import java.io.*; 2. BufferedReader Esempio 3. public class TestLettura { 4. public static void main(string[] args) 5. throws IOException { 6. FileReader file = new FileReader(args[0]); 7. BufferedReader in = new BufferedReader(file); 8. String linea; 9. while ((linea = in.readline())!= null) 10. System.out.println(linea); in.close(); 13. } 14. } 28

29 Classe PrintWriter 29 La classe PrintWriter mette a disposizione i metodi void print() void println() utilizzabili con qualunque tipo di parametro (stringa, intero, reale, ecc.) Si può creare un nuovo oggetto PrintWriter a partire da un Writer,, in particolare da un FileWriter esempio: PrintWriter f = new PrintWriter( new FileWriter( nome-file ));

30 30 1. import java.io.*; 2. Scrittura su PrintWriter 3. public class TestCopia { 4. public static void main(string[] args) 5. throws IOException { 6. FileReader file = new FileReader(args[0]); 7. BufferedReader in = new BufferedReader(file); 8. String line; 9. PrintWriter out = new PrintWriter (new FileWriter(args[1])); 10. while ((line = in.readline())!= null) 11. out.println(line); in.close(); 14. out.close(); 15. } 16. }

31 Classe PrintStream 31 La classe PrintStream mette a disposizione i metodi void print() e void println() utilizzabili con qualunque tipo di parametro (stringa, intero, reale, ecc.) Si può creare un nuovo oggetto PrintStream a partire da un OutputStream,, in particolare da un FileOutputStream PrintStream f = new PrintStream(new FileOutputStream ( file.dat )); System.out e System.err sono di tipo PrintStream

32 32 1. import java.io.*; 2. Scrittura su PrintStream 3. public class TestCopia { 4. public static void main(string[] args) 5. throws IOException { 6. FileReader file = new FileReader(args[0]); 7. BufferedReader in = new BufferedReader(file); 8. String line; 9. PrintStream out = new PrintStream(new FileOutputStream(args[1])); 10. while ((line = in.readline())!= null) 11. out.println(line); in.close(); 14. out.close(); 15. } 16. }

33 Esempio 33 Uso degli Stream 1. import java.io.*; 2. public class TestLetturaVettore { 3. public static void main(string[] args) 4. throws IOException { 5. if (args.length < 1) System.exit(-1); 6. FileReader myfile = new FileReader(args[0]); 7. BufferedReader in = new BufferedReader(myFile); 8. int i = 0, v[] = new int[100], dim; 9. String linea; 10. while (i < 100 && (linea = in.readline())!= null){ 11. v[i] = Integer.parseInt(linea); 12. i++; 13. } 14. dim = i; 15. for(i=0; i<dim; i++) 16. System.out.println(v[i]); 17. in.close(); 18. } 19. }

34 Esempio public class VettoreInt { 2. private int v[] = new int[100], dim; 3. Uso di Stream 4. public void leggi(string nomefile) throws IOException { 5. FileReader file = new FileReader (nomefile); 6. BufferedReader in = new BufferedReader(file); 7. int i = 0; 8. String line; 9. while (i < 100 && (line = in.readline())!= null){ 10. v[i] = Integer.parseInt(line); 11. i++; 12. } 13. dim = i; 14. in.close(); 15. } // fine metodo leggi 16.

35 Esempio 35 Uso di Stream 1. public void stampa( String nomefile) throws IOException { 2. PrintWriter out = new PrintWriter(new FileWriter (nomefile)); 3. for(int i=0; i<dim; i++) 4. out.println(v[i]); 5. out.close(); 6. } // fine metodo stampa public static void main(string[] args) throws IOException { 9. if(args.length < 2) { 10. System.out.println("errore"); 11. System.exit (-1); 12. } 13. VettoreInt mydata = new VettoreInt (); 14. mydata.leggi(args[0]); 15. mydata.stampa(args[1]); 16. } // fine metodo main 17. } // fine classe

36 Classe System 36 Consente l accesso a risorse del sistema come lo standard output, allo standard input, ecc. Fornisce stream in (di tipo InputStream) ) associato allo standard input, stream out (di tipo PrintStream) ) associato all output e stream err associato allo standard error. Inoltre contiene alcuni metodi che svolgono diversi compiti, ad esempio: metodo exit(int status) interrompe l interpretazione del programma, ecc.

37 File di Record 37 Record composti da diversi campi implementabili come oggetti Java Un file può essere visto come un gruppo di record correlati Un campo di ogni record è la chiave file sequenziale record immagazzinati in ordine di chiave File di record in Java Java non impone alcuna struttura ai file Il programmatore dà una struttura ai file a seconda dell'applicazione

38 Record 38 Sally Tom Judy Iris Randy Black Blue Green Orange Red File codice ASCII J Judy Judy Green Campo Byte Record 1 Bit

39 File e Flussi Java vede i file come flussi di byte Un file termina con un marcatore di end- of-file File come flussi di byte associati ad oggetto Elaborazione file con le classi di java.io FileInputStream FileOutputStream FileReader FileWriter 39

40 File ad Accesso Sequenziale Aggiornamento Difficile aggiornare file ad accesso sequenziale L'intero file deve essere riscritto per cambiare un singolo campo Accettabile solo quando tanti record devono essere aggiornati alla volta 40

41 File ad Accesso Casuale 41 Applicazioni con accesso in tempo reale Record da collocare immediatamente Sistemi a transazioni: richiedono tempi rapidi d'accesso File ad accesso casuale (random) Si accede a record individuali in modo diretto e rapido lunghezza fissa per ogni record facilità di calcolo delle posizioni inserimento senza distruzione degli altri dati del file

42 File ad Acceso Casuale Schema offset in byte 100 byte 100 byte 100 byte 100 byte 100 byte 100 byte

43 RandomAccessFile RandomAccessFile(String n, String m) throws FileNotFoundException prima stringa: nome di file fisico seconda: modo di accesso lettura: modo read r Lancio IOException se in questa modalità non esiste il file o si tratta di una directory lettura e scrittura: modo rw. In modalità rw se non esiste lo crea, se esiste si predispone per le operazioni di lettura o scrittura ponendo il puntatore all inizio simile a DataInputStream e DataOutputstream legge/scrive dati in locazioni specificate dal puntatore di posizione nel file Manipola i dati come fossero di tipi primitivi Normalmente si scrive su file un oggetto per volta 43

44 RandomAccessFile 44 Metodi long length() Restituisce il numero di byte del file. void setlength(long newlength) Setta la lunghezza del file. se il file e più corto lo amplia, se più lungo lo tronca. In caso di riscrittura su un file esistente è necessario utilizzare questo metodo al termine della scrittura per inserire l eof. Nella forma setlength(getfilepointer()) long getfilepointer() Restituisce la posizione in byte del puntatore attuale void seek(long pos) Porta il puntatore sul byte di posizione indicata

45 RandomAccessFile void close() Chiude il file e libera la memoria heap long readlong() double readdouble() Legge un dato e trasla il puntatore di una quantità pari al numero di byte binari occupati dal tipo di dato. La lettura produce un EOFException quando incontra il termine del File String readline() in scrittura è a carico del programmatore aggiungere un carattere di fine linea \r o \n o entrambi. Legge tutti i caratteri fino al marcatore di fine linea \r o \n Se il puntatore è a EOF la stringa acquisita è null. In ogni caso si produce un EOFException

46 RandomAccessFile void writeint(int) void writelong(long) void writedouble(double) void writefloat(float) void writebyte(int) void writeboolean(boolean) void writechar(int) Scrive il dato indicato e trasla il puntatore. void writebytes(string) void writechars(string) Scrive tutti i byte di una stringa in formato dipendente dalla macchina.

47 Persistenza degli Oggetti 47 Possibilità di immagazzinare e recuperare oggetti anche complessi Gli oggetti vengono immagazzinati in uno stream Bisogna decidere un certo protocollo di memorizzazione. Si codificano tali caratteristiche usando le stringhe ed usando numeri Le cose sono difficili se la struttura dati è complessa: Occorre implementare due metodi di conversione della struttura in forma sequenziale, salvarla per poi ripristinarla, ricostruendo la struttura originaria Due soluzioni: serializzazione esternalizzazione

48 Serializable Serializzazione Interfaccia che deve essere realizzata dagli oggetti da serializzare L oggetto serializzato contiene tutta l informazione necessaria per verificare la sua classe per ricostruirne l istanza L operazione di memorizzazione di oggetti in un flusso viene detta Serializzazione Ogni oggetto riceve un numero di serie: Se lo stesso oggetto viene salvato due volte, la seconda volta ne viene salvato solo il numero di serie Se in un flusso si incontra più volte lo stesso numero di serie, questi vengono interpretati come riferimenti allo stesso oggetto 48

49 Externalizable Esternalizzazione Interfaccia che deve essere realizzata dagli oggetti da esternalizzare Realizza l interfaccia Serializable ma l oggetto esternalizzabile è l unico responsabile del formato esterno dei suoi contenuti 49

50 Interfaccia Serializable 50 Se un oggetto implementa l interfaccia Serializable, esso è serializzabile cioè può essere reso persistente e poi ripristinato La cosa importante è che l oggetto ripristinato abbia le stesse proprietà dell oggetto salvato possibilità di definire alcune proprietà come transient: viene salvata l istanza ma in fase di ripristino i suoi campi assumono i loro valori di default Supponendo di avere una classe di nome Struttura, per renderla serializzabile basterà scrivere: public class Struttura implements Serializable {... }

51 Serializzazione di Oggetti 51 ObjectOutput Interfaccia: un contenitore in cui possono essere immagazzinati oggetti writeobject(object o) writeint(), writefloat (),... flush() ObjectOutputStream Realizza l interfaccia ObjectOutput Costruita a partire da un OutputStream ObjectInput Interfaccia: un contenitore da cui possono essere recuperati oggetti Object readobject() readint(), readfloat (),... ObjectInputStream Realizza l interfaccia ObjectInput Costruita a partire da un InputStream

52 Serializzazione Esempio public void scrivi () { try { s = new ObjectOutputStream(new FileOutputStream("save.ser")); s.writeobject(salvato); s.close(); } catch (IOException ioe) { System.out.println ("Errore:"+ioe.toString()); } } public void leggi () { try { s = new ObjectInputStream(new FileInputStream("save.ser")); salvato = (TipoSalvato)(s.readObject()); s.close(); } catch (IOException ioe) { System.out.println("Errore:"+ioe.toString()); } } 52

53 Nuove API I/O di Java Consolidamento delle operazioni di I/O 4 proprietà: Capacity Limit Position Mark Operazioni di put & get Relative o assolute clear, flip, rewind, reset Buffer 53

54 Nuove API I/O di Java Connessione a dispositivi per l'i/o Interazione efficiente con buffer interfaccia ReadableByteChannel Metodo read interfaccia WriteableByteChannel Metodo write lettura sparsa e scrittura raccolta Classe FileChannel Canali 54

55 Nuove API I/O di Java 55 File Lock Pone restrizioni all'accesso di una porzione di file FileChannel,, posizione, dimensione esclusivo o condiviso Charset Package java.nio.charset Class Charset Metodi decode, encode Class CharsetDecoder, CharsetEncoder

56 FileChannelTest // FileChannelTest.java 2. import java.io.*; 3. import java.nio.*; 4. import java.nio.channels.*; public class FileChannelTest { 7. private FileChannel filechannel; public FileChannelTest() { 10. try { 11. RandomAccessFile file = new RandomAccessFile( "Test", "rw" ); 12. filechannel = file.getchannel(); 13. } catch ( IOException ioexception ) { 14. ioexception.printstacktrace(); 15. } } // end costruttore

57 FileChannelTest continua 1. public void writetofile() throws IOException { 2. ByteBuffer buffer = ByteBuffer.allocate ( 14 ); buffer.putint( 100 ); 5. buffer.putchar( 'A' ); 6. buffer.putdouble( ); buffer.flip(); 9. filechannel.write( buffer ); 10. } 57

58 FileChannelTest continua 1. public void readfromfile() throws IOException { 2. String content = ""; 3. ByteBuffer buffer = ByteBuffer.allocate( 14 ); 4. filechannel.position( 0 ); 5. filechannel.read( buffer ); buffer.flip(); content += buffer.getint() + ", " + buffer.getchar() + "," + buffer.getdouble(); System.out.println( "File contains: " + content ); filechannel.close(); 14. } // end readfromfile

59 1. public static void main( String[] args ) { 2. FileChannelTest application = new FileChannelTest(); try { 5. application.writetofile(); 6. application.readfromfile(); 7. } 8. catch ( IOException ioexception ) { 9. ioexception.printstacktrace(); 10. } 11. } // metodo 12. FileChannelTest 13. } // end class FileChannelTest continua 59

60 StringTokenizer 60 La classe StringTokenizer è definita nel package java.util Un oggetto StringTokenizer separa una stringa in sottostringhe dette token Per default, il tokenizer separa la stringa ad ogni spazio Il costruttore di StringTokenizer richiede come parametro la stringa da separare. Ciascuna chiamata al metodo nexttoken() restituisce il token successivo

61 Classe StringTokenizer 61 Costruttori StringTokenizer(String str) Costruisce un tokenizer per la stringa specificata. StringTokenizer(String str, String delim) Constructs a string tokenizer for the specified string Metodi int counttokens() Calcola il numero di volte che il metodo nexttoken() del tokenizerpuò essere chiamato prima di generare un eccezione boolean hasmoretokens() Testa se ci sono ancora token nella stringa da analizzare String nexttoken() restituisce il prossimo token dalla stringa in esame

62 Esempio Uso di StringTokenizer 1. import java.io.*; 2. import java.util.*; 3. public class testletturatoken { 4. public static void main(string[] args) 5. throws IOException { 6. FileReader file = new FileReader(args[0]); 7. BufferedReader in = new BufferedReader(file); 8. String linea; 9. while ((linea = in.readline())!= null) { 10. StringTokenizer st = new StringTokenizer(linea); 11. while(st.hasmoretokens()) 12. System.out.println(st.nextToken()); 13. } 14. in.close(); 15. } // metodo 16. } // classe 62