In the directory $ISE_EIFFEL/examples/lex you will find a system that scans Eiffel classes. It consists of the class EIFFEL_SCAN . It uses the file eiffel_regular as lexical grammar to analyze an Eiffel class passed on the command line.
When compiling the example, the executable eiffel_scan(.exe) is created. Use the program as follows:
eiffel_scan <Eiffel class file>;