From 1610328606d0f609e491bf935517cc8798c1fb2a Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Tue, 27 Jun 2023 23:53:08 -0700 Subject: v73 was too large, removing examples, .vscignore --- extension/examples/filesystem/virtual.py | 39 -------------------------------- 1 file changed, 39 deletions(-) delete mode 100644 extension/examples/filesystem/virtual.py (limited to 'extension/examples/filesystem/virtual.py') diff --git a/extension/examples/filesystem/virtual.py b/extension/examples/filesystem/virtual.py deleted file mode 100644 index 91a10e7d..00000000 --- a/extension/examples/filesystem/virtual.py +++ /dev/null @@ -1,39 +0,0 @@ -from typing import Dict, List -from filesystem.filesystem import FileSystem - - -class VirtualFileSystem(FileSystem): - """A simulated filesystem from a mapping of filepath to file contents.""" - files: Dict[str, str] - - def __init__(self, files: Dict[str, str]): - self.files = files - - def read(self, path) -> str: - return self.files[path] - - def readlines(self, path) -> List[str]: - return self.files[path].splitlines() - - def write(self, path, content): - self.files[path] = content - - def exists(self, path) -> bool: - return path in self.files - - def rename_file(self, filepath: str, new_filepath: str): - self.files[new_filepath] = self.files[filepath] - del self.files[filepath] - - def rename_directory(self, path: str, new_path: str): - for filepath in self.files: - if filepath.startswith(path): - new_filepath = new_path + filepath[len(path):] - self.files[new_filepath] = self.files[filepath] - del self.files[filepath] - - def delete_file(self, filepath: str): - del self.files[filepath] - - def add_directory(self, path: str): - pass -- cgit v1.2.3-70-g09d2