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