Mercurial Hosting > luan
annotate src/goodjava/io/DataInputStream.java @ 1567:349eef23a13c
lucene named backup
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sat, 14 Nov 2020 20:05:07 -0700 |
parents | aaac1d29edea |
children |
rev | line source |
---|---|
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 } |