Searched refs:filePointer (Results 1 – 2 of 2) sorted by relevance
85 private BufferedReader filePointer = null; field in ValueServer251 if (filePointer != null) { in resetReplayFile()253 filePointer.close(); in resetReplayFile()254 filePointer = null; in resetReplayFile()259 filePointer = new BufferedReader(new InputStreamReader(valuesFileURL.openStream())); in resetReplayFile()268 if (filePointer != null) { in closeReplayFile()269 filePointer.close(); in closeReplayFile()270 filePointer = null; in closeReplayFile()342 if (filePointer == null) { in getNextReplay()345 if ((str = filePointer.readLine()) == null) { in getNextReplay()[all …]
139 final long filePointer = randomAccessFile.getFilePointer(); in skip() local141 if (filePointer >= fileLength) { in skip()144 final long targetPos = filePointer + skipCount; in skip()149 return randomAccessFile.getFilePointer() - filePointer; in skip()