王朝网络

分享

 

01.对Java程序多态性支持的改进
多态性(polymorphism)是面向对象编程的属性，它答应多个方法使用同一个接口。Java从多个方面支持多态性，其中两个方面最为突出。第一个是每个方法(标记为 final的方法除外)都可以被子类重写;第二个是设立interfa...查看完整版>>对Java程序多态性支持的改进02.JML起步--使用JML改进你的Java程序(2)
量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。）在上面pop()方法的行为规范中，我们说它的返回值要等于peek()方法的返回值，不过我们并没有看...查看完整版>>JML起步--使用JML改进你的Java程序(2)03.JML起步--使用JML改进你的Java程序(1)
Java建模语言（Java Modeling Language，JML）是一种进行具体设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。本教程中，Java程序设计资深顾问Joe Verzulli 将会给大家介绍这一新的工具以及如何...查看完整版>>JML起步--使用JML改进你的Java程序(1)04.JML起步--使用JML改进你的Java程序(4)
异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。假如发生这种情况，这两个方法就会抛出一个NoSUChElementException.异常。我们必须修...查看完整版>>JML起步--使用JML改进你的Java程序(4)05.JML起步--使用JML改进你的Java程序(3)
请大家回忆一下代码段2中pop()方法的后处理代码：ensureselementsInQueue.equals(((JMLObjectBag) \old(elementsInQueue)) .remove(\re...查看完整版>>JML起步--使用JML改进你的Java程序(3)06.JML起步--使用JML 改进你的Java程序(3)
来自:http://www-106.ibm.com/ 作者:Joe Verzulli 副作用请大家回忆一下代码段2中pop()方法的后处理代码： ensureselementsInQueue.equals(((JMLObjectBag) old(elementsInQueue)) ...查看完整版>>JML起步--使用JML 改进你的Java程序(3)07.JML起步--使用JML 改进你的Java程序(4)
来自:http://www-106.ibm.com/ 作者:Joe Verzulli 异常行为前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。假如发生这种情况，这两个方法就会抛...查看完整版>>JML起步--使用JML 改进你的Java程序(4)08.JML起步--使用JML 改进你的Java程序(2)
来自:http://www-106.ibm.com/ 作者:Joe Verzulli 量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。）在上面pop()方法的行为规范中，我们说它的返回值...查看完整版>>JML起步--使用JML 改进你的Java程序(2)09.JML起步--使用JML改进你的Java程序(1)
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)

 

 

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