debug/expr/JavaCharStream.java

26 /* Generated By:JavaCC: Do not edit this line. JavaCharStream.java Version 5.0 */
36 class JavaCharStream
422   public JavaCharStream(java.io.Reader dstream,
437   public JavaCharStream(java.io.Reader dstream,
444   public JavaCharStream(java.io.Reader dstream)
482   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
489   public JavaCharStream(java.io.InputStream dstream, int startline,
496   public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,
503   public JavaCharStream(java.io.InputStream dstream, int startline,
510   public JavaCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
516   public JavaCharStream(java.io.InputStream dstream)