parse/compact/JavaCharStream.java

469   public void ReInit(java.io.Reader dstream,
490   public void ReInit(java.io.Reader dstream,
493     ReInit(dstream, startline, startcolumn, 4096);
497   public void ReInit(java.io.Reader dstream)
499     ReInit(dstream, 1, 1, 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);
567   public void ReInit(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
569     ReInit(dstream, encoding, 1, 1, 4096);
573   public void ReInit(java.io.InputStream dstream)
575     ReInit(dstream, 1, 1, 4096);