ประโยคภาษาจีน : 中文句子 |
---|
qì yuē 契约 shí xiàn 实现 yǒu 有 qián zhì 前置 tiáo jiàn 条件 hòu zhì 后置 tiáo jiàn 条件 hé 和 bú biàn liàng 不变量 jiǎn chá 检查 |
A contract implementation (with pre-condition, post-condition, and invariants checks) |