Package db.buffers
Interface BufferFileManager
-
- All Known Implementing Classes:
Database.DBBufferFileManager
public interface BufferFileManager
BufferFileManager
provides an interface for a BufferFile manager who understands the storage for the various versions of BufferFiles associated with a single database.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.io.File
getBufferFile(int version)
Get the buffer file corresponding to a specified version.java.io.File
getChangeDataFile(int version)
Get the change data buffer file corresponding to the specified version.java.io.File
getChangeMapFile()
Returns the change map file corresponding to this DB if one is defined.int
getCurrentVersion()
Returns the current version.java.io.File
getVersionFile(int version)
Get the buffer version file corresponding to a specified version.void
updateEnded(long checkinId)
Callback indicating that a buffer file update has ended without creating a new version.void
versionCreated(int version, java.lang.String comment, long checkinId)
Callback for when a buffer file is created.
-
-
-
Method Detail
-
getCurrentVersion
int getCurrentVersion()
Returns the current version. A value of 0 indicates that the first buffer file has not yet been created.
-
getBufferFile
java.io.File getBufferFile(int version)
Get the buffer file corresponding to a specified version.- Parameters:
version
-- Returns:
- database buffer file.
-
getVersionFile
java.io.File getVersionFile(int version)
Get the buffer version file corresponding to a specified version. This file contains data corresponding to a specified buffer file version and those buffers which have been modified in the next version (version+1). May return null if version files not used.- Parameters:
version
- version of the original buffer file to be reconstructed- Returns:
- buffer version file.
-
getChangeDataFile
java.io.File getChangeDataFile(int version)
Get the change data buffer file corresponding to the specified version. This file contains application specific changes which were made going from the specified version to the next version (version+1). May return null if change data files are not used.- Parameters:
version
- version of the original buffer file which was changed- Returns:
- change data buffer file.
-
getChangeMapFile
java.io.File getChangeMapFile()
Returns the change map file corresponding to this DB if one is defined. This file tracks all buffers which have been modified during a save operation.
-
versionCreated
void versionCreated(int version, java.lang.String comment, long checkinId) throws java.io.FileNotFoundException
Callback for when a buffer file is created.- Parameters:
version
-comment
-checkinId
- associated checkinId- Throws:
java.io.FileNotFoundException
- database files not found
-
updateEnded
void updateEnded(long checkinId)
Callback indicating that a buffer file update has ended without creating a new version. This method terminates the checkin session.- Parameters:
checkinId
- associated checkinId
-
-