public virtual void ReInit(RccTokenManager tm)
{
token_source = tm;
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 6; i++)
{
jj_la1[i] = -1;
}
}
public Rcc(StreamReader stream)
{
jj_input_stream = new SimpleCharStream(stream, 1, 1);
token_source = new RccTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 6; i++)
{
jj_la1[i] = -1;
}
}
public Rcc(InputStream stream, string encoding)
{
try
{
jj_input_stream = new SimpleCharStream(stream, encoding, 1, 1);
}
catch (UnsupportedEncodingException e)
{
throw new RuntimeException(e);
}
token_source = new RccTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 6; i++)
{
jj_la1[i] = -1;
}
}