译者序 前言 第一部分　叙　　述 第1章入门例子2 1.1　哥特式建筑安全系统2 1.2　状态机模型4 1.3　为格兰特小姐的控制器编写程序7 1.4　语言和语义模型13 1.5使用代码生成15 1.6　使用语言工作台17 1.7　可视化20 第2章　使用DSL21 2.1定义DSL21 2.1.1DSL的边界22 2.1.2片段DSL和独立DSL25 2.2为何需要DSL25 2.2.1　提高开发效率26 2.2.2与领域专家的沟通26 2.2.3执行环境的改变27 2.2.4其他计算模型28 2.3DSL的问题28 2.3.1语言噪音29 2.3.2构建成本29 2.3.3集中营语言30 2.3.4 “一叶障目”的抽象30 2.4广义的语言处理31 2.5DSL的生命周期31 2.6设计优良的DSL从何而来32 第3章实现DSL34 3.1DSL处理之架构34 3.2解析器的工作方式37 3.3文法、语法和语义39 3.4解析中的数据39 3.5宏41 3.6测试DSL42 3.6.1语义模型的测试42 3.6.2解析器的测试45 3.6.3脚本的测试49 3.7错误处理50 3.8DSL迁移51 第4章实现内部DSL54 4.1连贯API与命令–查询API54 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章实现外部DSL72 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.5XML DSL82 第6章内部DSL vs 外部DSL84 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组合多种DSL88 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 第二部分　通 用 主 题 第10章各种DSL116 10.1Graphviz116 10.2JMock117 10.3CSS118 10.4HQL119 10.5XAML120 10.6FIT122 10.7Make等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主题 第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章BNF183 19.1工作原理183 19.1.1多重性符号（Kleene运算符）184 19.1.2其他一些有用的运算符186 19.1.3解析表达式文法186 19.1.4将EBNF转换为基础BNF187 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.3Hello 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主题 第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.2DSL296 第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.2DSL313 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 Map336 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 第五部分　其他计算模型 第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演进DSL414 50.4适任资格的规则：扩展俱乐部成员（C#）416 50.4.1模型417 50.4.2解析器419 第51章状态机421 51.1工作原理421 51.2使用场景423 51.3安全面板控制器（Java）423 第六部分　代 码 生 成 第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