MDSF：代码生成（Code Generation）介绍

本是古典何须时尚 2021-12-14 01:15 357阅读 0赞

在实现**[模型驱动开发][Link 1]**中，我们可以解释模型直接运行在领域框架之上，也可以把模型通过代码生成技术转换成代码之后编译运行在框架之上。这两种方式都有利弊，可以搭配使用，在**[OpenExpessApp][]**中将采用这两种方法，类库通过代码生成，UI等元模型通过框架解释执行。由于代码生成是MDD中很重要的一项技术，所以本篇我将介绍一下代码生成相关的知识。

### 模型驱动中的代码生成 ###

![2010092014095523.png][]

在EMF中，Metamodel为EMF元模型，Model为EMF模型；在MS DSL Tools中，MetaModel为DSL元模型，模板为T4模板

![2010092014163669.png][]

### 代码生成技术 ###

![2010092014154481.png][]

*  [**Antlr3**  
    ][Antlr3_]Antlr是一个非常著名的开源语言生成工具，官方网站是这么介绍的：  
    ***ANTLR**, ANother Tool for Language Recognition, is a languagetool that provides a framework for constructing recognizers,interpreters, compilers, and translators from grammatical descriptionscontaining actions in a variety of **targetlanguages**. ANTLR provides excellent support for treeconstruction, tree walking, translation, error recovery, and errorreporting. There are currently about **5,000** ANTLR sourcedownloads a month.*

研究过一阵子Antlr，用它来写过一个.Net下的表达式引擎，参考[使用Antlr实现表达式引擎][Antlr]。

使用Antlr的一般经过如下步骤：

1.  写语法
2.  写StringTemplate模板（可选）
3.  在AntlrWorks调试语法
4.  从语法生成类
5.  使用生成的类来写应用程序

作者写了一本介绍Antlr的专著 [The Definitive Antlr Reference][]，我只是几年前大概看过一遍，觉得作者很牛。不过作者又出的另外一本书[Language Implementation Patterns][]，有人说这本书更好，它将ANTLR内部的设计思想也讲得很清楚了。相比而言，之前那本书只能算是ANTLR的用户手册，而新书算是ANTLR的设计思想。

[![2010092715493558.jpg][]][The Definitive Antlr Reference]        [![2010092716135537.jpg][]][Language Implementation Patterns]

*  [**Irony - .NET Language Implementation Kit**][Irony - .NET Language Implementation Kit]Irony是在Codeplex网站上的一个开源语言实现工具，官方介绍如下：  
    ***　******　****Irony** is a development kit for implementing languages on .NET platform. It uses the flexibility and power of c\# language and .NET Framework 3.5 to implement a completely new and streamlined technology of compiler construction. Unlike most existing yacc/lex-style solutions Irony does not employ any scanner or parser code generation from grammar specifications written in a specialized meta-language. In Irony the target language grammar is coded directly in c\# using operator overloading to express grammar constructs. Irony's scanner and parser modules use the grammar encoded as c\# class to control the parsing process. See the [expression grammar sample][] for an example of grammar definition in c\# class, and using it in a working parser.*

![2010092715504115.jpg][]

......

### 代码生成定义语言 ###

在**[特定领域建模 DSM（Domain Specific）介绍][DSM_Domain Specific]**中介绍了DSM的不同工具的比较，其中代码生成定义语言也可以从表中看到，下面将会介绍一下DSL tools的T4和MetaEdit+的MERL（MetaEdit+ Reporting Language）：

![2010092710573181.png][]

*  **MetaEdit+的MERL语言**  
    MetaEdit+提供代码生成编辑器，还支持生成的调试。**[OpenExpressApp][OpenExpessApp]**采用类似MetaEdit+的元元模型来编写语言，所以将来的代码生成可能也会主要参考它来做。具体可参考安装程序目录中的**User's Guides** 的 **MetaEdit+ Workbench** 代码生成章节内容**。**  
    ![2010092711120338.png][]  
      
    ![2010092715200876.png][]

它的一个Report示例：

Report 'Test'
      foreach .State [Watch]
      {  'State : '
         :State name;
         newline
         'Connects to: '
         newline
         do ~From>()~To.State [Watch]
         {  ' 	'
            :State name;
            newline
         }
         newline
      }
      endreport

它的语法定义如下：

