第一部分 叙述 2
第1章 入门例子 2
1.1 哥特式建筑安全系统 2
1.2 状态机模型 4
1.3 为格兰特小姐的控制器编写程序 7
1.4 语言和语义模型 13
1.5 使用代码生成 15
1.6 使用语言工作台 17
1.7 可视化 20
第2章 使用DSL 21
2.1 定义DSL 21
2.1.1 DSL的边界 22
2.1.2 片段DSL和独立DSL 25
2.2 为何需要DSL 25
2.2.1 提高开发效率 26
2.2.2 与领域专家的沟通 26
2.2.3 执行环境的改变 27
2.2.4 其他计算模型 28
2.3 DSL的问题 28
2.3.1 语言噪音 29
2.3.2 构建成本 29
2.3.3 集中营语言 30
2.3.4 “一叶障目”的抽象 30
2.4 广义的语言处理 31
2.5 DSL的生命周期 31
2.6 设计优良的DSL从何而来 32
第3章 实现DSL 34
3.1 DSL处理之架构 34
3.2 解析器的工作方式 37
3.3 文法、语法和语义 39
3.4 解析中的数据 39
3.5 宏 41
3.6 测试DSL 42
3.6.1 语义模型的测试 42
3.6.2 解析器的测试 45
3.6.3 脚本的测试 49
3.7 错误处理 50
3.8 DSL迁移 51
第4章 实现内部DSL 54
4.1 连贯API与命令-查询API 54
4.2 解析层的需求 57
4.3 使用函数 58
4.4 字面量集合 61
4.5 基于文法选择内部元素 63
4.6 闭包 64
4.7 解析树操作 66
4.8 标注 67
4.9 为字面量提供扩展 69
4.10 消除语法噪音 69
4.11 动态接收 69
4.12 提供类型检查 70
第5章 实现外部DSL 72
5.1 语法分析策略 72
5.2 输出生成策略 74
5.3 解析中的概念 76
5.3.1 单独的词法分析 76
5.3.2 文法和语言 77
5.3.3 正则文法、上下文无关文法和上下文相关文法 77
5.3.4 自顶向下解析和自底向上解析 79
5.4 混入另一种语言 81
5.5 XML DSL 82
第6章 内部DSL vs外部DSL 84
6.1 学习曲线 84
6.2 创建成本 85
6.3 程序员的熟悉度 85
6.4 与领域专家沟通 86
6.5 与宿主语言混合 86
6.6 强边界 87
6.7 运行时配置 87
6.8 趋于平庸 88
6.9 组合多种DSL 88
6.10 总结 89
第7章 其他计算模型概述 90
7.1 几种计算模型 92
7.1.1 决策表 92
7.1.2 产生式规则系统 93
7.1.3 状态机 94
7.1.4 依赖网络 95
7.1.5 选择模型 95
第8章 代码生成 96
8.1 选择生成什么 96
8.2 如何生成 99
8.3 混合生成代码和手写代码 100
8.4 生成可读的代码 101
8.5 解析之前的代码生成 101
8.6 延伸阅读 101
第9章 语言工作台 102
9.1 语言工作台之要素 102
9.2 模式定义语言和元模型 103
9.3 源码编辑和投射编辑 107
9.4 说明性编程 109
9.5 工具之旅 110
9.6 语言工作台和CASE工具 112
9.7 我们该使用语言工作台吗 112
第二部分 通用主题 116
第10章 各种DSL 116
10.1 Graphviz 116
10.2 JMock 117
10.3 CSS 118
10.4 HQL 119
10.5 XAML 120
10.6 FIT 122
10.7 Make等 123
第11章 语义模型 125
11.1 工作原理 125
11.2 使用场景 127
11.3 入门例子（Java） 128
第12章 符号表 129
12.1 工作原理 129
12.2 使用场景 131
12.3 参考文献 131
12.4 以外部DSL实现的依赖网络（Java和ANTLR） 131
12.5 在一个内部DSL中使用符号键（Ruby） 133
12.6 用枚举作为静态类型符号（Java） 134
第13章 语境变量 137
13.1 工作原理 137
13.2 使用场景 137
13.3 读取INI文件（C＃） 138
第14章 构造型生成器 141
14.1 工作原理 141
14.2 使用场景 142
14.3 构建简单的航班信息（C＃） 142
第15章 宏 144
15.1 工作原理 144
15.1.1 文本宏 145
15.1.2 语法宏 148
15.2 使用场景 151
第16章 通知 153
16.1 工作原理 153
16.2 使用场景 154
16.3 一个非常简单的通知（C＃） 154
16.4 解析中的通知（Java） 155
第三部分 外部DSL主题 160
第17章 分隔符指导翻译 160
17.1 工作原理 160
17.2 使用场景 162
17.3 常客记分（C＃） 163
17.3.1 语义模型 163
17.3.2 解析器 165
17.4 使用格兰特小姐的控制器解析非自治语句（Java） 168
第18章 语法指导翻译 175
18.1 工作原理 175
18.1.1 词法分析器 176
18.1.2 语法分析器 179
18.1.3 产生输出 181
18.1.4 语义预测 181
18.2 使用场景 182
18.3 参考文献 182
第19章 BNF 183
19.1 工作原理 183
19.1.1 多重性符号（Kleene运算符） 184
19.1.2 其他一些有用的运算符 186
19.1.3 解析表达式文法 186
19.1.4 将EBNF转换为基础BNF 187
19.1.5 行为代码 189
19.2 使用场景 191
第20章 基于正则表达式表的词法分析器 192
20.1 工作原理 192
20.2 使用场景 193
20.3 格兰特小姐控制器的词法处理（Java） 194
第21章 递归下降法语法解析器 197
21.1 工作原理 197
21.2 使用场景 200
21.3 参考文献 200
21.4 递归下降和格兰特小姐的控制器（Java） 201
第22章 解析器组合子 205
22.1 工作原理 206
22.1.1 处理动作 208
22.1.2 函数式风格的组合子 209
22.2 使用场景 209
22.3 解析器组合子和格兰特小姐的控制器（Java） 210
第23章 解析器生成器 217
23.1 工作原理 217
23.2 使用场景 219
23.3 Hello World（Java和ANTLR） 219
23.3.1 编写基本的文法 220
23.3.2 构建语法分析器 221
23.3.3 为文法添加代码动作 223
23.3.4 使用代沟 225
第24章 树的构建 227
24.1 工作原理 227
24.2 使用场景 229
24.3 使用ANTLR的树构建语法（Java和ANTLR） 230
24.3.1 标记解释 230
24.3.2 解析 231
24.3.3 组装语义模型 233
24.4 使用代码动作进行树的构建（Java和ANTLR） 236
第25章 嵌入式语法翻译 242
25.1 工作原理 242
25.2 使用场景 243
25.3 格兰特小姐的控制器（Java和ANTLR） 243
第26章 内嵌解释器 247
26.1 工作原理 247
26.2 使用场景 247
26.3 计算器（ANTLR和Java） 247
第27章 外加代码 250
27.1 工作原理 250
27.2 使用场景 251
27.3 嵌入动态代码（ANTLR、Java和JavaScript） 252
27.3.1 语义模型 252
27.3.2 语法分析器 254
第28章 可变分词方式 258
28.1 工作原理 258
28.1.1 字符引用 259
28.1.2 词法状态 261
28.1.3 修改标记类型 262
28.1.4 忽略标记类型 263
28.2 使用场景 264
第29章 嵌套的运算符表达式 265
29.1 工作原理 265
29.1.1 使用自底向上的语法分析器 265
29.1.2 自顶向下的语法分析器 266
29.2 使用场景 268
第30章 以换行符作为分隔符 269
30.1 工作原理 269
30.2 使用场景 271
第31章 外部DSL拾遗 272
31.1 语法缩进 272
31.2 模块化文法 274
第四部分 内部DSL主题 276
第32章 表达式生成器 276
32.1 工作原理 276
32.2 使用场景 277
32.3 具有和没有生成器的连贯日历（Java） 278
32.4 对于日历使用多个生成器（Java） 280
第33章 函数序列 282
33.1 工作原理 282
33.2 使用场景 283
33.3 简单的计算机配置（Java） 283
第34章 嵌套函数 286
34.1 工作原理 286
34.2 使用场景 287
34.3 简单计算机配置范例（Java） 288
34.4 用标记处理多个不同的参数（C＃） 289
34.5 针对IDE支持使用子类型标记（Java） 291
34.6 使用对象初始化器（C＃） 292
34.7 周期性事件（C＃） 293
34.7.1 语义模型 294
34.7.2 DSL 296
第35章 方法级联 299
35.1 工作原理 299
35.1.1 生成器还是值 300
35.1.2 收尾问题 301
35.1.3 分层结构 301
35.1.4 渐进式接口 302
35.2 使用场景 303
35.3 简单的计算机配置范例（Java） 303
35.4 带有属性的方法级联（C＃） 306
35.5 渐进式接口（C＃） 307
第36章 对象范围 309
36.1 工作原理 309
36.2 使用场景 310
36.3 安全代码（C＃） 310
36.3.1 语义模型 311
36.3.2 DSL 313
36.4 使用实例求值（Ruby） 315
36.5 使用实例初始化器（Java） 317
第37章 闭包 319
37.1 工作原理 319
37.2 使用场景 323
第38章 嵌套闭包 324
38.1 工作原理 324
38.2 使用场景 325
38.3 用嵌套闭包来包装函数序列（Ruby） 326
38.4 简单的C＃示例（C＃） 327
38.5 使用方法级联（Ruby） 328
38.6 带显式闭包参数的函数序列（Ruby） 330
38.7 采用实例级求值（Ruby） 332
第39章 列表的字面构造 335
39.1 工作原理 335
39.2 使用场景 335
第40章 Literal Map 336
40.1 工作原理 336
40.2 使用场景 336
40.3 使用List和Map表达计算机的配置信息（Ruby） 337
40.4 演化为Greenspun式（Ruby） 338
第41章 动态接收 342
41.1 工作原理 342
41.2 使用场景 343
41.3 积分——使用方法名解析（Ruby） 344
41.3.1 模型 345
41.3.2 生成器 347
41.4 积分——使用方法级联（Ruby） 348
41.4.1 模型 349
41.4.2 生成器 349
41.5 去掉安全仪表盘控制器中的引用（JRuby） 351
第42章 标注 357
42.1 工作原理 357
42.1.1 定义标注 358
42.1.2 处理标注 359
42.2 使用场景 360
42.3 用于运行时处理的特定语法（Java） 360
42.4 使用类方法（Ruby） 362
42.5 动态代码生成（Ruby） 363
第43章 解析树操作 365
43.1 工作原理 365
43.2 使用场景 366
43.3 由C＃条件生成IMAP查询（C＃） 367
43.3.1 语义模型 367
43.3.2 以C＃构建 369
43.3.3 退后一步 373
第44章 类符号表 375
44.1 工作原理 375
44.2 使用场景 376
44.3 在静态类型中实现类符号表（Java） 377
第45章 文本润色 383
45.1 工作原理 383
45.2 使用场景 383
45.3 使用润色的折扣规则（Ruby） 384
第46章 为字面量提供扩展 386
46.1 工作原理 386
46.2 使用场景 387
46.3 食谱配料（C＃） 387
第五部分 其他计算模型 390
第47章 适应性模型 390
47.1 工作原理 390
47.1.1 在适应性模型中使用命令式代码 391
47.1.2 工具 393
47.2 使用场景 394
第48章 决策表 395
48.1 工作原理 395
48.2 使用场景 396
48.3 为一个订单计算费用（C＃） 396
48.3.1 模型 397
48.3.2 解析器 400
第49章 依赖网络 403
49.1 工作原理 403
49.2 使用场景 405
49.3 分析饮料（C＃） 405
49.3.1 语义模型 406
49.3.2 解析器 407
第50章 产生式规则系统 409
50.1 工作原理 409
50.1.1 链式操作 410
50.1.2 矛盾推导 411
50.1.3 规则结构里的模式 412
50.2 使用场景 412
50.3 俱乐部会员校验（C＃） 412
50.3.1 模型 413
50.3.2 解析器 414
50.3.3 演进DSL 414
50.4 适任资格的规则：扩展俱乐部成员（C＃） 416
50.4.1 模型 417
50.4.2 解析器 419
第51章 状态机 421
51.1 工作原理 421
51.2 使用场景 423
51.3 安全面板控制器（Java） 423
第六部分 代码生成 426
第52章 基于转换器的代码生成 426
52.1 工作原理 426
52.2 使用场景 427
52.3 安全面板控制器（Java生成的C） 427
第53章 模板化的生成器 431
53.1 工作原理 431
53.2 使用场景 432
53.3 生成带有嵌套条件的安全控制面板状态机（Velocity和Java 生成的C） 432
第54章 嵌入助手 438
54.1 工作原理 438
54.2 使用场景 439
54.3 安全控制面板的状态（Java和ANTLR） 439
54.4 助手类应该生成HTML吗（Java和Velocity） 442
第55章 基于模型的代码生成 444
55.1 工作原理 444
55.2 使用场景 445
55.3 安全控制面板的状态机（C） 445
55.4 动态载入状态机（C） 451
第56章 无视模型的代码生成 454
56.1 工作原理 454
56.2 使用场景 455
56.3 使用嵌套条件的安全面板状态机（C） 455
第57章 代沟 457
57.1 工作原理 457
57.2 使用场景 458
57.3 根据数据结构生成类（Java和一些Ruby） 459
参考文献 463