|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
T - The type of token this scanner is to read.public interface Scanner<T>
The interface that any scanner associated with an editor should implement.
| Method Summary | |
|---|---|
T |
nextToken()
Returns the next token found on the input stream, or null if there are no more tokens left. |
void |
reset(java.io.Reader reader)
Closes the current input stream, and resets the scanner to read from a new input stream. |
void |
reset(java.io.Reader reader,
T token)
Resets the scanner to its state just after reading the given token from the given reader. |
| Method Detail |
|---|
void reset(java.io.Reader reader,
T token)
throws java.io.IOException
getEndOffset method to
reset the current position; but depending on the scanner, the
token may hold other state to restore also.
reader - the new input.token - the token after which we will start.
java.io.IOException - if an IOException occurs while switching
readers.
void reset(java.io.Reader reader)
throws java.io.IOException
reader - The new input.
java.io.IOException - if an IOExecption occurs while switching readers.
T nextToken()
throws java.io.IOException
java.io.IOException - if the underlying Reader throws it during the process.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||