Online Eiffel Documentation
Documentation Home
>
Tools
>
EiffelStudio
>
EiffelStudio Reference
>
Wizards and dialogs
>
Dialogs
>
New feature dialog
EiffelStudio
New feature dialog
Feature clauses
Name field
Argument list
Header comment
Precondition
Local variable
Feature body
Postcondition
Type selection
Invariant
Set-procedure
Copyright 1993-2006 Eiffel Software. All rights reserved.