public interface Provider
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
int |
read(char[] buffer,
int offset,
int length) |
int read(char[] buffer,
int offset,
int length)
throws IOException
IOExceptionvoid close()
throws IOException
IOExceptionCopyright © 2017 The University of Manchester. All rights reserved.