Online Eiffel Documentation |
Documentation Home > Tools > EiffelStudio > EiffelStudio Reference > Wizards and dialogs > Dialogs > New feature dialog |
EiffelStudio |
New procedure layout |
When clicking Procedure, the window changes to the procedure layout. It has the following components:
class PRODUCT feature {PERSON} -- Element change place_order (person: PERSON; quantity: INTEGER) is -- Mail `quantity' to `person'. require person /= Void and quantity > 0 do person.mail_order (Current, quantity) ensure person.has_ordered (Current) end end -- class PRODUCT
Copyright 1993-2006 Eiffel Software. All rights reserved. |