public interface Provider
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Closes the stream and releases any system resources associated with
it.
|
int |
read(char[] buffer,
int offset,
int len)
Reads characters into an array
|
int read(char[] buffer,
int offset,
int len)
throws IOException
buffer - Destination bufferoffset - Offset at which to start storing characterslength - The maximum possible number of characters to readIOExceptionvoid close()
throws IOException
IOExceptionCopyright © 2007–2017. All rights reserved.