Automatic generation produced by ISE Eiffel
deferred class EDITOR_TOKEN_MARGIN Ancestors EDITOR_TOKEN* Descendants EDITOR_TOKEN_LINE_NUMBER Clients EDITOR_TOKEN_MARGIN* Suppliers EDITOR_DATA EDITOR_TOKEN_MARGIN* STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org