Automatic generation produced by ISE Eiffel
deferred class EDITOR_TOKEN_BLANK Ancestors EDITOR_TOKEN* Descendants EDITOR_TOKEN_SPACE EDITOR_TOKEN_TABULATION Clients EDITOR_TOKEN_BLANK* VIEWER_LINE Suppliers EDITOR_TOKEN_BLANK* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org