ckit CKIT, C kaynak kodunu bir SML dataTypes kümesi olarak gösterilen soyut sözdizimine çeviren SML'de yazılı bir C ön ucudur.
Şimdi İndirin

ckit Sıralama ve Özet

ckit Etiketler

çevirmen kodu C ön uç SML Uygulaması Kod tercümanı

ckit Açıklama

CKIT, C kaynak kodunu bir SML datatypes kümesi olarak gösterilen soyut sözdizimine çeviren SML'de yazılı bir C ön ucudur. CKIT, SML'de C kaynak kodunu (ön işlemden sonra), SML datatypes kümesi olarak gösterilen soyut sözdizimine çeviren bir C ön ucudur. Ayrıca, C Dilini, "C benzeri" etki alanı spesifik dillerinin yanı sıra C lehçelerinin uygulanması için faydalı olabilecek ek bir sözdizimsel yapılarla genişletmek için olanaklar sağlar. CKIT şu anda C kodunun statik analizi için çeşitli araçlar ve en az bir alan spesifik dili için ön uç olarak kullanılır. "Cm.make ();". Bu size ayrıştırıcı / elaborator verir. CKIT kaynaklarını açma, bir SRC dizini, bir DOC dizini ve bir README dosyasını (ve dağılıma bağlı olarak muhtemelen diğer dizinler) görmelisiniz. SRC dizini aşağıdaki alt dizinleri içerir: ayrıştırıcı / Lexer ve ayrıştırıcı, ağaçları ayrıştırır. AST / Soyut Sözdizimi Ağaçları (AST), Tip Checker, Pretty-Yazıcı. Ayrıştırıcı ve Tip Denetleyiciyi Kontrol Etmek İçin Varyantlar / Bayraklar. Sistemi, CD'yi SRC'ye inşa etmek için, SML / NJ ve Type-cm.make (); Ayrıştırıcıyı "Test.C" üzerine test etmek için, Type-Parsetoast.FileToast "Test.c"; bu ayrıştırmalar ve yazım hataları "testi .c "ve" Test.C "için bir soyut sözdizimi ağacı döndürür. Alternatif olarak, ayrıştırmak, yazmak ve sonra pretty-print "test.c", type-parsetoast.filetoc "test.c"; bu sürümde yeni olanlar: · Parametrizasyonu desteklemek için yedek boyut ve hizalama mekanizması (bkz. SRC / AST /Sizes-SIG SICE.SML). Belirli bir derleyici / platform kombinasyonu için bir yardımcı program programı (SRC / C-Util / Sizes.c) kullanılabilir.

ckit İlgili Yazılım