aima.core.logic.propositional.parsing

Class PLLexer

java.lang.Object

aima.core.logic.common.Lexer

aima.core.logic.propositional.parsing.PLLexer

public class PLLexer
extends Lexer

A concrete implementation of a lexical analyzer for the propositional language.

Author:

Ciaran O'Reilly, Ravi Mohan, Mike Stampone

Field Summary

Fields inherited from class aima.core.logic.common.Lexer

lookAheadBufferSize

Constructor Summary

Constructors

Constructor and Description
PLLexer() Default Constructor.
PLLexer(java.lang.String inputString) Constructs a propositional expression lexer with the specified character stream.

Method Summary

Modifier and Type	Method and Description
Token	nextToken() Returns the next propositional token from the character stream.

Methods inherited from class aima.core.logic.common.Lexer

consume, getCurrentPositionInInput, lookAhead, setInput, setInput

Methods inherited from class java.lang.Object

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

Constructor Detail

PLLexer

public PLLexer()

Default Constructor.

PLLexer

public PLLexer(java.lang.String inputString)

Constructs a propositional expression lexer with the specified character stream.

Parameters:

inputString - a sequence of characters to be converted into a sequence of tokens.

Method Detail

nextToken

public Token nextToken()

Returns the next propositional token from the character stream.

Specified by:

nextToken in class Lexer

Returns:

the next propositional token from the character stream.