コード例 #1
0
ファイル: DataInputStream.java プロジェクト: adityavs/infer 
 public final int readUnsignedShort() throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }
コード例 #2
0
ファイル: DataInputStream.java プロジェクト: adityavs/infer 
 public final int skipBytes(int n) throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }
コード例 #3
0
ファイル: DataInputStream.java プロジェクト: adityavs/infer 
 public int read(byte b[], int off, int len) throws IOException {
   return InferUndefined.can_throw_ioexception_int();
 }