ckit on C-etupään kirjoitettu SML joka kääntää C-lähdekoodi (kun esikäsittely) abstrakteiksi syntaksin edustettuina joukko SML tietotyypit. Se tarjoaa myös tilat ulottuu C-kieli ylimääräisiä syntaktisia konstruktioita, jotka voivat olla hyödyllisiä toteuttamiseksi "C-like" domain-tiettyjä kieliä sekä C murteita. Ckit nykyisin käytetään etupään erilaisia työkaluja staattisen analyysin C-koodia ja ainakin yksi verkkotunnus-tiettyä kieltä.
ASENNUS:
Olkoon ckit olla sisältävä hakemisto ckit koodin.
Suorita SML hakemistoon $ ckit / ast.
Suorita "CM.make ();". Tämä antaa sinulle jäsennin / elaborator.
Käytössä purkamisen ckit lähteistä, sinun pitäisi nähdä src hakemistoon, doc hakemiston ja README-tiedosto (ja mahdollisesti muita hakemistoja, riippuen jakelu).
Src hakemistossa on seuraavat alihakemistot:
jäsennin /
lexer ja jäsennin, jäsennyspuuta.
ast /
abstrakti syntaksi puita (Ast), tyyppi-tarkistin, pretty-tulostin.
variantit /
liput ohjaukseen parser ja tyyppi-tarkistusohjelma.
Rakentaa järjestelmä, cd src, juosta SML / NJ ja tyyppi
- CM.make ();
Testata jäsennin on "test.c", tyyppi
- ParseToAst.fileToAst "test.c";
Tämä jäsentää ja typechecks "test.c" ja palauttaa abstraktin syntaksipuun for "test.c". Vaihtoehtoisesti, jäsentää, tyypin tarkistus ja sitten pretty-print "test.c", tyyppi
- ParseToAst.fileToC "test.c";
Mitä uutta tässä julkaisussa:
Kommentteja ei löytynyt