You are in:

 Documentation Home
 Class Libraries
 EiffelLex
 Lex/Parse Samples
 Eiffel scanner

 Topics:

 EIFFEL_SCAN Text
 eiffel_scan console output
 EiffelLex Samples
 eiffel_scan console output