thrownewError(localize('fileIsDirectoryError',"Expected file {0} is actually a directory",resource.toString()));
thrownewFileOperationError(localize('fileIsDirectoryError',"Expected file {0} is actually a directory",resource.toString()),FileOperationResult.FILE_IS_DIRECTORY,options);
}
// Dirty write prevention: if the file on disk has been changed and does not match our expected
thrownewFileOperationError(localize('fileIsDirectoryError',"Expected file {0} is actually a directory",resource.toString()),FileOperationResult.FILE_IS_DIRECTORY,options);
thrownewFileOperationError(localize('fileTooLargeForHeapError',"To open a file of this size, you need to restart and allow it to use more memory"),FileOperationResult.FILE_EXCEED_MEMORY_LIMIT);
thrownewFileOperationError(localize('fileTooLargeForHeapError',"To open a file of this size, you need to restart and allow it to use more memory"),FileOperationResult.FILE_EXCEED_MEMORY_LIMIT);