def __init__(self, inputStream: TokenStream): TokenStream.__init__(self, inputStream.field) self.stream = inputStream
def __init__(self, field: str, reader): TokenStream.__init__(self, field) self.reader = reader