ckit yra C priekis parašyta SML, kuri paverčia C šaltinio kodą (po pirminio apdorojimo) į abstraktaus sintaksė atstovauja kaip SML duomenų tipai rinkinys. Ji taip pat suteikia patalpas išplečiant C kalba su papildomais sintaksines konstrukcijas, kurios gali būti naudinga "C-kaip domeno konkrečių kalbų, taip pat C tarmės įgyvendinti. Ckit šiuo metu yra naudojamas kaip priekinio galo dėl įvairių įrankių už statinio analizės C kodą, ir ne mažiau kaip vieną domeną-specifinė kalba.
ĮRENGIMAS:
Tegul CKIT būti katalogo, kuriame yra CKit kodą.
Pradėti SML kataloge $ CKIT / AST.
Vykdyti "CM.make ();". Tai suteikia jums analizatorius / elaborator.
Dėl išpakavimas ckit šaltinius, jūs turėtumėte pamatyti src katalogas, doc katalogą ir README failą (ir galbūt kitų katalogų, priklausomai nuo paskirstymo).
Src katalogas yra šie pakatalogius:
analizatorius /
Lexer ir analizatorius, parse medžiai.
AST /
abstrakčios sintaksės medžiai (AST), tipo tikrintuvas, gana-spausdintuvas.
variantai /
vėliavos, skirtos kontroliuoti analizatorius ir tipo tikrinimą.
Norėdami sukurti sistemą, CD SRC, paleisti SML / NJ ir tipas
- CM.make ();
Norėdami išbandyti analizatorius ant "test.c", įrašykite
- ParseToAst.fileToAst "test.c";
Tai suvokia ir typechecks "test.c" ir grąžina abstrakčią sintaksę medį "test.c". Arba išanalizuoti, tipo patikrinimas ir tada gana-print "test.c", įrašykite
- ParseToAst.fileToC "test.c";
Kas naujo šioje versijoje:
Komentarai nerastas