Error File Wrapper
A ErrorServerFileWrapper is a AbstractFileWrapper that encountered an error when accessing the underlying file.
Author
Richard Arriaga
Parameters
The FileManager.fileCache key.
The reference of the target file.
The FileManager this ManagedFileWrapper belongs to.
Constructors
Construct a ManagedFileWrapper.
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.
Properties
The AvailFile wrapped by this ManagedFileWrapper.
The ResolverReference of the target file on disk.