1 30 31 32 package org.hsqldb.lib; 33 34 import java.io.InputStream ; 35 import java.io.OutputStream ; 36 37 44 public interface FileAccess { 45 46 int ELEMENT_READ = 1; 47 int ELEMENT_SEEKABLEREAD = 3; 48 int ELEMENT_WRITE = 4; 49 int ELEMENT_READWRITE = 7; 50 int ELEMENT_TRUNCATE = 8; 51 52 InputStream openInputStreamElement(java.lang.String streamName) 53 throws java.io.IOException ; 54 55 OutputStream openOutputStreamElement(java.lang.String streamName) 56 throws java.io.IOException ; 57 58 boolean isStreamElement(java.lang.String elementName); 59 60 void createParentDirs(java.lang.String filename); 61 62 void removeElement(java.lang.String filename); 63 64 void renameElement(java.lang.String oldName, java.lang.String newName); 65 66 public interface FileSync { 67 void sync() throws java.io.IOException ; 68 } 69 70 FileSync getFileSync(OutputStream os) throws java.io.IOException ; 71 } 72 | Popular Tags |