Null File Wrapper
A NullFileWrapper is an AbstractFileWrapper not used by the FileManager to hold an AvailFile that is on the file system of the machine Avail is running. The purpose of this is to enable access outside of the FileManager.
Author
Richard Arriaga
Parameters
The reference of the target file.
The FileManager this ManagedFileWrapper belongs to.
Constructors
Construct a NullFileWrapper.
Properties
The AvailFile wrapped by this NullFileWrapper.
The number of clients that actively have this file open.
The ResolverReference of the target file on disk.
Functions
Close this ManagedFileWrapper.
Save the tracedActionStack to local history starting from the position at tracedActionStackSavePointer.
Update the wrapped AvailFile with the provided FileAction.
Notify the FileRequestHandlers in ManagedFileWrapper.fileRequestQueue that the file action encountered a failure while opening.
Notify this ManagedFileWrapper that the AvailFile has been fully read.
Undo the FileAction performed on the file from the TracedAction that is undoStackDepth + 1 from the top of the stack.