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的”;
什麼是新的，在此版本：