class EIFFELDOC_SHORTER
Summary
Overview
creation features
command_name: STRING
constant attribute
command_line_help_summary: STRING
constant attribute