上节课我们已经探讨了，这两个断言语句。
可以使用断言语句检查操作的结果。
You can use assertion statements to check the result of an operation.
这段代码依赖断言语句来处理错误条件。
This code relies on the assertion statement to handle the error condition.
但是断言语句不是错误处理代码的替代物。
Assertion statements are not a substitute for error-handling code, however.
可以将断言语句作为方法的前置条件或后置条件来添加。
You can add assertion statements as the pre- or post-conditions of a method.
断言语句指定在程序的某些特定点应为真的条件。
An assertion statement specifies a condition that you expect to hold true at some particular point in your program.
最后，在第十八行的断言语句中，决定了这个测试用例的成功与失败。
Lastly, in line 18 an assertion statement is issued to determine the success or failure of a test case.
在事务生命周期的各个阶段，都会传递saml断言语句，因此各种扩展也可以使用它们。
The SAML assertion statements are passed through the lifecycle of the transaction, allowing them to also be used by extensions.
断言就是测试，正如在下一节中看到的，有许多可以用来测试Rails应用程序的断言语句。
Assertions are the tests and as you will see in the following section, there are a number of assert statements that you can use for Rails application testing.
它同样也方便断言语句的书写，这样如果任一语句求值结果为false时，交易将不会发生。
It also facilitates assertions statements such that if any of the statements evaluate to false, the transaction will not occur.
其实程序并没崩溃，它只是碰到一个断言语句然后停了下来，如果你看看函数的顶部，你会看到，实际上我断定计数器。
It didn't really crash, it found an assert statement. So if you look at the bottom of the function, you'll see that, in fact, I checked for that.
文中论述了混合级综合、综合中的功能单元库等问题；提出分辨信号、断言语句应该综合，并给出了综合分辨信号、断言语句的方法；还给出了高级综合中复位信号和时钟信号的处理方法。
The new viewpoints that assertion statement and resolved signal in VHDL should be synthesized are advanced, and the methods to synthesis assertion statement and resolved signal are presented.
文中论述了混合级综合、综合中的功能单元库等问题；提出分辨信号、断言语句应该综合，并给出了综合分辨信号、断言语句的方法；还给出了高级综合中复位信号和时钟信号的处理方法。
The new viewpoints that assertion statement and resolved signal in VHDL should be synthesized are advanced, and the methods to synthesis assertion statement and resolved signal are presented.
应用推荐