ประโยคภาษาจีน : 中文句子 |
|---|
|
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) |