分解复杂IronPython表达式为简单表达式
平台中内嵌了 IronPython，需求希望产品在运行或设计时，高级或设计人员可察看表达式各个部分执行的结果，有助于排错，或察看运行结果是否是想要的。
思路：复杂表达式可分解为多个较简单的表达式，较简单的表达又可分解为简单表达式，直到不能分解为止。因此，可以把分解的结果以树结构形式显示：较简单表达式是复杂表达的子节点，简单表达式又是较简单表达式的子节点，。。。。
为了实现上面的需求，用到了 IronPython中的语法分析类 PythonWalker，先从PythonWalke继承进行表达式分解处理，处理比较简单，override 三个方法，这三个方法中调用同一个处理方法实现，这里只是演示，很简单的处理，用缩进空格来表示级别，更复杂的要靠自己了。
处理类代码如下：
private class AtomWalker : PythonWalker { // 原始表达式 private string _orignalExpr; public List<string> AtomExprs; public AtomWalker(string expression) { this._orignalExpr = expression; AtomExprs = new List<string>(); } private int _level = 0; private void AddAtom(Expression node) { int startIndex = node.Start.Index; int endIndex = node.End.Index; string atomStr = _orignalExpr.Substring(startIndex, (endIndex - startIndex)); _level = 0; for (int i = AtomExprs.Count - 1; i >= 0; i--) { string prevAtom = AtomExprs[i]; if (prevAtom.Contains(atomStr)) { for (int j = 0; j < prevAtom.Length; j++) { if (prevAtom[j] == ' ') { _level++; } else { break; } } _level += 2; break; } } for (int i = 0; i < _level; i++) { atomStr = " " + atomStr; } AtomExprs.Add(atomStr); } public override bool Walk(BinaryExpression node) { AddAtom(node); return base.Walk(node); } public override bool Walk(CallExpression node) { AddAtom(node); return base.Walk(node); } public override bool Walk(ConditionalExpression node) { AddAtom(node); return base.Walk(node); } }
然后调用：
public string[] ParserExpression(string expression) { SourceUnit unit = DefaultContext.Default.LanguageContext.CreateSnippet(expression, SourceCodeKind.Expression); CompilerContext context = new CompilerContext(unit, new PythonCompilerOptions(true), ErrorSink.Default); Parser parser = Parser.CreateParser(context, new PythonOptions()); PythonAst ast = parser.ParseTopExpression(); AtomWalker walker = new AtomWalker(expression); ast.Walk(walker); return walker.AtomExprs.ToArray(); }
测试示例：
第一个表达式：
context.c.max(1,cont.min(45,23)).sub(23) + min(2,max(3, unique('ActiveObject.TC001'))) + IIF(2<1,1,2) + (3 if 3>2 else 2 if 4>3 else 5)
输出结果：
context.c.max(1,cont.min(45,23)).sub(23) + min(2,max(3, unique('ActiveObject.TC001'))) + IIF(2<1,1,2)
context.c.max(1,cont.min(45,23)).sub(23) + min(2,max(3, unique('ActiveObject.TC001')))
context.c.max(1,cont.min(45,23)).sub(23)
context.c.max(1,cont.min(45,23))
cont.min(45,23)
min(2,max(3, unique('ActiveObject.TC001')))
max(3, unique('ActiveObject.TC001'))
unique('ActiveObject.TC001')
IIF(2<1,1,2)
2<1
3 if 3>2 else 2 if 4>3 else 5
3>2
2 if 4>3 else 5
4>3
第二个表达式：
'MMDD'.rjust(ActiveObject.MQ005+4, 'Y').ljust(ActiveObject.MQ005+4+ActiveObject.MQ006, '9') if ActiveObject.MQ004 == 1 else ('MM'.rjust(ActiveObject.MQ005+2, 'Y').ljust(ActiveObject.MQ005+2+ActiveObject.MQ006, '9') if ActiveObject.MQ004 == 2 else ''.ljust(ActiveObject.MQ006, '9'))
输出结果：
ActiveObject.MQ004 == 1
'MMDD'.rjust(ActiveObject.MQ005+4, 'Y').ljust(ActiveObject.MQ005+4+ActiveObject.MQ006, '9')
'MMDD'.rjust(ActiveObject.MQ005+4, 'Y')
ActiveObject.MQ005+4
ActiveObject.MQ005+4+ActiveObject.MQ006
ActiveObject.MQ005+4
'MM'.rjust(ActiveObject.MQ005+2, 'Y').ljust(ActiveObject.MQ005+2+ActiveObject.MQ006, '9') if ActiveObject.MQ004 == 2 else ''.ljust(ActiveObject.MQ006, '9')
ActiveObject.MQ004 == 2
'MM'.rjust(ActiveObject.MQ005+2, 'Y').ljust(ActiveObject.MQ005+2+ActiveObject.MQ006, '9')
'MM'.rjust(ActiveObject.MQ005+2, 'Y')
ActiveObject.MQ005+2
ActiveObject.MQ005+2+ActiveObject.MQ006
ActiveObject.MQ005+2
''.ljust(ActiveObject.MQ006, '9')
后续设计思想：用树图形式显示编写的表达式的分解结果，当点击任意节点时，可察看此节点表达式的运行情况（返回值，或错误详细信息）；
也可一次性从上下到运行所有节点的表达式，而后输出每个节点的运行情况。