115 |
/** |
/** |
116 |
* This method sets the current line number to the specified value. |
* This method sets the current line number to the specified value. |
117 |
* |
* |
118 |
* @param line_number The new line number |
* @param lineNumber The new line number |
119 |
*/ |
*/ |
120 |
public void setLineNumber(int lineNumber) |
public void setLineNumber(int lineNumber) |
121 |
{ |
{ |
139 |
* is called, the line number will be restored to the saved line number in |
* is called, the line number will be restored to the saved line number in |
140 |
* addition to the stream position. |
* addition to the stream position. |
141 |
* |
* |
142 |
* @param readlimit The number of chars that can be read before the |
* @param readLimit The number of chars that can be read before the |
143 |
* mark becomes invalid |
* mark becomes invalid |
144 |
* |
* |
145 |
* @exception IOException If an error occurs |
* @exception IOException If an error occurs |
269 |
* |
* |
270 |
* @param buf The array into which the chars read should be stored |
* @param buf The array into which the chars read should be stored |
271 |
* @param offset The offset into the array to start storing chars |
* @param offset The offset into the array to start storing chars |
272 |
* @param len The requested number of chars to read |
* @param count The requested number of chars to read |
273 |
* |
* |
274 |
* @return The actual number of chars read, or -1 if end of stream |
* @return The actual number of chars read, or -1 if end of stream |
275 |
* |
* |