io/DataInputStream/OpsAfterClose.java

27  *  @summary Test if DataInputStream methods will check if the stream
35         READ { boolean check(DataInputStream is) {
46         READ_BUF { boolean check(DataInputStream is) {
57         READ_BUF_OFF { boolean check(DataInputStream is) {
69         AVAILABLE { boolean check(DataInputStream is) {
79         SKIP { boolean check(DataInputStream is) {
89         MARK { boolean check(DataInputStream is) {
93         RESET { boolean check(DataInputStream is) {
102         MARK_SUPPORTED { boolean check(DataInputStream is) {
106         CLOSE { boolean check(DataInputStream is) {
115         READ_BYTE { boolean check(DataInputStream is) {
124         READ_CHAR { boolean check(DataInputStream is) {
133         READ_DOUBLE { boolean check(DataInputStream is) {
143         READ_FLOAT { boolean check(DataInputStream is) {
152         READ_INT { boolean check(DataInputStream is) {
161         READ_LONG { boolean check(DataInputStream is) {
170         READ_SHORT { boolean check(DataInputStream is) {
179         READ_UnsignedByte { boolean check(DataInputStream is) {
188         READ_UnsignedShort { boolean check(DataInputStream is) {
197         READ_UTF { boolean check(DataInputStream is) {
206         SKIP_BYTES { boolean check(DataInputStream is) {
215         READ_FULLY { boolean check(DataInputStream is) {
224         READ_FULLY_BUF { boolean check(DataInputStream is) {
235     abstract boolean check(DataInputStream is);
248             DataInputStream dis = new DataInputStream(
262     private static boolean testDataInputStream(DataInputStream is)