New procedure layout

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

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