[lemma=□] □ □ □
[lemma=successive] □ □ □
[lemma=convert] □ □ □
The general contract of readLine is that it reads successive bytes , converting each byte separately into a character , until it encounters a line terminator or end of file ; the characters read are then returned as a String .