(int length)
| 1518 | } |
| 1519 | |
| 1520 | String getString(int length) throws IOException { |
| 1521 | byte[] b = new byte[length]; |
| 1522 | f.readFully(b); |
| 1523 | if (IJ.debugMode) |
| 1524 | IJ.log(new String(b)); |
| 1525 | return new String(b); |
| 1526 | } |
| 1527 | |
| 1528 | int getInteger(String s) { |
| 1529 | s = s.substring(10, 30); |