From f53768612b1e2268697b5444e502032ef9f3fb3c Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Tue, 23 May 2023 23:45:12 -0400 Subject: copying from old repo --- extension/examples/filesystem/real.py | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 extension/examples/filesystem/real.py (limited to 'extension/examples/filesystem/real.py') diff --git a/extension/examples/filesystem/real.py b/extension/examples/filesystem/real.py new file mode 100644 index 00000000..ec7aa693 --- /dev/null +++ b/extension/examples/filesystem/real.py @@ -0,0 +1,34 @@ +import os +from typing import List +from filesystem.filesystem import FileSystem + + +class RealFileSystem(FileSystem): + """A filesystem that reads/writes from the actual filesystem.""" + + def read(self, path) -> str: + with open(path, "r") as f: + return f.read() + + def readlines(self, path) -> List[str]: + with open(path, "r") as f: + return f.readlines() + + def write(self, path, content): + with open(path, "w") as f: + f.write(content) + + def exists(self, path) -> bool: + return os.path.exists(path) + + def rename_file(self, filepath: str, new_filepath: str): + os.rename(filepath, new_filepath) + + def rename_directory(self, path: str, new_path: str): + os.rename(path, new_path) + + def delete_file(self, filepath: str): + os.remove(filepath) + + def add_directory(self, path: str): + os.makedirs(path) -- cgit v1.2.3-70-g09d2