后置条件

Post Condition 是一个语句或一组语句,用于描述操作结果,如果操作已完成其任务,则为 true。

Post Condition 语句指示操作完成任务时的真实情况。

© 2021 刘士. All rights reserved.

结果匹配 ""

    没有匹配的结果 ""