From fde085bbddb819546a2a5bcf369522e2249acf51 Mon Sep 17 00:00:00 2001 From: Dakkaron Date: Wed, 27 Apr 2016 19:23:42 +0200 Subject: [PATCH] stdlib/2.7./codecs.pyi: added missing __enter__() and __exit__() (#167) --- stdlib/2.7/codecs.pyi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/stdlib/2.7/codecs.pyi b/stdlib/2.7/codecs.pyi index bd576adeb..582bf4062 100644 --- a/stdlib/2.7/codecs.pyi +++ b/stdlib/2.7/codecs.pyi @@ -188,6 +188,10 @@ class StreamReader(Codec): class StreamReaderWriter: def __init__(self, stream: BinaryIO, Reader: _stream_reader_type, Writer: _stream_writer_type, errors: str = ...) -> None: ... + def __enter__(self) -> BinaryIO: + ... + def __exit__(self, typ, exc, tb) -> bool: + ... class StreamRecoder(BinaryIO): def __init__(self, stream: BinaryIO, encode: _encode_type, decode: _decode_type, Reader: _stream_reader_type, Writer: _stream_writer_type, errors: str = ...) -> None: