ResultDiskTape tape = new ResultDiskTape(); tape.start = start; tape.end = file.getFilePointer();
public ResultDiskBuffer(Session session, SortOrder sort, int columnCount) throws SQLException { this.sort = sort; this.columnCount = columnCount; Database db = session.getDatabase(); rowBuff = DataPage.create(db, Constants.DEFAULT_DATA_PAGE_SIZE); String fileName = session.getDatabase().createTempFile(); file = session.getDatabase().openFile(fileName, "rw", false); file.setCheckedWriting(false); file.autoDelete(); file.seek(FileStore.HEADER_LENGTH); if (sort != null) { tapes = new ObjectArray(); } else { mainTape = new ResultDiskTape(); mainTape.pos = FileStore.HEADER_LENGTH; } }