New procedure layout

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: 12/02/2023 3:34:33.000 AM