| Online Eiffel Documentation |
| Documentation Home > Tools > EiffelStudio > EiffelStudio Reference > Wizards and dialogs > Dialogs > New feature dialog > New feature dialog |
| EiffelStudio |
Precondition |
Enter a precondition in the require field. A precondition clause will be added to the feature:
...
require
n >= 0
...| Copyright 1993-2006 Eiffel Software. All rights reserved. |