New procedure layout

When clicking Procedure, the window changes to the procedure layout. It has the following components:

• Feature clause selection
• Feature name field
• Argument list
• Header comment field
• Precondition field
• Local variable field
• Selection for: normal, once, deferred or external routine
• Postcondition field

Example

This dialog box:

Produces this feature:
class PRODUCT feature {PERSON} -- Element change place_order (person: PERSON; quantity: INTEGER) -- 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