Пример #1
0
 public static final String readUTF(DataInput in) throws IOException {
   return InferUndefined.can_throw_ioexception_string();
 }
Пример #2
0
 public final int skipBytes(int n) throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }
Пример #3
0
 public final int readUnsignedShort() throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }
Пример #4
0
 public final String readUTF() throws IOException {
   return InferUndefined.can_throw_ioexception_string();
 }
Пример #5
0
 public final long readLong() throws IOException {
   return InferUndefined.can_throw_ioexception_long();
 }
Пример #6
0
 public final short readShort() throws IOException {
   return InferUndefined.can_throw_ioexception_short();
 }
Пример #7
0
 public final float readFloat() throws IOException {
   return InferUndefined.can_throw_ioexception_float();
 }
Пример #8
0
 public final void readFully(byte b[], int off, int len) throws IOException {
   InferUndefined.can_throw_ioexception_void();
 }
Пример #9
0
 public final double readDouble() throws IOException {
   return InferUndefined.can_throw_ioexception_double();
 }
Пример #10
0
 public final char readChar() throws IOException {
   return InferUndefined.can_throw_ioexception_char();
 }
Пример #11
0
 public final byte readByte() throws IOException {
   return InferUndefined.can_throw_ioexception_byte();
 }
Пример #12
0
 public final boolean readBoolean() throws IOException {
   return InferUndefined.can_throw_ioexception_boolean();
 }
Пример #13
0
 public int read(byte b[], int off, int len) throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }