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. |