概念
tryAccept()
StareBrain提出的状态转换方法,用于在双轴状态模型中强制实现结构不变式:仅当DeliveryState为CONFIRMED时才允许AcceptanceState从PENDING转移
时间轴 (近 90 天)
10月13日
StareBrain通过tryAccept()方法保障结构不变式:只有当delivery == CONFIRMED时才允许接受状态从PENDING转移,否则抛出异常。
待验证50%
StareBrain提出的状态转换方法,用于在双轴状态模型中强制实现结构不变式:仅当DeliveryState为CONFIRMED时才允许AcceptanceState从PENDING转移
StareBrain通过tryAccept()方法保障结构不变式:只有当delivery == CONFIRMED时才允许接受状态从PENDING转移,否则抛出异常。