在命令行中输入 idris 来启动交互式环境。你会看到如下内容： $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/ Type :? for help Idris> 以提升未来的加载速度。在源文件被修改之后，字节码会 重新生成。 $ idris hello.idr ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/ Type :? for help Type 描述 述 述 包的描述包含以下内容： • 包头，由关键字 package 后跟一个包名构成。包名可以是任何有效的 奉 奤 奲 奩 女 标识符。 奩 奐 奋 奇 格式 也可包含一个带引号的 version，它接受任何有效的文件名。 • 描述包内容的字段， = 其中至少有一个 奭 奯奤 奵 奬 奥 女 字段，对应的值为逗号分隔的模块列表。例如， 给定一个 奉 奤 奲

Debian 打包教程 Lucas Nussbaum packaging-tutorial@packages.debian.org version 0.29 – 2021-11-03 Debian 打包教程 1 / 90 关于该教程 ▶ 目标：告诉你关于 Debian 打包必须知道的知识 ▶ 修改现有软件包 ▶ 创建你自己的软件包 ▶ 在 Debian 社区内与人交流 ▶ 成为 Debian 0/0 2403 Sep 5 15:43 2010 control.tar.gz rw-r--r-- 0/0 751613 Sep 5 15:43 2010 data.tar.gz ▶ debian-binary: deb 文件格式的版本，"2.0\n" ▶ control.tar.gz: 软件包的元数据 (metadata)，包括 control, md5sums, (pre|post)(rm|inst) (dpkg, apt) ▶ 非原生软件包：在 Debian 之外开发的软件 ▶ 主要文件: .dsc（元数据） ▶ 与源码格式版本相关的其他文件 ▶ 1.0 或 3.0（原生）：package_version.tar.gz ▶ 1.0（非原生）： ▶ pkg_ver.orig.tar.gz: 上游源代码 ▶ pkg_debver.diff.gz: 专为 Debian 准备的更新补丁 ▶ 3.0（quilt）

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2021.2) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 对象图 • 活动图 • 组件图 • 部署图 • 状态图 • 定时图 同时还支持以下非 UML 图: • JSON Data • YAML Data • Network diagram 用于改变参与者的先后顺序。 你也可以使用其它关键字来声明参与者： • actor • boundary • control • entity • database • collections @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 Foo1 -> -> Foo2 : To boundary PlantUML 语言参考指引 (1.2021.2) 1 / 380 1.2 声明参与者 1 时序图 Foo1 -> Foo3 : To control Foo1 -> Foo4 : To entity Foo1 -> Foo5 : To database Foo1 -> Foo6 : To collections @enduml 关键字 as 用于重命名参与者

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.6) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa • boundary • control • entity • database @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 Foo1 -> Foo2 : To boundary Foo1 -> Foo3 : To control Foo1 -> Foo4 放在第一次接收到消息之前，以强调本次消息实际上是在创建新的对象。 @startuml Bob -> Alice : hello create Other Alice -> Other : new create control String Alice -> String note right : You can also put notes! PlantUML 语言参考指引 (1.2019.6) 16 / 173

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.9) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa • boundary • control • entity • database @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 Foo1 -> Foo2 : To boundary Foo1 -> Foo3 : To control Foo1 -> Foo4 放在第一次接收到消息之前，以强调本次消息实际上是在创建新的对象。 @startuml Bob -> Alice : hello create Other Alice -> Other : new create control String Alice -> String note right : You can also put notes! PlantUML 语言参考指引 (1.2019.9) 16 / 173

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.1) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa • boundary • control • entity • database @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 Foo1 -> Foo2 : To boundary Foo1 -> Foo3 : To control Foo1 -> Foo4 放在第一次接收到消息之前，以强调本次消息实际上是在创建新的对象。 @startuml Bob -> Alice : hello create Other Alice -> Other : new create control String Alice -> String note right : You can also put notes! Alice --> Bob : ok @enduml PlantUML

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.4) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa • boundary • control • entity • database @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 Foo1 -> Foo2 : To boundary Foo1 -> Foo3 : To control Foo1 -> Foo4 放在第一次接收到消息之前，以强调本次消息实际上是在创建新的对象。 @startuml Bob -> Alice : hello create Other Alice -> Other : new create control String Alice -> String note right : You can also put notes! PlantUML 语言参考指引 (1.2019.4) 16 / 164

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2020.23) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • JSON Data • 线框图形界面 • 架构图 • 规范和描述语言 用于改变参与者的先后顺序。 你也可以使用其它关键字来声明参与者： • actor • boundary • control • entity • database • collections @startuml actor Foo1 boundary Foo2 control Foo3 entity Foo4 database Foo5 collections Foo6 PlantUML PlantUML 语言参考指引 (1.2020.23) 1 / 306 1.2 声明参与者 1 时序图 Foo1 -> Foo2 : To boundary Foo1 -> Foo3 : To control Foo1 -> Foo4 : To entity Foo1 -> Foo5 : To database Foo1 -> Foo6 : To collections @enduml 关键字 as 用于重命名参与者

使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2023.11) PlantUML 是一个开源项目，支持快速绘制： • 时序图 • 用例图 • 类图 • 对象图 • 活动图 • 组件图 • 部署图 • 状态图 • 定时图 同时还支持以下非 UML 图: • JSON Data • YAML Data • Network diagram boundary（边界） • control（控制） • entity（实体） • database（数据库） • collections（集合） • queue（队列） @startuml participant Participant as Foo actor Actor as Foo1 boundary Boundary as Foo2 control Control as Foo3 entity Collections as Foo6 queue Queue as Foo7 Foo -> Foo1 : To actor Foo -> Foo2 : To boundary Foo -> Foo3 : To control Foo -> Foo4 : To entity Foo -> Foo5 : To database Foo -> Foo6 : To collections Foo -> Foo7: To queue

str2; 6 InputStreamReader in; 7 in = new InputStreamReader(System.in); 8 BufferedReader buf; 9 buf = new BufferedReader(in); 10 System.out.print("请输入第一个数："); 11 str1 = buf.readLine(); //将输入的内容�值�字符串变量 str1 转成 int 类型后�� num1 13 System.out.print("请输入第二个数："); 14 str2 = buf.readLine(); //将输入的内容�值�字符串变量 str2 15 num2 = Integer.parseInt(str2); //将 str2 转成 int 类型后�� num2 16 System.out.println(num1 + "␣*␣" public class MyClass { 3 public static void main(String[] args) 4 { 5 Scanner reader = new Scanner(System.in); 6 double num; 7 num = reader.nextDouble(); //按照 double 类型�取键盘输入 8 ... 9 } 10 } 其他可用的读取方法