Lexer Specification

Lexical analyzers are specified using the matchscan statement. This construct is responsible for generating the actual string matching DFA. The actual buffering mechanisms are provided by the classes LexerBuffer, IOLexerBuffer and IOLexerStack. These classes are part of the support library distributed with Prop.

We assume that the user is familiar with lexer generator tools like lex[Les75] or flex[Pax90].

 
• Regular expressions
• Lexeme
• Lexeme class
• Tokens
• The matchscan statement
• Class LexerBuffer
• Class IOLexerBuffer
• Class IOLexerStack