public File getFile() { return getMainPageFile(); }
@Override public String toString() { return "Page File: " + getMainPageFile(); }
public void archive() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } long timestamp = System.currentTimeMillis(); archive(getMainPageFile(), String.valueOf(timestamp)); archive(getFreeFile(), String.valueOf(timestamp)); archive(getRecoveryFile(), String.valueOf(timestamp)); }
private void loadForRecovery(long nextFreePageIdSnap) throws Exception { loaded.set(true); enablePageCaching = false; File file = getMainPageFile(); readFile = new RecoverableRandomAccessFile(file, "r"); loadMetaData(); pageSize = metaData.getPageSize(); enableRecoveryFile = false; nextFreePageId.set(nextFreePageIdSnap); }
/** * Deletes the files used by the PageFile object. This method can only be used when this object is not loaded. * * @throws IOException if the files cannot be deleted. * @throws IllegalStateException if this PageFile is loaded */ public void delete() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } delete(getMainPageFile()); delete(getFreeFile()); delete(getRecoveryFile()); }
File file = getMainPageFile(); IOHelper.mkdirs(file.getParentFile()); writeFile = new RecoverableRandomAccessFile(file, "rw", false);
@Override public String toString() { return "Page File: " + getMainPageFile(); }
@Override public String toString() { return "Page File: " + getMainPageFile(); }
@Override public String toString() { return "Page File: " + getMainPageFile(); }
public File getFile() { return getMainPageFile(); }
public File getFile() { return getMainPageFile(); }
private void loadForRecovery(long nextFreePageIdSnap) throws Exception { loaded.set(true); enablePageCaching = false; File file = getMainPageFile(); readFile = new RecoverableRandomAccessFile(file, "r"); loadMetaData(); pageSize = metaData.getPageSize(); enableRecoveryFile = false; nextFreePageId.set(nextFreePageIdSnap); }
private void loadForRecovery(long nextFreePageIdSnap) throws Exception { loaded.set(true); enablePageCaching = false; File file = getMainPageFile(); readFile = new RecoverableRandomAccessFile(file, "r"); loadMetaData(); pageSize = metaData.getPageSize(); enableRecoveryFile = false; nextFreePageId.set(nextFreePageIdSnap); }
private void loadForRecovery(long nextFreePageIdSnap) throws Exception { loaded.set(true); enablePageCaching = false; File file = getMainPageFile(); readFile = new RecoverableRandomAccessFile(file, "r"); loadMetaData(); pageSize = metaData.getPageSize(); enableRecoveryFile = false; nextFreePageId.set(nextFreePageIdSnap); }
public void archive() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } long timestamp = System.currentTimeMillis(); archive(getMainPageFile(), String.valueOf(timestamp)); archive(getFreeFile(), String.valueOf(timestamp)); archive(getRecoveryFile(), String.valueOf(timestamp)); }
public void archive() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } long timestamp = System.currentTimeMillis(); archive(getMainPageFile(), String.valueOf(timestamp)); archive(getFreeFile(), String.valueOf(timestamp)); archive(getRecoveryFile(), String.valueOf(timestamp)); }
public void archive() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } long timestamp = System.currentTimeMillis(); archive(getMainPageFile(), String.valueOf(timestamp)); archive(getFreeFile(), String.valueOf(timestamp)); archive(getRecoveryFile(), String.valueOf(timestamp)); }
/** * Deletes the files used by the PageFile object. This method can only be used when this object is not loaded. * * @throws IOException if the files cannot be deleted. * @throws IllegalStateException if this PageFile is loaded */ public void delete() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } delete(getMainPageFile()); delete(getFreeFile()); delete(getRecoveryFile()); }
/** * Deletes the files used by the PageFile object. This method can only be used when this object is not loaded. * * @throws IOException if the files cannot be deleted. * @throws IllegalStateException if this PageFile is loaded */ public void delete() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } delete(getMainPageFile()); delete(getFreeFile()); delete(getRecoveryFile()); }
/** * Deletes the files used by the PageFile object. This method can only be used when this object is not loaded. * * @throws IOException if the files cannot be deleted. * @throws IllegalStateException if this PageFile is loaded */ public void delete() throws IOException { if (loaded.get()) { throw new IllegalStateException("Cannot delete page file data when the page file is loaded"); } delete(getMainPageFile()); delete(getFreeFile()); delete(getRecoveryFile()); }