Mercurial Hosting > luan
view src/goodjava/io/DataInputStream.java @ 1542:d4407e8de707
disallow duplicates in table constructor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 20 Sep 2020 15:53:58 -0600 |
parents | aaac1d29edea |
children |
line wrap: on
line source
package goodjava.io; import java.io.InputStream; import java.io.IOException; import java.nio.charset.StandardCharsets; public class DataInputStream extends java.io.DataInputStream { public DataInputStream(InputStream in) { super(in); } public String readString() throws IOException { int len = readInt(); byte[] a = new byte[len]; readFully(a); return new String(a,StandardCharsets.UTF_8); } }