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