| Online Eiffel Documentation |
| Documentation Home > Tools > EiffelStudio > EiffelStudio Reference > Wizards and dialogs > Dialogs > New feature dialog |
| EiffelStudio |
New function layout |

When clicking Function, the dialog changes to the function layout. It has the following components:

class PRODUCT feature -- Status report order_price (quantity: INTEGER): DOUBLE is -- Total price when ordering `quantity'. require quantity_non_negative: quantity >= 0 do Result := quantity * price ensure correct: Result = quantity * price end end -- class PRODUCT
| Copyright 1993-2006 Eiffel Software. All rights reserved. |