You are in:
Documentation Home
Tools
EiffelStudio
EiffelStudio Reference
Wizards and dialogs
Dialogs
New feature dialog
New feature dialog
Topics:
Set-procedure
Precondition
Invariant field
Local variable
Postcondition
Name field
Feature clauses
Header comment
Feature body
Type selection
Argument list