- 博客(3)
- 收藏
- 关注
RSS订阅原创 关于eclipse的一些使用技巧
作为一款优秀的Java IDE，eclipse具有许多强大的功能，目前我也在不断探索，作为初学者，我在编程过程中，也收获到了许多有助于我们高效开发的方法，下面简单叙述一下我的一些收获，首先是所有快捷键列表，直接输入Ctrl + shift + l,Eclipse会在右下角弹出快捷键列表。根据左大括号找到右大括号，这是一个实用性很强的功能，随着开发难度的增加，我们的代码长度不断增加，有时一个代码块包...
2018-06-17 12:05:29
2276
原创 HIT软件构造课程复习——第三章ADT&OOP第二节设计规格说明
主要内容：1.规格说明，前置/后置条件2.行为等价性3.规约的强度一、规格说明，前置/后置条件1.documentation包括类层次结构和已实现接口的列表，直接子类，类的描述，构造器摘要，方法摘要列（出了我们可以调用的所有方法），每种方法和构造函数的详细描述。记录假设：向下写入变量的类型会记录一个关于它的假设：例如，这个变量总是引用一个整数。-ava实际上在编译时检查这个假设，并保证在您的程序中...
2018-06-17 11:46:50
303
原创 HIT软件构造课程复习——第三章ADT&OOP第一节数据类型和数据检查
3.1数据类型和数据检查主要内容：1.了解数据类型的基本知识，以及编程语言中的静态和动态类型检查，尤其是Java。2.理解可变性和可变对象3.识别混叠和了解易变的危险4.使用不变性来提高正确性、清晰度和可变性5.使用快照图演示程序执行期间特定时间的状态6.使用数组和集合来处理复杂的数据类型7.了解null的危害并加以避免一、编程语言中的数据类型1.一种数据类型是一组值，以及可以对这些值执行的操作。...
2018-06-16 16:26:41
301
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人