|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An interface for input plugins.
Method Summary | |
java.lang.Object |
begin()
Called as the first thing of doInput(). |
java.lang.Object |
end()
Called as the last thing of doInput(), just before it returns. |
Index |
getIndex()
Get the index we are doing input for. |
java.io.InputStream |
getInputStream()
Get the InputStream for the InputPlugin. |
ReaderPlugin |
getReaderPlugin()
Get the reader plugin. |
boolean |
isEOF()
Determine if the reader has hit EOF. |
ReaderResult |
read()
Do some input. |
InputPlugin |
setReaderPlugin(ReaderPlugin reader)
Set a reader plugin, to read input from the InputStream. |
Method Detail |
public Index getIndex()
public java.io.InputStream getInputStream()
public ReaderResult read() throws java.io.IOException
java.io.IOException
public boolean isEOF()
public java.lang.Object begin()
public java.lang.Object end()
public InputPlugin setReaderPlugin(ReaderPlugin reader)
public ReaderPlugin getReaderPlugin()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |