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

  • 0
  • 0
  • 约2.2千字
  • 约 2页
  • 2026-03-10 发布于北京
  • 举报

契约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)

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档