debug/expr/JavaCharStream.java

423                  int startline, int startcolumn, int buffersize)
426     line = startline;
438                                         int startline, int startcolumn)
440     this(dstream, startline, startcolumn, 4096);
450                  int startline, int startcolumn, int buffersize)
453     line = startline;
471                                         int startline, int startcolumn)
473     ReInit(dstream, startline, startcolumn, 4096);
482   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
485     this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
489   public JavaCharStream(java.io.InputStream dstream, int startline,
492     this(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);
496   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
499     this(dstream, encoding, startline, startcolumn, 4096);
503   public JavaCharStream(java.io.InputStream dstream, int startline,
506     this(dstream, startline, startcolumn, 4096);
522   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
525     ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
529   public void ReInit(java.io.InputStream dstream, int startline,
532     ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
535   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
538     ReInit(dstream, encoding, startline, startcolumn, 4096);
541   public void ReInit(java.io.InputStream dstream, int startline,
544     ReInit(dstream, startline, startcolumn, 4096);