STRING	: "'" CHAR* "'"
    where CHAR is any character; a ' character must be doubled
    NUMBER	: ("0".."9")+
    NAMECHAR	: "a".."z" | "0".."9" | " " | {_+-[]?} | INTLNAMECHAR | ESCAPECHAR
    INTLNAMECHAR	: {äëïöü} | {áéíóú} | {àèìòù} | {âêîôû} | {ñãœçÿ} | {ß€} | {¿¡«»}
    ESCAPECHAR	: "\" ECHAR
    where ECHAR is anything that is not a letter number or underscore
    NAME	: NAMECHAR+
    If NAME contains a space, the whole name should have a ";" after it, or one of ".>~#" forming the start of the next element in a chainClause
    WILDNAME	: ["^"] (NAMECHAR | "*" | "#")+
    If WILDNAME contains a space, the whole name should have a ";" after it.
    # 	Design element access and output commands (5.3.2)
    chainOutputClause	: (propClauseWithLevel | propClause | (graphEltClause+ propClause)) [";"] [translatorNames] [";"];
    translatorNames	: ("%" <NAMECHAR>+)+;
    propClauseWithLevel	: propClause levelNumber [";"];
    levelNumber	: [";"] " "* ["-"] <NUMBER>+;
    propClause	: ":" (<NAME> | "()");
    graphEltClause	: (objClause | relClause | roleClause | portClause) [";"]
    objClause	: "." typeChoiceClause
    relClause	: ">" typeChoiceClause
    roleClause	: "~" typeChoiceClause
    portClause	: "#" typeChoiceClause
    typeChoiceClause	: NAME
    	| "()"
    	| "( " WILDNAME {" | " WILDNAME}* ")"
    # 	General commands (5.3.3)
    report	: oldreport | newreport;
    oldreport	: "report" <STRING> clause* "endreport";
    newreport: 	[newheadersection] clause*;
    newheadersection	: <NAME> ["(" [<NAME> ("," <NAME>)*] ")" ];
    clause	: (comment
    | basicClause
    | ifClause
    | loop
    | subreportClause
    | fileClause
    | md5Clause
    | executeClause
    | promptAskClause
    | variableAssign
    | variableClause
    | translationClause
    | mathClause
    | chainOutputClause
    ;
    comment	: <comment>;
    basicClause	: atomicClause | iterableClause;
    atomicClause	: newlineClause | separatorClause | literal | variableRef | simpleClause;
    newlineClause	: "newline" [";"];
    separatorClause	: "sep" [";"];
    literal	: <STRING> [translatorNames] [";"];
    variableRef 	: "$" <NAME> [translatorNames] [";"];
    simpleClause	: ("id" | "type" | "metatype" | "oid" | "projectid" | "objectid" | "project") [levelNumber] [";"] [translatorNames] [";"]
    |
    ("x" | "y" | "left" | "right" | "top" | "bottom" | "centerX" | "centerY" | "width" | "height" | "area") [levelNumber] [";"] [translatorNames] [";"];
    iterableClause	: ("decompositions" | "explosions" | "containers" | "contents" | "stack" | "graphs") [";"];
    # 	Control and navigation commands (5.3.4)
    ifClause	: "if" [condition]
    "then" [";"] (clause* | ";")
    ["else" [";"] clause*]
    "endif" [";"];
    condition	: ("not" condition)
    | (condition "and" condition)
    | (condition "or" condition)
    | ("(" condition ")")
    | expression;
    expression	: comparison | unary;
    unary	: comparableClause;
    comparison	: comparableClause comp comparableClause
    ["num"];
    comparableClause 	: atomicClause | chainClause;
    comp	: "<" | ">" | "<=" | ">=" | "=" | "<>" | "=~" | "=/";
    loop	: ("do" | "dowhile")
    (chainClause | atomicClause)
    [whereClause] [filterClause]
    "{" clause* "}" [";"]
    |
    "foreach"
    graphEltClause [";"]
    [whereClause] [filterClause]
    "{" clause* "}" [";"];
    chainClause	: (chainElementClause [levelNumber] [";"])+;
    chainElementClause	: graphEltClause | propClause | iterableClause;
    whereClause	: "where" condition;
    filterClause	: orderbyClause [uniqueClause]
    | uniqueClause;
    orderbyClause 	: "orderby" orderCriterion ("," orderCriterion)*;
    uniqueClause 	: "unique" [clause+ ("," clause+)*];
    orderCriterion	: clause+ ["num"] ["asc" | "desc"];
    subreportClause	: ("subreport" | "subgenerator") [";"] clause* "run" [";"];
    # 	External I/O commands (5.3.5)
    fileClause	: outputFileClause | filenameReadClause | filenamePrintClause;
    outputFileClause	: "filename" [";"] clause*
    ["encoding" [";"] clause+]
    ["md5start" [";"] clause+]
    ["md5stop" [";"] clause+]
    modeClause clause*
    "close" [";"];
    modeClause	: ("write" | "merge" | "append") [";"];
    filenameReadClause	: "filename" [";"] clause*
    ["encoding" [";"] clause+]
    "read" [";"];
    filenamePrintClause	: "filename" [";"] clause* "print" [";"];
    md5Clause	: "md5id" [";"] clause* "md5Block" [";"]
    clause*
    "md5sum" [";"];
    executeClause	: ("external" | "internal") [";"]
    clause*
    ("execute" | "executeBlocking") [";"];
    promptAskClause	: "prompt" [";"] clause* "ask" [";"];
    # 	String and number commands (5.3.6)
    variableClause	: variableReadClause | variableWriteClause;
    variableReadClause	: "variable" [";"] clause+ "read" [";"];
    variableWriteClause	: "variable" [";"] clause+
    variableModeClause clause* [";"]
    "close" [";"];
    variableModeClause	: ("write" | "append") [";"];
    variableAssign	: "$" <NAME> "=" [";"] (variableAssign | basicClause | chainOutputClause);
    translationClause	: "to" [";"] clause*
    ["translate" [";"] clause*]
    "endto" [";"];
    mathClause	: "math" [";"] clause* "evaluate" [";"];

*  **微软的T4**  
    ![2010092715324334.png][][  
    T4: Text Template Transformation Toolkit][T4_ Text Template Transformation Toolkit]

### 书籍 ###

[![2010092709593554.jpg][]][2010092709593554.jpg 1]

What's Inside:

*  Code generation basics
 *  CG techniques and best practices
 *  Patterns of CG design
 *  How to deploy generators
 *  Many example generators

Includes generators for:

*  Database access
 *  RPC
 *  Unit tests
 *  Documentation
 *  Business logic
 *  Data translation

[![2010092710014142.jpg][]][2010092710014142.jpg 1]        [![2010092716135537.jpg][]][Language Implementation Patterns]

### LOP中的代码生成  ###

LOP中的代码生成有三种主要的方法，我们将结合使用它们来定义模型转换；第一种是遍历方式，你枚举源模型中所有节点，检视每一个，并基于检视到的信息生成目标模型中的一些目标节点；第二种方式是使用模板和宏来定义如何生成目标语言；第三种方式是使用模式匹配来查找在源模型中的哪些节点上应用转换。

[Code Generation by Model Transformation - A Case Study in Transformation Modularity][]

**推荐：你可能需要的在线电子书![040810_0145_blog11.gif][]**

** **

**欢迎转载，转载请注明：转载自****[周金根][Link 2] \[ [http://zhoujg.cnblogs.com/][Link 2] \]**

转载于:https://www.cnblogs.com/zhoujg/archive/2010/09/27/1831712.html

[Link 1]: http://www.cnblogs.com/zhoujg/archive/2010/09/20/1831042.html
[OpenExpessApp]: http://openexpressapp.codeplex.com/
[2010092014095523.png]: /images/20211213/3dd031463e6e4611be2d294571c23d4d.png
[2010092014163669.png]: /images/20211213/4fdccbffcb334818966ec2982ab42cb8.png
[2010092014154481.png]: /images/20211213/b4049572ed434945ac3842fe48491d5f.png
[Antlr3_]: http://www.antlr.org/
[Antlr]: http://www.cnblogs.com/zhoujg/archive/2007/04/17/717488.html
[The Definitive Antlr Reference]: http://book.douban.com/subject/1941193/
[Language Implementation Patterns]: http://book.douban.com/subject/4030327/
[2010092715493558.jpg]: https://pic002.cnblogs.com/images/2010/14032/2010092715493558.jpg
[2010092716135537.jpg]: /images/20211213/5da543ce31f3404a8ff02cc0e7e272f7.png
[Irony - .NET Language Implementation Kit]: http://irony.codeplex.com/
[expression grammar sample]: http://irony.codeplex.com/wikipage?title=expression%20grammar%20sample&referringTitle=Home
[2010092715504115.jpg]: /images/20211213/43598b211ec9490f958fdf11425dd300.png
[DSM_Domain Specific]: http://www.cnblogs.com/zhoujg/archive/2010/09/17/1823210.html
[2010092710573181.png]: /images/20211213/2d812fc7f5a449a5b5cad7a60d02b491.png
[2010092711120338.png]: /images/20211213/8375f0541cd94d25b1f13f8a0e577bc9.png
[2010092715200876.png]: /images/20211213/867b17caa6dc4f9c8d5ae46b115e169a.png
[2010092715324334.png]: /images/20211213/95892a352f3d42518449894c7c1dd235.png
[T4_ Text Template Transformation Toolkit]: http://www.olegsych.com/2007/12/text-template-transformation-toolkit/
[2010092709593554.jpg]: /images/20211213/959e7e203d104d84a1a6df554481d3b6.png
[2010092709593554.jpg 1]: http://book.douban.com/subject/1641909/
[2010092710014142.jpg]: https://pic002.cnblogs.com/images/2010/14032/2010092710014142.jpg
[2010092710014142.jpg 1]: http://book.douban.com/subject/2576471/
[Code Generation by Model Transformation - A Case Study in Transformation Modularity]: http://www.docin.com/p-83524066.html
[040810_0145_blog11.gif]: /images/20211213/7a3fe766920942d9aa1305e540406f76.png
[Link 2]: http://zhoujg.cnblogs.com/