红色语言（REDL）的非形式说明书PDF电子书下载

1.0 引言 1

1.1　文卷的意图 1

1.2 结构描述的表示法 1

1.2.1　词法图 1

1.2.2　语法图 2

1.3　文卷概述 4

1.4　术语 4

2.0　语言提要 5

2.1　程序结构和辖域 5

2.2　数据类型 5

2.3　数据封装 6

2.4　例行程序和表达式 6

2.5　语句 7

2.6　输入／输出 7

2.7　例外处理 7

2.8 多路径和实时设施 7

2.9　依赖机器设施 7

2.10　编译时设施 8

3.0　词法结构 9

3.1 字符集 9

3.2　词法单位 9

3.3　词法元 10

3.3.1　名 10

3.3.2　语法受激元 11

3.3.3　特殊枚举符号 13

3.3.4　文字量 13

3.3.5　特殊符号 15

3.3.6　编译时符号 16

3.4 词法元分隔符 16

4.0　程序结构和辖域 18

4.1　程序结构 18

4.1.1　导令 18

4.1.2　说明 20

4.1.3　编译时命令 21

4.1.4　语句 22

4.1.5　术语 22

4.2　名辖域 23

4.2.1　引言 23

4.2.2　渗入导令 25

4.2.3　移入导令 26

4.2.4　开辖域和闭辖域 26

4.2.5　只读导令 28

4.2.6　名的重新使用 29

4.2.7　例子 29

4.2.8　向前引用 30

4.2.9　优化导令 31

5.0　数据类型 32

5.1　基本概念 32

5.1.1　属性和表示 32

5.1.2　赋值和参数传递 33

5.1.3　类型命名 34

5.1.4　存贮分类 35

5.2　常量说明和变量说明 36

5.2.1　“常量”和“变量”的概念 37

5.2.2　置初态 37

5.3　类型说明 38

5.3.1　例子 39

5.3.2　简单类型说明和参数化类型说明 40

5.3.3　类型同 40

5.4　纯量类型 41

5.4.1　布尔类型 41

5.4.2　字符类型 42

5.4.3　定点类型 43

5.4.4　浮点类型 48

5.5　类型生成器 50

5.5.1　枚举 51

5.5.2　数组 52

5.5.3　记录 58

5.5.4　并 51

5.5.5　指引元 64

5.6　参数化类型 67

5.6.1　参数化类型说明 67

5.6.2　参数化类型对象的创建 69

5.6.3　不定类型引用 70

5.6.4　赋值和参数传递 70

5.6.5　字符串 71

5.6.6　位串 72

5.7 值域的说明 73

5.8 紧缩属性 73

5.9　类型不传导性，“升格”和“降格” 75

6.0　闭体 76

6.1　闭体说明 76

6.2　移出导令 77

6.3　闭体数据的生存期 77

6.4　闭体例子 78

7.0　例行程序 80

7.1　引言 80

7.1.1　与pascal的比较 80

7.1.2　迭用例行程序 81

7.1.3　调用和返回 81

7.1.4　形式参数和实在参数 81

7.1.5　例程导令 83

7.1.6　在线导令 84

7.1.7　可至性 84

7.1.8　递归 85

7.1.9　可重入性 86

7.2　过程 86

7.2.1　安全导令 88

7.2.2　别名 89

7.2.3　主导令 90

7.3　函数 92

7.3.1　函数结果变量 92

7.3.2　付作用的防护 93

7.4　运算符 93

7.4.1　函数和运算符之间的对照 94

7.4.2　可交换导令 94

7.4.3　可结合导令 95

8.0　表达式 96

8.1 引言 96

8.2　与Pascal的比较 96

8.3　表达式的分析 96

8.4　计值次序 99

8.5　表达式的语法图 99

8.6　初等量 102

8.6.1　对象成分 103

8.6.2　对象构造器 103

8.6.3　函数调用 104

9.0　基本语句 105

