در ckit است یک جبهه C پایان نوشته شده در SML است که کد منبع C (پس از پردازش) ترجمه را به نحوی انتزاعی به عنوان نماینده مجموعه ای از انواع داده SML. همچنین این امکانات برای گسترش زبان C با ساختار نحوی اضافی، که می تواند برای اجرای زبانهای دامنه خاص "مانند C" و همچنین گویش C مفید را فراهم می کند. Ckit در حال حاضر به عنوان جلو پایان برای انواع ابزار برای تجزیه و تحلیل استاتیک کد C و حداقل یک زبان دامنه خاص استفاده می شود.
نصب:
اجازه دهید CKIT شود حاوی کد CKit.
اجرای SML در دایرکتوری $ CKIT / AST.
اجرای "CM.make ()؛". این به شما می دهد تجزیه گر / elaborator.
در باز کردن منابع ckit، شما باید یک دایرکتوری SRC، یک دایرکتوری توضیحات و یک فایل README (و احتمالا سایر دایرکتوریها بسته به توزیع،) را ببینید.
دایرکتوری SRC شامل زیرشاخه های زیر است:
تجزیه گر /
lexer و تجزیه کننده، درختان تجزیه.
AST /
درختان انتزاعی نحو (AST)، نوع جستجوگر، بسیار چاپگر.
انواع /
پرچم برای کنترل تجزیه و نوع جستجوگر.
برای ساخت سیستم، سی دی به SRC، اجرا SML / NJ و نوع
- CM.make ()؛
برای تست تجزیه کننده در "test.c"، نوع
- ParseToAst.fileToAst "test.c"؛
این تجزیه و typechecks "test.c" و درخت نحو انتزاعی برای "test.c" را برمی گرداند. روش دیگر، به تجزیه، نوع چک و سپس بسیار-چاپ "test.c"، نوع
- ParseToAst.fileToC "test.c"؛
چه جدید در این نسخه:
نظر یافت نشد