ckit is 'n C voorkant geskryf in SML dat C bronkode (na preprocessing) vertaal in abstrakte sintaksis verteenwoordig as 'n stel van SML gegee tik. Dit bied ook fasiliteite vir die uitbreiding van die C-taal met bykomende sintaktiese konstruksies, wat nuttig is vir die implementering van "C-agtige" domein spesifieke tale asook dialekte C kan wees. Ckit word tans gebruik as die voorkant vir 'n verskeidenheid van instrumente vir statiese ontleding van C-kode en minstens een domein spesifieke taal.
Installasie:
Laat CKIT wees die gids met die CKit kode.
Begin SML in gids $ CKIT / ast.
Voer "CM.make ();". Dit gee jou die parser / elaborator.
Op pak die ckit bronne, moet jy 'n src gids, 'n doc gids en 'n README lêer te sien (en moontlik ander dopgehou, afhangende van die verspreiding).
Die src gids bevat die volgende subdirectories:
parser /
laer is en parser, parse bome.
ast /
abstrakte sintaksis bome (AST), tipe-checker, mooi-drukker.
variante /
vlae vir die beheer van die parser en tipe-ding.
Aan die stelsel, CD src bou, hardloop SML / NJ en tipe
- CM.make ();
Om die parser op "test.c", tipe toets
- ParseToAst.fileToAst "test.c";
Dit ontleed en typechecks "test.c" en gee 'n abstrakte sintaksis boom "test.c". Alternatiewelik, om te ontleed, tipe-check en dan mooi-druk "test.c", tipe
- ParseToAst.fileToC "test.c";
Wat is nuut in hierdie release:
Kommentaar nie gevind