Class PushbackPythonParserTokenManager