class interface KL_ARGUMENTS feature(s) from ARGUMENTS command_name: STRING feature(s) from KL_ARGUMENTS -- Access program_name: STRING -- Program name feature(s) from KL_ARGUMENTS -- Setting set_program_name (a_name: like program_name) -- Set program_name to a_name. require a_name_not_void: a_name /= Void ensure program_name_set: program_name = a_name invariant program_name_not_void: program_name /= Void; end of KL_ARGUMENTS