Searched refs:stream_maker (Results 1 – 1 of 1) sorted by relevance
190 def __init__(self, checker, filename, enabled_messages, stream_maker): argument203 self.stream_maker = stream_maker251 with self.stream_maker.make_stream() as f: