有多少任务需要其他任务作为前置条件？
将异常处理改为断言去掉了前置条件赐予的保护膜。
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.
如下所示，前置条件通常作为方法体中的参数验证，如下所示
This precondition is generally used for parameter validation when entering a method’s body as in the example below
可以将断言语句作为方法的前置条件或后置条件来添加。
You can add assertion statements as the pre- or post-conditions of a method.
对组件输入(例如传递给方法的参数)的测试叫做前置条件测试。
Tests on component inputs (such as parameters passed to methods) are called precondition tests.
或者你可以写一份代码来明确检查一下前置条件是否满足。
Or you can write code that checks the preconditions explicitly.
不得在法律、行政法规规定之外设置企业登记的前置条件；
They may not impose preconditions for registration of enterprises beyond the provisions of laws and administrative regulations;
利用评估工作流引擎，实现对工作流中任务前置条件的评价。
Evaluation of precondition for tasks in workflow was implemented by evaluating workflow engine.
请注意，它是一个非常简单的类，几乎所有函数都有前置条件。
Please note that this is a very simple class, with preconditions on almost all its functions.
withdraw有额外的前置条件，要求取款的数额不能超过现有余额。
Withdraw has the additional precondition requirement that the amount can't exceed the existing balance.
前置条件表示当操作被激发时输入参数和模型状态的可接受值。
Precondition describes the acceptable values of the input parameter and model's state when the operation is invoked.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
这就与我们在调用main之前需要确认的很多前置条件的概念吻合了。
This matches our concept of a number of pre-conditions we want to make sure of before calling the main code.
根据这个用例的目标，在测试用例的前置条件或者设置中还需要一些数据输入。
Depending on the goal of the use case, some data input will be required in the pre-conditions or setup of the test case.
前置条件和后置条件方法可以看到作为函数参数 （args）传递的值。
The pre-condition and post-condition methods can also see the values passed as function arguments (args).
应当取消税务行政复议前置条件，保障纳税人申请救济的基本权利。
This article argues that compulsory administrative reconsideration should be cancelled in order to let taxpayers choose dispute procedure freely, at the same time, the pre-requisition for adm...
另一个前置条件是运行前述约束检测算法所需的数据，要在模型中是实际可用的。
The other precondition is that the data that is needed to run the constraint-checking algorithm defined above is actually available in the model.
应该接收同样的参数，返回同样类型，并且遵循同样的前置条件和后置条件。
It should take the same parameters, return the same type, and obey the same preconditions and postconditions.
前置条件测试由before建议处理，该建议就在对应的方法执行连接点之前执行。
Precondition tests are handled by before advice, which is executed just before the corresponding method execution join point.
约定规定调用者必须满足方法的前置条件，且被调用的方法执行后必须满足后置条件。
The contract states the caller must abide by the preconditions of the method and the method, in turn, must return results that satisfy the postconditions associated with that method.
为了能够表达消息的语义，以及它们对系统状态的影响，我们引入了前置条件和后置条件。
To be able to express semantics of messages and their effects on system state we introduced pre- and postconditions.
某些派别的信徒支持使用异常来检查参数和其他的前置条件，使用错误编码来报告程序中出错的处理。
Some disciples espouse using exceptions to check parameters and other preconditions, and error codes to report processing errors within the function.
假设有一个具有互斥分支的循环流；每个分支都有一些应用于该分支中所有活动的前置条件和不变量。
Consider a cyclic flow that has mutually exclusive branches; each branch has preconditions and invariants that apply to all activities in the branch.
通过求解前置条件可以判断路径的可执行性，还可以求出使程序沿着该条路径运行的输入数据。
By solving predicates the feasibility of a path can be decided and the input data making the program follow this path will be generated.
这样做以后设计前置条件的时候我们只需要在行为配置文件中列出前置条件库中对应的前置条件而已。
This allows us to construct a library of preconditions that are easily selected for a new behavior simply by listing them in the behaviors configuration file.
合约还有几个前置条件，要求客户传递给withdraw()和deposit() 的参数大于或等于0。
The contract also has preconditions that require clients to pass in an amount greater than or equal to zero to both withdraw() and deposit().
满足方法的前置条件通常是指传递的参数必须符合方法的要求，也可能指必须按照正确的顺序依次调用多个方法。
Abiding by the preconditions of a method usually means passing arguments as the method expects them; it may also mean calling a set of methods in the correct order.
Jacobson的方法涉及一系列进入和退出的准则，分别被称作前置条件和后置条件，和一个称为事件流的核心准则。
Jacobson's method involves a set of entry and exit criteria called pre-conditions and post-conditions respectively, and a core criteria called the flow of events.
Jacobson的方法涉及一系列进入和退出的准则，分别被称作前置条件和后置条件，和一个称为事件流的核心准则。
Jacobson's method involves a set of entry and exit criteria called pre-conditions and post-conditions respectively, and a core criteria called the flow of events.
应用推荐