类 ANTLRInputStream

  • 所有已实现的接口:
    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...
    • 构造器详细资料

      • ANTLRInputStream

        public ANTLRInputStream()
      • ANTLRInputStream

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

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

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

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

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