[[Property:title|New function layout]]
[[Property:weight|3]]
[[Property:uuid|ae292b6e-7274-47a5-59f1-0f625493474f]]
[[Image:feature-wizard-function]]
When clicking '''Function''', the dialog changes to the function layout. It has the following components:
* [[Feature clauses|Feature clause selection]]
* [[Name field|Feature name field]]
* [[Argument list|Argument list]]
* [[Type selection|Type selection]]
* [[Header comment|Header comment field]]
* [[Precondition|Precondition field]]
* [[Local variable|Local variable field]]
* [[Feature body|Selection for: normal, once, deferred or external routine]]
* [[Postcondition|Postcondition field]]
==Example==
This dialog box:
[[Image:feature-wizard-function-example]]
Produces this feature:
class
PRODUCT
feature -- Status report
order_price (quantity: INTEGER): DOUBLE
-- Total price when ordering `quantity'.
require
quantity_non_negative: quantity >= 0
do
Result := quantity * price
ensure
correct: Result = quantity * price
end
end -- class PRODUCT