Managed File Wrapper
A ManagedFileWrapper is an AbstractFileWrapper 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 the FileManager cache to delay establishing the type of the AvailFile until the file type can be read without delaying adding a file object to the FileManager cache.
Author
Richard Arriaga
Parameters
The FileManager.fileCache key.
The reference of the target file.
The FileManager this ManagedFileWrapper belongs to.
Constructors
Construct a ManagedFileWrapper.
Types
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.