THE PACKAGE JAVA.IO

java.io.DataInput

22.1

does not match the bit pattern

10xxxxxx

, then a

UTFDataFormatException

 is

thrown. Otherwise, the group is converted to the character:

(char)(((a & 0x0F) << 12) | ((b & 0x3F) << 6) | (c & 0x3F))

If the first byte of a group matches the pattern

1111xxxx

 or the pattern

10xxxxxx

, then a

UTFDataFormatException

 is thrown.

If end of file is encountered at any time during this entire process, then an

EOFException

 is thrown.

After every group has been converted to a character by this process, the char 

acters are gathered, in the same order in which their corresponding groups were

read from the input stream, to form a

String

, which is returned.

The

writeUTF

 method of interface

DataOutput

 ( 22.2.14) may be used to

write data that is suitable for reading by this method.

673