... 输出返回值（Output Return）： 前置条件（Precondition）： 出现的前置条件异常（Precondition Exception Raised）： ...
基于10个网页-相关网页
有多少任务需要其他任务作为前置条件？
将异常处理改为断言去掉了前置条件赐予的保护膜。
Changing the exception to an assertion removed the blessed protection of the precondition tests.
用OVal为方法指定前置条件必须对方法参数进行标注。
To specify preconditions for a method with OVal, you must annotate method parameters.
应用推荐