⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.184
Server IP:
65.21.180.239
Server:
Linux gowhm.eplangoweb.com 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64
Server Software:
Apache
PHP Version:
8.0.30
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
lib
/
mysqlsh
/
lib
/
python3.8
/
site-packages
/
antlr4
/
View File Name :
FileStream.py
# # Copyright (c) 2012-2017 The ANTLR Project. All rights reserved. # Use of this file is governed by the BSD 3-clause license that # can be found in the LICENSE.txt file in the project root. # # # This is an InputStream that is loaded from a file all at once # when you construct the object. # import codecs from antlr4.InputStream import InputStream class FileStream(InputStream): __slots__ = 'fileName' def __init__(self, fileName:str, encoding:str='ascii', errors:str='strict'): super().__init__(self.readDataFrom(fileName, encoding, errors)) self.fileName = fileName def readDataFrom(self, fileName:str, encoding:str, errors:str='strict'): # read binary to avoid line ending conversion with open(fileName, 'rb') as file: bytes = file.read() return codecs.decode(bytes, encoding, errors)