ประโยคภาษาจีน : 中文句子 |
|---|
|
lèi sì 类似 de 地 zài 在 hán shù 函数 de 的 mò wěi 末尾 rú guǒ 如果 nín 您 zhī dào 知道 yīng gāi 应该 yǒu 有 mǒu xiē 某些 hòu zhì 后置 tiáo jiàn 条件 nà 那 jiù 就 biān xiě 编写 duì yìng 对应 yú 于 gè xiàng 各项 tiáo jiàn 条件 de 的 duàn yán 断言 |
| Similarly, at the end of the function, if you know that there are certain post-conditions that should hold, write assertions corresponding to each. |