Online Eiffel Documentation
EiffelStudio

Argument list

For functions and procedures, you can build a formal argument list. You can do this by clicking on the New argument button as many times as you need arguments.

Note: Even though this dialog always shows parentheses, they are not generated if the list is empty (Eiffel's command-query separation (CQS) principle).

Note: If you add arguments to a routine, it is not possible anymore to select routine type once.

For every attribute you selected, enter a name in the text box and a type using the type selection.

The code that is generated:

set_name (s: STRING) is
	do
	end