perfect-developer

0熱度

1回答

如何將if語句添加到模式的後置條件中？

我將簡化這個場景的事情（它在Perfect Developer中，它變得非常快速）。比方說，我的班級中有一個簡單的架構，名爲Succeed，它採用Course（這是一個以前定義的類）作爲參數。 基本上，我想確保課程在我的課程set作爲前提條件，然後將其添加到我的後置條件中設置的我的coursesCompleted。這個簡單的模式的偉大工程，看起來像這樣： schema !Succeed(c:Cou

if-statement formal-methods formal-verification perfect-developer 2013-11-24

---