| 1234567891011 |
- import codecs
- import sys
- from antlr4.InputStream import InputStream
- class StdinStream(InputStream):
- def __init__(self, encoding:str='ascii', errors:str='strict') -> None:
- bytes = sys.stdin.buffer.read()
- data = codecs.decode(bytes, encoding, errors)
- super().__init__(data)
|
