ckit هو جبهة C اقفالا كتب في SML أن يترجم شفرة المصدر C (بعد تجهيزها) في جملة مجردة ممثلة كمجموعة من أنواع البيانات SML. كما يوفر مرافق لتوسيع لغة C مع البنى النحوية إضافية، والتي يمكن أن تكون مفيدة لتنفيذ اللغات نطاق محدد "C-مثل" وكذلك اللهجات C. يستخدم حاليا Ckit كما الواجهة الأمامية لمجموعة متنوعة من الأدوات لتحليل ثابت من التعليمات البرمجية C ولغة نطاق محدد واحد على الأقل.
INSTALLATION:
السماح CKIT يكون الدليل الذي يحتوي على كود CKit.
تشغيل SML في الدليل $ CKIT / AST.
تنفيذ "CM.make ()؛". هذا يعطيك محلل / elaborator.
على تفريغ مصادر ckit، يجب أن تشاهد دليل SRC، دليل ثيقة وملف اقرأني (وربما غيرها من الدلائل، اعتمادا على التوزيع).
يحتوي الدليل SRC الدلائل التالية:
محلل /
lexer ومحلل، وأشجار تحليل.
AST /
أشجار مجردة جملة (است)، اكتب المدقق، جميلة الطابعة.
المتغيرات /
الأعلام للسيطرة على محلل ونوع المدقق.
لبناء نظام، مشغل أقراص لSRC، تشغيل SML / NJ ونوع
- CM.make ()؛
لاختبار محلل في "test.c"، نوع
- ParseToAst.fileToAst "test.c".
هذا ويوزع typechecks "test.c" ويعود وجود شجرة جملة مجردة ل "test.c". بدلا من ذلك، تحليل، نوع الاختيار ثم جميلة الطباعة "test.c"، نوع
- ParseToAst.fileToC "test.c".
ما هو الجديد في هذا الإصدار:
لم يتم العثور على التعليقات