《红色语言（REDL）的非形式说明书》求取 ⇩

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/O125

10.4.1　正文文件类型125

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

10.4.3 标准文件INUPT和OUTPUT126

10.4.4　有格式I/O126

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　ANY169

14.5.2　访问者断言170

14.5.3　类型比较函数170

14.5.4　重新说明导令171

附录A：REDL示例173

A.1　特定机器的I/O173

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