Automatic generation produced by ISE Eiffel
class LOGIN [G -> DATABASE create default_create end] General cluster: dbms-support description: "" create: make Ancestors HANDLE_SPEC [G -> DATABASE create default_create end] Queries application: STRING_8 connection_string: STRING_8 data_source: STRING_8 db_spec: DATABASE group_id: STRING_8 hostname: STRING_8 is_login_by_connection_string: BOOLEAN Manager: DATABASE_SESSION_MANAGER name: STRING_8 passwd: STRING_8 role_id: STRING_8 role_passwd: detachable STRING_8 Commands make set (a_name, a_passwd: STRING_8) set_application (appname: STRING_8) set_connection_string (a_str: [like connection_string] STRING_8) set_data_source (a_data_source: STRING_8) set_group (a_group_id: STRING_8) set_hostname (a_hostname: STRING_8) set_is_login_by_connection_string (a_b: [like is_login_by_connection_string] BOOLEAN) set_role (a_role_id: STRING_8; a_role_passwd: detachable STRING_8) -- Generated by Eiffel Studio --
For more details: eiffel.org