View Javadoc
1   /* Generated by: ParserGeneratorCC: Do not edit this line. Provider.java Version 1.1 */
2   /* ParserGeneratorCCOptions:KEEP_LINE_COLUMN=true */
3   package org.apache.commons.jexl3.parser;
4   
5   import java.io.IOException;
6   
7   /**
8    * Abstract interface for reading from a stream.
9    * The buffering should be done internally.
10   */
11  public interface Provider extends java.io.Closeable
12  {
13    /**
14     * Reads characters into an array
15     *
16     * @param aDest Destination buffer. May not be <code>null</code>.
17     * @param nOfs Offset at which to start storing characters. Must be &ge; 0.
18     * @param nLen The maximum possible number of characters to read. Must be &ge; 0.
19     * @return The number of characters read, or -1 at the end of the stream
20     * @exception IOException if reading fails
21     */
22    int read (char [] aDest, int nOfs, int nLen) throws IOException;
23  }
24   
25  /* ParserGeneratorCC - OriginalChecksum=79842b13b96be0e2dfb1b63e055ed16a (do not edit this line) */