From 8179e121f5818ab6cfb30c787eea2a98187ffb8e Mon Sep 17 00:00:00 2001 From: nojhan Date: Mon, 6 Apr 2026 16:09:49 +0200 Subject: [PATCH] feat(stream): adds filename --- src/forthlift/forthlift.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/forthlift/forthlift.py b/src/forthlift/forthlift.py index 6401913..8611958 100755 --- a/src/forthlift/forthlift.py +++ b/src/forthlift/forthlift.py @@ -29,6 +29,18 @@ class stream: def __call__(self): return sys.stdin + class filename(Stream): + """Stream from the given file.""" + def __init__(self, filename = ""): + self.filename = filename + + def __call__(self): + self.fd = open(self.filename, 'r') + return self.fd + + def __del__(self): + self.fd.close() + class consume: class Consume: def __call__(self, stream):