/** * Flushes the page manager. This forces a flush of all outstanding * blocks (this it's an implicit {@link RecordFile#commit} as well). */ void rollback() throws IOException { // release header file.discard(headerBuf); file.rollback(); // and obtain it again headerBuf = file.get(0); if (headerBuf.readShort(0) == 0) header = new FileHeader(headerBuf, true); else header = new FileHeader(headerBuf, false); }
/** * Flushes the page manager. This forces a flush of all outstanding * blocks (this is an implicit {@link RecordFile#commit} as well). * * @TODO completely wrong description of method */ void rollback() throws IOException { // release header file.discard( headerBuf ); file.rollback(); // and obtain it again headerBuf = file.get( 0 ); if ( headerBuf.readShort( 0 ) == 0 ) { header = new FileHeader( headerBuf, true ); } else { header = new FileHeader( headerBuf, false ); } }
/** * Flushes the page manager. This forces a flush of all outstanding * blocks (this is an implicit {@link RecordFile#commit} as well). * * @TODO completely wrong description of method */ void rollback() throws IOException { // release header recordFile.discard( headerBuf ); recordFile.rollback(); // and obtain it again headerBuf = recordFile.get( 0 ); if ( headerBuf.readShort( 0 ) == 0 ) { header = new FileHeader( headerBuf, true ); } else { header = new FileHeader( headerBuf, false ); } }
/** * Flushes the page manager. This forces a flush of all outstanding * blocks (this is an implicit {@link RecordFile#commit} as well). * * @TODO completely wrong description of method */ void rollback() throws IOException { // release header recordFile.discard( headerBuf ); recordFile.rollback(); // and obtain it again headerBuf = recordFile.get( 0 ); if ( headerBuf.readShort( 0 ) == 0 ) { header = new FileHeader( headerBuf, true ); } else { header = new FileHeader( headerBuf, false ); } }