Class ANTLRInputStream

  • All Implemented Interfaces:
    CharStream, IntStream

    public class ANTLRInputStream
    extends ANTLRReaderStream
    A kind of ReaderStream that pulls from an InputStream. Useful for reading from stdin and specifying file encodings etc...
    • Constructor Detail

      • ANTLRInputStream

        public ANTLRInputStream()
      • ANTLRInputStream

        public ANTLRInputStream​(java.io.InputStream input)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • ANTLRInputStream

        public ANTLRInputStream​(java.io.InputStream input,
                                int size)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • ANTLRInputStream

        public ANTLRInputStream​(java.io.InputStream input,
                                java.lang.String encoding)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • ANTLRInputStream

        public ANTLRInputStream​(java.io.InputStream input,
                                int size,
                                java.lang.String encoding)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • ANTLRInputStream

        public ANTLRInputStream​(java.io.InputStream input,
                                int size,
                                int readBufferSize,
                                java.lang.String encoding)
                         throws java.io.IOException
        Throws:
        java.io.IOException