equal
deleted
inserted
replaced
86 this.position = 0; |
86 this.position = 0; |
87 this.size = -1; |
87 this.size = -1; |
88 this.currentBlock.reset(); |
88 this.currentBlock.reset(); |
89 previousBlock.reset(); |
89 previousBlock.reset(); |
90 if (fileAccess.length(f) < 8) { |
90 if (fileAccess.length(f) < 8) { |
91 throw new IOException("Not a valid Flight Recorder file. File length is only " + f.length() + " bytes."); |
91 throw new IOException("Not a valid Flight Recorder file. File length is only " + fileAccess.length(f) + " bytes."); |
92 } |
92 } |
93 } |
93 } |
94 |
94 |
95 public RecordingInput(File f, FileAccess fileAccess) throws IOException { |
95 public RecordingInput(File f, FileAccess fileAccess) throws IOException { |
96 this(f, fileAccess, DEFAULT_BLOCK_SIZE); |
96 this(f, fileAccess, DEFAULT_BLOCK_SIZE); |