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