ckit

CKIT是C前端，写在同级的转换C源代码（预处理后）为代表的一组数据类型SML的抽象语法。它也提供了用于延伸的C语言用另外的语法结构，它可以是用于实现的“C类”域专用语言，以及为C方言有用。 CKIT目前用作用于各种工具的C代码静态分析和至少一个域专用语言的前端。
安装：
让CKIT是包含CKIT代​​码的目录。
在目录$ CKIT / AST运行SML。
执行“CM.make（）;”。这使您的解析器/ elaborator。
在开箱CKIT来源，你应该会看到一个src目录，一个doc目录和README文件（可能还有其他的目录，这取决于分布）。
src目录包含以下子目录：
解析器/
    词法和语法分析器，分析树。
AST /
    抽象语法树（AST），类型检查，漂亮的打印机。
变种/
    标志控制解析器和类型检查。
要构建的系统，CD为src，运行SML / NJ和类型
- CM.make（）;
为了测试解析器“test.c的”，类型
- ParseToAst.fileToAst“test.c的”;
这个解析和typechecks“test.c的”，并返回一个抽象语法树“test.c的”。另外，解析，类型检查，然后漂亮地打印“test.c的”，类型
- ParseToAst.fileToC“test.c的”;
什么是新的，在此版本：