王朝网络

分享

 

01.JML起步--使用JML改进你的Java程序(1)
Java建模语言（Java Modeling Language，JML）是一种进行具体设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。本教程中，Java程序设计资深顾问Joe Verzulli 将会给大家介绍这一新的工具以及如何...查看完整版>>JML起步--使用JML改进你的Java程序(1)02.JML起步--使用JML改进你的Java程序(4)
异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。假如发生这种情况，这两个方法就会抛出一个NoSUChElementException.异常。我们必须修...查看完整版>>JML起步--使用JML改进你的Java程序(4)03.JML起步--使用JML 改进你的Java程序(4)
来自:http://www-106.ibm.com/ 作者:Joe Verzulli 异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。假如发生这种情况，这两个方法就会抛...查看完整版>>JML起步--使用JML 改进你的Java程序(4)04.JML起步--使用JML改进你的Java程序(2)
量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。）在上面pop()方法的行为规范中，我们说它的返回值要等于peek()方法的返回值，不过我们并没有看到关...查看完整版>>JML起步--使用JML改进你的Java程序(2)05.JML起步--使用JML改进你的Java程序(3)
请大家回忆一下代码段2中pop()方法的后处理代码：ensureselementsInQueue.equals(((JMLObjectBag)\old(elementsInQueue)).remove(\result)) &&\result.equals(\old(peek()));这里我们说...查看完整版>>JML起步--使用JML改进你的Java程序(3)06.JML起步--使用JML改进你的Java程序(4)
异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。如果发生这种情况，这两个方法就会抛出一个NoSuchElementException.异常。我们必须修...查看完整版>>JML起步--使用JML改进你的Java程序(4)07.JML起步---使用JML 改进你的Java程序(4)
异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。如果发生这种情况，这两个方法就会抛出一个NoSuchElementException.异常。我们必须修正我们前...查看完整版>>JML起步---使用JML 改进你的Java程序(4)08.JML起步---使用JML 改进你的Java程序(2)
量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。）在上面pop()方法的行为规范中，我们说它的返回值要等于peek()方法的返回值，不过我们并没有看到关于peek(...查看完整版>>JML起步---使用JML 改进你的Java程序(2)09.JML起步---使用JML 改进你的Java程序(1)
JML起步 使用JML 改进你的Java程序 ) Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。本教程中，Java程序设计资深顾问Joe Verzulli 将会...查看完整版>>JML起步---使用JML 改进你的Java程序(1)10.JML起步--使用JML改进你的Java程序(2)
量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。）在上面pop()方法的行为规范中，我们说它的返回值要等于peek()方法的返回值，不过我们并没有看...查看完整版>>JML起步--使用JML改进你的Java程序(2)

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。