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