在前面的几节里,我们已经完成了一个简单的状态机设计器,通过这个状态机可以设计出一个状态流,但是如果只是这样,我们直接使用UML设计工具就行了,何必自己开发呢? 我们走的是模型驱动开发路线,呵呵,注意哥说的是开发,不是设计.这一节就和我们的开发联系起来,生成符合我们要求的代码.
结合vs.net dsl生成代码有以下几种方式:
直接硬编码,在代码里面利用模型拼接生成的代码,我记得activewriter就是这样做的生成nhibernate代码.
结合模板引擎,你可以使用xslt或者t4(text template transformation toolkit),或者是codesmith等.
在这里我们使用T4来生成,vs.net已经内置支持T4引擎(dsl和linq等都是使用t4来生成的), 即使这样,vs.net也没有内置对T4文件的编辑器,在开始下面之前,需要从这里下载免费的Community版本安装.
1.直接运行我们的项目,可以发现在Debugging项目下面有两个tt文件,这两个文件就是生成简单代码的一个例子,直接打开LanguageSmReport.tt
隐藏行号 复制代码 ？
<#@ Import Namespace="System" #>
<#@ template inherits="Microsoft.VisualStudio.TextTemplating.VSHost.ModelingTextTransformation" language="C#" #>
<#@ output extension=".txt" #>
<#@ LanguageSm processor="LanguageSmDirectiveProcessor" requires="fileName='Test.mydsl5'" #>
<#
foreach (State state in StateMachine.States) {#>
<#= state.Name #>
<#
}
#>
2.运行自定义工具,生成的文件就是附属的txt文件:
隐藏行号 复制代码 ？
Draft
NewOrder
Cancelled
Confirmed
3. 对应的我们的状态机是我建立的一个简单的订单状态流转:
4.回头过来再看一下这个t4模板文件,看起来其实很象aspx页面:
(1).通过Import引用需要的命名空间,事先所在的dll一定要添加到项目中.
(2).第二行指定模板继承自
Microsoft.VisualStudio.TextTemplating.VSHost.ModelingTextTransformation,指定模板语言使用C#,注意，如果你需要使用framework 3.5,这里需要设置成C#3.5.
(3).通过output指令设置生成文件的后缀名和编码.
(4).声明我们的指令处理器以及需要加载的模型文件. (5).模板的正文很容易理解，只需要记住它的几个控制块的类型.
<#….#>标准控制块，里面放控制语句，就是我们普通的C#或者VB代码组成的控制语句.
<#+..#>类特性控制块，里面可以添加方法，属性，域或者内嵌类，在这里一般放一些重用性高的代码.
<#=…#>表达式控制块，计算里面包含的表达式的值并输出.
5.但是这个T4文件又是怎么样的运行解析机制呢，其实它和我们的aspx页面很类似，我们来看一下它生成的转换类:
隐藏行号 复制代码 ？
public class GeneratedTextTransformation : Microsoft.VisualStudio.TextTemplating.VSHost.ModelingTextTransformation {
public override string TransformText() { try { this.Write("\r\n"); this.Write("\r\n"); this.Write("\r\n"); this.Write("\r\n\r\n");
foreach (State state in StateMachine.States) {
this.Write("\r\n\t"); this.Write(Microsoft.VisualStudio.TextTemplating.ToStringHelper.ToStringWithCulture(
state.Name
));
this.Write("\r\n");
}
this.Write("\r\n"); } catch (System.Exception e) { System.CodeDom.Compiler.CompilerError error = new System.CodeDom.Compiler.CompilerError();
error.ErrorText = e.ToString();
error.FileName = "template2.t4";
this.Errors.Add(error);
}
return this.GenerationEnvironment.ToString();
}
private Company.LanguageSm.StateMachine statemachineValue;
private Company.LanguageSm.StateMachine StateMachine { get { return this.statemachineValue;
}
}
protected override void Initialize() { this.AddDomainModel(typeof(Microsoft.VisualStudio.Modeling.Diagrams.CoreDesignSurfaceDomainModel));
this.AddDomainModel(typeof(Company.LanguageSm.LanguageSmDomainModel));
base.Initialize();
if ((this.Errors.HasErrors == false)) { Microsoft.VisualStudio.Modeling.Transaction statemachineTransaction = null;
try { Microsoft.VisualStudio.Modeling.SerializationResult serializationResult = new Microsoft.VisualStudio.Modeling.SerializationResult();
statemachineTransaction = this.Store.TransactionManager.BeginTransaction("Load", true); this.statemachineValue = Company.LanguageSm.LanguageSmSerializationHelper.Instance.LoadModel(serializationResult, this.Store, "Test.mydsl5", null, null);
if (serializationResult.Failed) { throw new Microsoft.VisualStudio.Modeling.SerializationException(serializationResult);
}
statemachineTransaction.Commit();
} finally { if ((statemachineTransaction != null)) { statemachineTransaction.Dispose();
}
}
}
}
}
通过Write方法输出我的内容，然后其实是对于我们的模型的根域类属性，并重写Initialize()方法进行了初始化.
6.回过头来，我们要根据上面3中的订单状态图，生成我们的代码，最重要也是最基本的一点，在你打算用T4生成代码时，你一定要对你想生成的代码了如指掌.如果你连自己要什么都不知道，更不可能达到了. 我们以最基本的一个例子，虽然这样写代码可能并不合理，不过在这里我们为了使问题尽量简单化:
隐藏行号 复制代码 ？
/// <summary>
/// 订单状态
/// </summary>
public enum OrderStateEnum
{ Draft,
NewOrder,
Cancelled,
Confirmed,
}
/// <summary>
/// 订单生成
/// </summary>
public partial class Order
{ public OrderStateEnum OrderState
{ get;
set;
}
public Order()
{
}
protected void SaveOrder(Order order)
{
if(order.OrderState == OrderStateEnum.Draft)
order.OrderState = OrderStateEnum.NewOrder;
}
}
(1).我们需要为我们的所有的状态生成到我们的枚举类型OrderStateEnum中(状态名就是枚举名，值不考虑).
(2).在我们的Order类中，有一个固定的OrderStateEnum类型的属性OrderState,表示当前订单的状态.
(3).需要为我们的每一个转移Transigion生成一个方法到我们的Order类中，方法名就是Transition的Event的值，方法体就是当订单的状态为Transigion的发起者Predecessor时，将订单的状态置为目标Successor.也就是说在SaveOrder内，判断如果订单的状态是Draft时，就把订单的状态置为NewOrder.
7.在明白了目标代码后，我们来写我们的T4文件，首先需要添加一个公共的方法来获取StateMachine里的所有的Transition.我们使用<#+#>来完成这个方法，注意这个方法需要放在整个模板文件的最下面.
隐藏行号 复制代码 ？
<#+
System.Collections.Generic.IEnumerable<Transition> GetAllTransitions() { foreach (State s in StateMachine.States)
foreach (Transition t in Transition.GetLinksToSuccessors(s))
yield return t;
}
#>
8.剩下的工作就更简单了，我们只需要遍历这些Transition，对于每个Transition，对于它的Predessor和Successor进行如上所说的判断和赋值即可,而对于固定的部分，我们只需要以文本的形式写出来就可以了:
隐藏行号 复制代码 ？
/// <summary>
/// 订单状态
/// </summary>
public enum OrderStateEnum
{<#
PushIndent(" "); foreach (State state in StateMachine.States)
WriteLine(" {0},", state.Name); PopIndent();
#>
}
/// <summary>
/// 订单生成
/// </summary>
public partial class Order
{ public OrderStateEnum OrderState
{ get;
set;
}
public Order()
{
}
public void Save(Order order){ // to save order
}
<#
foreach (Transition transition in GetAllTransitions()) { #>
protected void <#=transition.Event#>
{
if(order.OrderState == OrderStateEnum.<#=transition.Predecessor.Name#>)
order.OrderState = OrderStateEnum.<#= transition.Successor.Name#>;
Save(order);
}
<#
}
#>
}
9.转换模板，就可以看到我们生成的代码了，虽然在这个例子中并没有显现出T4的强大，不过对于复杂的规范性的系统来说，能够通过Dsl进行设计，然后结合T4生成那些代码还是能够极大的提高生产率的.
隐藏行号 复制代码 ？
/// <summary>
/// 订单状态
/// </summary>
public enum OrderStateEnum
{ Draft,
NewOrder,
Cancelled,
Confirmed,
}
/// <summary>
/// 订单生成
/// </summary>
public partial class Order
{ public OrderStateEnum OrderState
{ get;
set;
}
public Order()
{
}
public void Save(Order order){ // to save order
}
protected void SaveOrder(Order order)
{
if(order.OrderState == OrderStateEnum.Draft)
order.OrderState = OrderStateEnum.NewOrder;
Save(order);
}
protected void CancelOrder(Order order)
{
if(order.OrderState == OrderStateEnum.NewOrder)
order.OrderState = OrderStateEnum.Cancelled;
Save(order);
}
protected void ConfirmOrder(Order order)
{
if(order.OrderState == OrderStateEnum.NewOrder)
order.OrderState = OrderStateEnum.Confirmed;
Save(order);
}
}
10.需要注意的是，结合dsl和t4也不可能使你的一个项目不用手写代码了，它只能是能够生成你比较固定的代码部分，能够抽象出来的，目前t4还不能够解决生成代码中允许直接签入自定义代码，所以现在一般以文件为分隔，通过partial机制，由t4生成的cs文件中专门存储这些抽象出来的可生成部分，而这部分是不允许修改的，因为在你修改完模型后下次还会重新生成，而你需要扩展的部分，都以partial类的机制在另外一个类中.
代码下载
参考资源
1. Visual Stuido DSL 工具特定领域开发指南
2. DSL Tools Lab http://code.msdn.microsoft.com/DSLToolsLab 系列教程 [本系列的入门案例的主要参考]
作者：孤独侠客（似水流年）
出处：http://lonely7345.cnblogs.com/
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。