面向对象JML教程:入门与实现
需积分: 0 162 浏览量
更新于2024-08-05
收藏 205KB PDF 举报
本篇文档是面向对象JML(Java Modeling Language)系列的第一次指导书,主要针对Java编程语言中的面向对象设计进行深入讲解。JML是一种基于Java的建模语言,用于为Java程序提供形式化的规格说明,帮助开发者在设计阶段就确保代码的正确性、性能和可维护性。
在文档中,首先介绍了名为`MyPath`的类,它实现了`Path`接口。`MyPath`类的构造函数接受一个整数数组`nodeList`作为参数,这表明这个类可能用于表示一个路径数据结构,每个节点由一个整数标识。通过这种方式,JML允许开发者为这类对象的行为和属性设置预定义的约束,比如路径的长度、节点的顺序等。
接下来,文档展示了如何使用JML进行类级别的规格说明,例如对`AppRunner`类的声明和实现,以及对`Path`和`PathContainer`类的引用。这些类可能代表应用程序运行器或容器,它们之间的关系可能涉及到路径数据结构的管理或操作。JML在此处的应用可以帮助开发者在代码执行之前明确预期的行为,如路径的遍历顺序、错误处理等。
文档中还提到的`Պྌԏկ़҅Path`和`Պྌԏկ़҅PathContainer`类,可能是对`Path`和`PathContainer`的特定实现或者扩展,它们可能具有额外的功能特性或特定于应用的上下文。
此外,文档使用了一些术语和符号,如`᧗թɮչյության`、`᙮ᓴᓴᖅ᙮᙮᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ᙮ᖅ
2022-08-03 上传
2022-08-03 上传
2022-08-03 上传
2022-08-03 上传
2022-08-03 上传
2022-08-03 上传
点击了解资源详情
点击了解资源详情
2024-10-25 上传
2024-10-25 上传
马虫医生
- 粉丝: 29
- 资源: 324
最新资源
- ES管理利器:ES Head工具详解
- Layui前端UI框架压缩包:轻量级的Web界面构建利器
- WPF 字体布局问题解决方法与应用案例
- 响应式网页布局教程:CSS实现全平台适配
- Windows平台Elasticsearch 8.10.2版发布
- ICEY开源小程序:定时显示极限值提醒
- MATLAB条形图绘制指南:从入门到进阶技巧全解析
- WPF实现任务管理器进程分组逻辑教程解析
- C#编程实现显卡硬件信息的获取方法
- 前端世界核心-HTML+CSS+JS团队服务网页模板开发
- 精选SQL面试题大汇总
- Nacos Server 1.2.1在Linux系统的安装包介绍
- 易语言MySQL支持库3.0#0版全新升级与使用指南
- 快乐足球响应式网页模板:前端开发全技能秘籍
- OpenEuler4.19内核发布:国产操作系统的里程碑
- Boyue Zheng的LeetCode Python解答集