spec fdef 验证参数关系的规范

Question

以下数据结构作为我的小型餐厅应用程序的状态：

    {:orders {:e4d55743-c964-48e8-9cd1-cb1cf9075617 [#:helloworld.restaurant{:name "chilly parotta", :quantity 3}  #:helloworld.restaurant{:name "masal dosa", :quantity 2}]}, :menu {:kothu-parotta #:helloworld.restaurant{:name "Kothu Parotta", :price 9.5, :quantity 50},  :butter-naan #:helloworld.restaurant{:name "Butter Naan", :price 3, :quantity 50}, :paneer-butter-masala #:helloworld.restaurant{:name "Paneer Butter Masala", :price 9.5, :quantity 50}}}

我有一个函数用于更新与订单中每个订单项目对应的菜单项，以减去订单数量从库存中，并返回新的菜单。我想验证以下内容：

1. 订单项目中的项目，应该存在于菜单中
2. 库存中的项目数量应该大于订单数量

我有以下规范（注意：目前我没有验证2）。当我运行此函数调用更新菜单项时，update-menu-item-for-order-item 函数未验证1中的谓词。我在 fdef 规范中犯了什么错误？

(s/def ::name string?)
(s/def ::price number?)
(s/def ::quantity number?)
(s/def ::order-item (s/keys :req [::name ::quantity]))
(s/def ::order-items (s/coll-of ::order-item))
(s/def ::menu-item (s/keys :req [::name ::price ::quantity]))
(s/def ::menu-item-id keyword?)
(s/def ::menu (s/map-of ::menu-item-id ::menu-item))

(s/fdef restaurant-save-menu :args (s/cat :menu-items (s/coll-of ::menu-item)))

(s/fdef update-menu-item-for-order-item
        :args (s/and (s/cat :menu ::menu :order-item ::order-item)
                     #(contains? (:menu %) (keyword (slugify (::name (:order-item %))))))
        :ret ::menu)

(stest/instrument `update-menu-item-for-order-item)
(stest/instrument `restaurant-save-menu)

Answer 1

你做了什么调用？你看到了什么结果？

Comments

另一种调试技术是独立于函数本身测试函数的参数规范（您可以将它分离并命名以使其更容易，但从函数规范中也可以获取到它）。

    (s/valid? (:args (s/get-spec `update-menu-item-for-order-item)) [a-menu a-item])

---

以下是代码。当调用restaurant-create-order时，它会调用create-order，而create-order又会调用update-menu-item-for-order-item。不知何故，现在断言1（所订购的项应在菜单中存在）工作正常。之前它不起作用，我也不清楚自己做了什么，但现在它工作了！无论如何，谢谢。

<pre>
(def restaurant (atom {}))

(defn update-menu-item-for-order-item [menu order-item]
  (let [name (::name order-item)
        item-id (keyword (slugify (::name order-item)))
        order-quantity<::quantity order-item)
    (update-in menu
               [item-id]
               (fn [item]
                 (if (nil? item)
                   (throw (IllegalArgumentException. (str "抱歉，我们的菜单中没有 " name)))
                   (if (< (::quantity item) order-quantity)
                     (throw (IllegalArgumentException.
                              (str "不够 " (::name item) "，我们缺 "))))
                                   (- order-quantity (::quantity item))
                                   "。请纠正订单并重新提交")))
                     (assoc item ::quantity (- (::quantity item) order-quantity))))))))

(defn create-order [orders menu order-items]
  (let [order-id (keyword (str (UUID/randomUUID)))]
    {::orders (assoc orders order-id order-items)
     ::menu   (reduce #(update-menu-item-for-order-item %1 %2) menu order-items)}))

(defn restaurant-create-order [order-items]
  (swap! restaurant #(create-order (::orders %) (::menu %) order-items)))

(restaurant-create-order [{::name "chilly parotta" ::quantity 3}
                          {::name "masal dosa" ::quantity 2}])
<pre>

---

我没有时间阅读所有这段代码 - 你能将其简化为单次函数调用并带有字面数据吗？

---

到现在为止，代码对我和Prabu都有效。我怀疑是旧的REPL状态。

---

是的，感谢@alexmiller。现在代码正常工作了