Class JavaCharStream

java.lang.Object
fr.mines_stetienne.ci.sparql_generate.lang.AbstractCharStream
fr.mines_stetienne.ci.sparql_generate.lang.JavaCharStream
All Implemented Interfaces:
CharStream

public class JavaCharStream extends AbstractCharStream
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).
  • Field Details

    • NEXTCHAR_BUF_SIZE

      protected static final int NEXTCHAR_BUF_SIZE
      Predefined buffer size
      See Also:
    • nextCharBuf

      protected char[] nextCharBuf
    • nextCharInd

      protected int nextCharInd
    • inputStream

      protected Reader inputStream
  • Constructor Details

    • JavaCharStream

      public JavaCharStream(Reader dstream, int startline, int startcolumn, int buffersize)
      Constructor.
    • JavaCharStream

      public JavaCharStream(Reader dstream, int startline, int startcolumn)
      Constructor.
    • JavaCharStream

      public JavaCharStream(Reader dstream)
      Constructor.
    • JavaCharStream

      public JavaCharStream(InputStream dstream, Charset encoding, int startline, int startcolumn, int buffersize)
      Constructor.
    • JavaCharStream

      public JavaCharStream(InputStream dstream, Charset encoding, int startline, int startcolumn)
      Constructor.
    • JavaCharStream

      public JavaCharStream(InputStream dstream, Charset encoding)
      Constructor.
  • Method Details