Automatic generation produced by ISE Eiffel
deferred class TOKEN_VISITOR Ancestors ANY Clients EDITOR_TOKEN_CHARACTER EDITOR_TOKEN_COMMENT EDITOR_TOKEN_EOL EDITOR_TOKEN_GLYPH EDITOR_TOKEN_GROUP EDITOR_TOKEN_KEYWORD EDITOR_TOKEN_LINE_NUMBER EDITOR_TOKEN_NUMBER EDITOR_TOKEN_OPERATOR EDITOR_TOKEN_SPACE EDITOR_TOKEN_STRING EDITOR_TOKEN_SYMBOL EDITOR_TOKEN_TABULATION EDITOR_TOKEN_TEXT -- Generated by Eiffel Studio --
For more details: eiffel.org