- 0
- 0
- 约2.21千字
- 约 1页
- 2026-10-10 发布于北京
- 举报
契约1:申请发帖
申请发帖(当前版块ID:integer,当前
操作:
用户ID:integer)
交叉:用例:发帖
用户为已登录用户,并已进入某版
前置条件:
块。
⚫创建了主帖的实例C
⚫C的属性被初始化
⚫C被关联到当前版块
后置条件:
⚫C被关
契约1:申请发帖
申请发帖(当前版块ID:integer,当前
操作:
用户ID:integer)
交叉:用例:发帖
用户为已登录用户,并已进入某版
前置条件:
块。
⚫创建了主帖的实例C
⚫C的属性被初始化
⚫C被关联到当前版块
后置条件:
⚫C被关
文档评论(0)