ประโยคภาษาจีน : 中文句子 |
---|
zhèng rú 正如 nín 您 kě yǐ 可以 cóng 从 běn wén 本文 yàng lì 样例 wén jiàn 文件 cān jiàn 参见 xià zǎi 下载 kàn dào 看到 de 的 yī 一 zhǒng lèi 种类 shì de 似的 fāng fǎ 方法 dìng yì 定义 le 了 hòu zhì 后置 tiáo jiàn 条件 hé 和 bú biàn 不变 shì 式 |
As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants. |