Problema con EOF

[Giuso]

Direi che ho risolto usando un flag booleano e faccio il test su quello. Oppure cambio il tipo di ritorno da readChar lasciando intero e il cast lo faccio solo dopo aver testato l'intero.
Grazie

[andbin]

Oppure cambio il tipo di ritorno da readChar lasciando intero e il cast lo faccio solo dopo aver testato l'intero.

Che però così renderebbe (almeno per quello che si è visto del codice) poco utile quel tuo readChar(). Che è private, quindi usato solo all'interno della tua classe. E se fai restituire quindi direttamente il risultato di Buffer.read(), quale "valore aggiunto" avrebbe il tuo readChar ?