9.0　基本语句 105

9.1 与Pascal的比较 105

9.2　空语句 106

9.3　赋值语句 106

9.4　开始语句 107

9.5　条件语句 107

9.5.1　IF语句 108

9.5.2　选择语句 109

9.6　重复语句 113

9.6.1　当语句 114

9.6.2　直到语句 114

9.6.3　循环语句 115

9.7　控制转移语句 118

9.7.1　访问语句 118

9.7.2　出口语句 118

9.7.3　转向语句 119

9.8　断言语句 120

10.0　输入／输出 121

10.1 基本特性 121

10.2 文件 121

10.3 文件记录I/O例行程序 122

10.3.1 打开（过程）和关闭（过程） 123

10.3.2　读（过程） 123

10.3.3　写（过程） 123

10.3.4　EOF函数 123

10.3.5　反绕（过程） 124

10.3.6　取位（过程） 124

10.3.7　定位（过程） 124

10.3.8　迭写（过程） 125

10.4　正文文件I/O 125

10.4.1　正文文件类型 125

10.4.2　面向行的I/O例行程序 125

10.4.3 标准文件INUPT和OUTPUT 126

10.4.4　有格式I/O 126

10.5　库定义设施 127

11.0 例外处理设施 128

11.1 引言 128

11.2 例外说明 128

11.3　例外语句 129

11.3.1　例外的产生：Raise语句 129

11.3.2 例外的处理：On语句 130

11.4 例外检查的制止：断开导令 132

11.5 所产生的例外的判定 133

12.0 多路径和实时设施 135

12.1 引言 125

12.2　路径 135

12.2.1　分叉语句 135

12.2.2　一个路径子句的执行 137

12.2.3　路径状态 137

12.2.4　路径的优先级 138

12.3 管程闭体 140

12.4 事件 141

12.4.1　置初态 142

12.4.2　发送语句 142

12.4.3　等待语句 143

12.4.4　发送者和等待者 144

12.5 实时设施 144

12.5.1　暂停语句 144

12.5.2　累计处理时间 144

13.0 依赖机器设施 145

13.1 引言 145

13.2 配置导令 145

13.3 面向数据的机器依赖性 146

13.3.1　机器记录 146

13.3.2　绝对地址和排齐 149

13.3.3　连接导令 151

13.4 面向例程的机器依赖性 152

13.4.1　机器例行程序 152

13.4.2　外部例行程序 154

14.0 编译时设施 156

14.1　独立编译 156

14.1.1　出借导令 156

14.1.2　存取导令 157

14.1.3　独立编译的程序的联接 157

14.1.4　例子 158

14.2 编译时常量和表达式 159

14.2.1　编译时常量说明 160

14.2.2　语言定义的编译时常量 160

14.2.3　编译时表达式 161

14.3 条件编译 161

14.4 编译时过程 163

14.5 不定类型参数 169

14.5.1　ANY 169

14.5.2　访问者断言 170

14.5.3　类型比较函数 170

14.5.4　重新说明导令 171

附录A：REDL示例 173

A.1　特定机器的I/O 173

A.1.1　AN/UYK-20的一个通道程序示例 173

A.1.2　PDP-11的一个I/O中断-驱动程序示例 175

A.2　标准I/O库过程的构造方法 179

A.3　并行处理几例 181

A.3.1　在一个标准并行处理问题中同步管程的使用示例 181

A.3.2　对在100毫秒间隔内驱动的一个实时作业并行处理的示例 183

A.4　图形应用和通讯应用中的几例 185

A.4.1　图形示例 185

A.4.2　通讯软件示例 190

附录B：ASCII字符 198

B.1　字符类 198

B.2 字符文字量 200

附录C：交叉引用图 201

C.1　词法图 201

C.2　语法图 201

C.3　词法图（交叉引用） 206

C.4　语法图（交叉引用） 207

附录D：REDL的LALR（1）文法 212