New function layout

class
    PRODUCT
 
feature -- Status report
 
    order_price (quantity: INTEGER): DOUBLE
            -- Total price when ordering `quantity'.
        require
            quantity_non_negative: quantity >= 0
        do
            Result := quantity * price
        ensure
            correct: Result = quantity * price
        end
 
end -- class PRODUCT