de.stups.probkodkod

Class EOFLexer

java.lang.Object

de.stups.probkodkod.parser.lexer.Lexer

de.stups.probkodkod.EOFLexer

All Implemented Interfaces:

ITokenListContainer

public class EOFLexer
extends Lexer

This class behaves likes the Lexer, only fullstop tokens are replaced by EOF tokens. This way an input stream can be parsed several times (from fullstop to fullstop) without the need to write the input into an extra buffer and split it manually.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	EOFLexer.AbortException

Nested classes/interfaces inherited from class de.stups.probkodkod.parser.lexer.Lexer

Lexer.State

Field Summary

Fields inherited from class de.stups.probkodkod.parser.lexer.Lexer

state, token

Constructor Summary

Constructors

Constructor and Description
EOFLexer(java.io.PushbackReader in)
EOFLexer(java.io.Reader in)

Method Summary

Methods

Modifier and Type	Method and Description
Token	next()
Token	peek()

Methods inherited from class de.stups.probkodkod.parser.lexer.Lexer

filter, filterWrap, getNextList, getToken, getTokenList, setTokenList, unread

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EOFLexer

public EOFLexer(java.io.PushbackReader in)

EOFLexer

public EOFLexer(java.io.Reader in)

Method Detail

next

public Token next()
           throws LexerException,
                  java.io.IOException

Overrides:

next in class Lexer

Throws:

LexerException

java.io.IOException

peek

public Token peek()
           throws LexerException,
                  java.io.IOException

Overrides:

peek in class Lexer

Throws:

LexerException

java.io.IOException