| Online Eiffel Documentation

EiffelStudio

# 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

    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