ckit เป็นปลายด้านหน้า C เขียนใน SML ที่แปลรหัสที่มา C (หลังจาก preprocessing) ลงในไวยากรณ์นามธรรมแสดงเป็นชุดของประเภทข้อมูล SML นอกจากนี้ยังมีสิ่งอำนวยความสะดวกสำหรับการขยายภาษา C กับโครงสร้างประโยคเพิ่มเติมซึ่งจะเป็นประโยชน์สำหรับการดำเนินการ "C เหมือน" โดเมนภาษาเฉพาะเช่นเดียวกับภาษา C Ckit ปัจจุบันใช้เป็นส่วนหน้าสำหรับความหลากหลายของเครื่องมือสำหรับการวิเคราะห์คงรหัส C และอย่างน้อยหนึ่งโดเมนภาษาเฉพาะ
การติดตั้ง:
ให้ CKIT เป็นไดเรกทอรีที่มีรหัส CKit
เรียก SML ในไดเรกทอรี $ CKIT / เอเอสที
ดำเนินการ "CM.make ();" นี้จะช่วยให้คุณแยกวิเคราะห์ / elaborator
ในการเปิดออกแหล่ง ckit คุณจะเห็นไดเรกทอรี src ไดเรกทอรี doc และไฟล์ README (และอาจไดเรกทอรีอื่น ๆ ขึ้นอยู่กับการจัดจำหน่าย)
ไดเรกทอรี src มีไดเรกทอรีย่อยต่อไปนี้:
parser /
lexer parser และต้นไม้แยก
AST /
ต้นไม้ไวยากรณ์นามธรรม (เอเอสที) ประเภทตัวตรวจสอบสวยเครื่องพิมพ์
สายพันธุ์ /
ธงในการควบคุมตัวแยกวิเคราะห์และประเภทของตัวตรวจสอบ
เพื่อสร้างระบบซีดีเพื่อ src เรียก SML / นิวเจอร์ซีย์และประเภท
- CM.make ();
เพื่อทดสอบการแยกวิเคราะห์เรื่อง "test.c" พิมพ์
- ParseToAst.fileToAst "test.c";
นี้จะแยกวิเคราะห์และ typechecks "test.c" และผลตอบแทนที่เป็นนามธรรมต้นไม้ไวยากรณ์สำหรับ "test.c" อีกทางเลือกหนึ่งที่จะแยกประเภทการตรวจสอบแล้วสวยพิมพ์ "test.c" พิมพ์
- ParseToAst.fileToC "test.c";
มีอะไรใหม่ในรุ่นนี้:
ความคิดเห็นที่ไม่พบ