Lines Matching refs:JavaCharStream
46 /* Generated By:JavaCC: Do not edit this line. JavaCharStream.java Version 5.0 */
56 class JavaCharStream
442 public JavaCharStream(java.io.Reader dstream,
457 public JavaCharStream(java.io.Reader dstream,
464 public JavaCharStream(java.io.Reader dstream)
502 public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
509 public JavaCharStream(java.io.InputStream dstream, int startline,
516 public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
523 public JavaCharStream(java.io.InputStream dstream, int startline,
530 public JavaCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
536 public JavaCharStream(java.io.InputStream dstream)