ckit C ön SML veri türleri bir sıra kimi təmsil mücərrəd sintaksis daxil (emalı sonra) C kodunu tərcümə SML yazılı sonu. O, həmçinin "C-kimi" domain xüsusi dil, eləcə də C dialekt həyata keçirilməsi üçün faydalı ola bilər ki, əlavə sintaktik inşa ilə C dil genişləndirmək üçün təmin edir. Ckit Hal-hazırda C kodu statik analizi və ən azı bir domain xüsusi dil üçün alətlər bir sıra ön kimi istifadə olunur.
INSTALLATION:
CKIT CKit kodu olan qovluğu olsun.
Directory $ CKIT / AST ilə SML Run.
"CM.make ()" icra. Bu parser / elaborator verir.
Ckit mənbələri açıldığı, siz (bölüşdürülməsi asılı olaraq, və bəlkə digər dizinleri) bir src kataloq, bir doc kataloq və bir README fayl görəcəksiniz.
src directory aşağıdakı alt dizinler ehtiva edir:
parser /
lexer və parser, analiz ağaclar.
ast /
mücərrəd sintaksis ağaclar (Ast), növü checker, pretty-printer.
variantlar /
parser və növü checker nəzarət bayraqları.
Sistemi, SRC üçün CD qurmaq, SML / ş.NJ və növü run
- CM.make ();
, Növü "test.c haqqında" parser test üçün
- ParseToAst.fileToAst "test.c";
Bu çözümler və typechecks "test.c" və "test.c" üçün mücərrəd sintaksis ağac qaytarır. Alternativ olaraq, növü çek və sonra pretty-print "test.c", analiz etmək, növü
- ParseToAst.fileToC "test.c";
Bu Release Yenilikler:
Şərhlər tapılmadı