Online Eiffel Documentation
EiffelStudio

New procedure layout

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

Example

class
	PRODUCT

feature {PERSON} -- Element change

	place_order (person: PERSON; quantity: INTEGER) is
			-- 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