parse/compact/JavaCharStream.java

443                  int startline, int startcolumn, int buffersize)
446     line = startline;
458                                         int startline, int startcolumn)
460     this(dstream, startline, startcolumn, 4096);
470                  int startline, int startcolumn, int buffersize)
473     line = startline;
491                                         int startline, int startcolumn)
493     ReInit(dstream, startline, startcolumn, 4096);
502   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
505     this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
509   public JavaCharStream(java.io.InputStream dstream, int startline,
512     this(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);
516   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
519     this(dstream, encoding, startline, startcolumn, 4096);
523   public JavaCharStream(java.io.InputStream dstream, int startline,
526     this(dstream, startline, startcolumn, 4096);
542   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
545     ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
549   public void ReInit(java.io.InputStream dstream, int startline,
552     ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
555   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
558     ReInit(dstream, encoding, startline, startcolumn, 4096);
561   public void ReInit(java.io.InputStream dstream, int startline,
564     ReInit(dstream, startline, startcolumn, 4096);