七组支柱管理系统操作契约概览.pdfVIP

契约CO1：makeNewStockInList

操作：makeNewStockInList

前置条件：无

后置条件：

⚫创建StockInList的实例stockInList（创建实例）。

⚫stockInList被关联到Register（形成关联）。

⚫stockInList的属性被初始化（修改属性）。

契约CO2：enterHandlerName()

操作：enterHandlerName()

⚫将stockInList的HandlerName属性修改为当前交货人的名字（修

改属性）。

契约CO3：enterManagerName()

操作：enterManagerName()

⚫将stockInList的ManagerName属性修改为当前经办人的名字（修

改属性）。

契约CO4：getStockInListID()

操作：getStockInListID()

⚫将stockInList的stockInListID属性由系统自动给出（修改属性）。

契约CO5：enterProp(PropID)

操作：enterProp(PropID)

⚫创建的实例stockInListDetails（创建实例）。

⚫stockInListDetails被关联到当前的stockInList（形成关联）。

⚫给stockInListDetails的属性赋值（修改属性）。

⚫基于propID的匹配，stockInListDetails被关联到ProductDescription

（形成关联）

契约CO6：alterProp_StatusAndProp_UsedTimes(Prop_status)

操作：alterProp_StatusAndProp_UsedTimes(Prop_status)