def __init__(self, inputStream: TokenStream):
TokenFilter.__init__(self, inputStream)
self.buffer = ""
self.k = 0
self.f = 0
self.length = 0
def __init__(self, inputStream: TokenStream):
TokenFilter.__init__(self, inputStream)
