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


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

cached: 03/26/2017 10:56:10.000 AM