Automatic generation produced by ISE Eiffel
class SINGLE_TRANSACTION Ancestors TRANSACTION* Clients SINGLE_TRANSACTION TRANSFER_MANAGER_BUILDER_IMPL Suppliers BOOLEAN DATA_RESOURCE* PLAIN_TEXT_FILE SINGLE_TRANSACTION STD_FILES -- Generated by Eiffel Studio --
For more details: eiffel.org