1492
|
1 package goodjava.io;
|
|
2
|
|
3 import java.io.InputStream;
|
|
4 import java.io.IOException;
|
|
5 import java.nio.charset.StandardCharsets;
|
|
6
|
|
7
|
|
8 public class DataInputStream extends java.io.DataInputStream {
|
|
9
|
|
10 public DataInputStream(InputStream in) {
|
|
11 super(in);
|
|
12 }
|
|
13
|
|
14 public String readString() throws IOException {
|
|
15 int len = readInt();
|
|
16 byte[] a = new byte[len];
|
|
17 readFully(a);
|
|
18 return new String(a,StandardCharsets.UTF_8);
|
|
19 }
|
|
20 }
|