Nccc 1.0.0

Nccc

.Net Compiler Compiler Combinator

Make Making Parser Easy

一个简单易用的语法生成器。采用Parsec的编程方式实现。语法生成式的设计参考了王垠的设计和PEG的思想，基本上采用的S表达式的结构。

Parsec的意思是Parser Combinators。其思想是基于一些基础parser，使用parser组合子组合成复杂的parser。

这些基础parser都是一些简单的parser，简单到非常容易编程实现。 比如匹配字符串A的parser（记为'A'），匹配一个数字的parser（记为<number>）等。

Parser组合子类似正则表达式中的操作符。 比如将parser串成序列的序列操作@..，或操作@or，星号操作（零个或多个）@*。

使用基础parser和组合子可以合成较为复杂的parser：

• (@.. 'A' 'B')匹配字符串A和字符串B序列。如A B。
• (@or 'A' 'B')匹配字符串A或字符串B。
• (@? 'A')匹配空或者字符串A。
• (@* 'A')匹配零个或多个A。如A、A A A A。
• (@* (@or 'A' 'B'))匹配由'A'和'B'组成的序列。如B B、A A、A B、A B A A。
• (@or 'A' <number>)匹配由'A'或者一个数字。如A、1.1。
• (@* (@or 'A' <number>))匹配由'A'和数字组成的序列。如A A、1.1 2、A 23、A 1.2 A A。

一个例子： 算术表达式

语法：

; 定义add为root parser，即最后得到的parser
:: add

; 设置参数
@set-delims '(' ')' '[' ']' '{' '}' '+' '-' '*' '/' '^'

; 下面开始组合

add = (@or add:(mul '+' add)
           sub:(mul'-' add)
           mul)

mul = (@or mul:(pow '*' mul)
           div:(pow '/' mul)
           pow)

pow = (@or pow:(primary '^' pow)
           primary)

primary = (@or par:('(' add ')')
               par:('[' add ']')
               par:('{' add '}')
               neg:('-' pow)
               num:<number>)

加载Parser：

private NcParser _parser = NcParser.LoadFromAssembly(Assembly.GetExecutingAssembly(), "Nccc.Tests.Calculator.calculator.grammer");

Parse：

var pr = _parser.ScanAndParse("(5.1+2)*3+-2^3^2");
Console.WriteLine(pr.ToSExp().ToPrettyString());

输出Parsing结果（打印成S表达式）：

(((parser add))
 (success? True)
 (nodes
  ((add[(1,1)-(1,17)]
    (mul[(1,1)-(1,10)]
     (par[(1,1)-(1,8)]
      (add[(1,2)-(1,7)]
       (num[(1,2)-(1,5)] 5.1)
       (num[(1,6)-(1,7)] 2)))
     (num[(1,9)-(1,10)] 3))
    (neg[(1,11)-(1,17)]
     (pow[(1,12)-(1,17)]
      (num[(1,12)-(1,13)] 2)
      (pow[(1,14)-(1,17)]
       (num[(1,14)-(1,15)] 3)
       (num[(1,16)-(1,17)] 2)))))))

更多资料

文档