Ckit е C предния край, написани на SML която превежда източник C код (след предварителна обработка) в абстрактен синтаксис представени като съвкупност от ГСМ типове данни. Той също така предоставя съоръжения за удължаване на езика С с допълнителни синтактични конструкции, които могат да бъдат полезни за прилагане на езици "C-подобни" Домейн-специфично, както и C наречия. Ckit в момента се използва като предния край на различни инструменти за статичен анализ на C код и поне един домен, специфичен език.
МОНТАЖ:
Нека Ckit бъде директорията, съдържаща код Ckit.
Стартирай SML в директорията $ Ckit / AST.
Execute "CM.make ();". Това дава анализатор / elaborator.
На разопаковане източниците Ckit, трябва да видите SRC директория, док директория и файл README (а вероятно и други директории, в зависимост от разпределението).
Директорията на SRC съдържа следните поддиректории:
анализатор /
lexer и анализатор, при анализа дървета.
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";
Какво е новото в тази версия:
Коментари не е намерена