/** Constructor. */
public JSGFParser(TextReader stream)
{
jj_input_stream = new JavaCharStream(stream, 1, 1);
token_source = new JSGFParserTokenManager(jj_input_stream);
token = new Token();
_jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 26; i++)
{
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.Length; i++)
{
jj_2_rtns[i] = new JJCalls();
}
}
/** Constructor with InputStream and supplied encoding */
public JSGFParser(Stream stream, String encoding)
{
try { jj_input_stream = new JavaCharStream(stream, encoding, 1, 1); }
catch (UnsupportedEncodingException e) { throw new RuntimeException(e); }
token_source = new JSGFParserTokenManager(jj_input_stream);
token = new Token();
_jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 26; i++)
{
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.Length; i++)
{
jj_2_rtns[i] = new JJCalls();
}
}
