@@ -147,15 +147,15 @@ class File : public MemoryPoolObject
147147 virtual Bool open ( const Char *filename, Int access = NONE, size_t bufferSize = BUFFERSIZE ); // /< Open a file for access
148148 virtual void close ( void ); // /< Close the file !!! File object no longer valid after this call !!!
149149
150- virtual Int read ( void *buffer, Int bytes ) = NULL ; /* *< Read the specified number of bytes from the file in to the
150+ virtual Int read ( void *buffer, Int bytes ) = 0 ; /* *< Read the specified number of bytes from the file in to the
151151 * memory pointed at by buffer. Returns the number of bytes read.
152152 * Returns -1 if an error occurred.
153153 */
154- virtual Int write ( const void *buffer, Int bytes ) = NULL ; /* *< Write the specified number of bytes from the
154+ virtual Int write ( const void *buffer, Int bytes ) = 0 ; /* *< Write the specified number of bytes from the
155155 * memory pointed at by buffer to the file. Returns the number of bytes written.
156156 * Returns -1 if an error occurred.
157157 */
158- virtual Int seek ( Int bytes, seekMode mode = CURRENT ) = NULL ; /* *< Sets the file position of the next read/write operation. Returns the new file
158+ virtual Int seek ( Int bytes, seekMode mode = CURRENT ) = 0 ; /* *< Sets the file position of the next read/write operation. Returns the new file
159159 * position as the number of bytes from the start of the file.
160160 * Returns -1 if an error occurred.
161161 *
@@ -165,6 +165,7 @@ class File : public MemoryPoolObject
165165 * CURRENT: means seek the specified the number of bytes from the current file position
166166 * END: means seek the specified number of bytes back from the end of the file
167167 */
168+ virtual Bool flush () = 0; // /< flush data to disk
168169 virtual void nextLine (Char *buf = NULL , Int bufSize = 0 ) = 0; // /< reads until it reaches a new-line character
169170
170171 virtual Bool scanInt (Int &newInt) = 0; // /< read an integer from the current file position.
0 commit comments