ReInit() public method

public ReInit ( System dstream ) : void
dstream System
return void
Beispiel #1
0
 public virtual void  ReInit(System.IO.Stream stream)
 {
     jj_input_stream.ReInit(stream, 1, 1);
     token_source.ReInit(jj_input_stream);
     token = new Token();
     jj_ntk_Renamed_Field = -1;
     jj_gen = 0;
     for (int i = 0; i < 14; i++)
     {
         jj_la1[i] = -1;
     }
     for (int i = 0; i < jj_2_rtns.Length; i++)
     {
         jj_2_rtns[i] = new JJCalls();
     }
 }
Beispiel #2
0
 public virtual void  ReInit(System.IO.Stream stream, System.String encoding)
 {
     try
     {
         jj_input_stream.ReInit(stream, encoding, 1, 1);
     }
     catch (System.IO.IOException e)
     {
         throw new System.Exception(e.Message, e);
     }
     token_source.ReInit(jj_input_stream);
     token  = new Token();
     jj_ntk = -1;
     jj_gen = 0;
     for (int i = 0; i < 14; i++)
     {
         jj_la1[i] = -1;
     }
     for (int i = 0; i < jj_2_rtns.Length; i++)
     {
         jj_2_rtns[i] = new JJCalls();
     }
 }