 | CKIT.CKITは、SMLコードをSMLデータ型のセットとして表される抽象構文に変換するSMLで書かれたCフロントエンドです。 |
| 今すぐダウンロード | |
CKIT. ランキングとまとめ
広告
- ライセンス:
- GPL
- 価格:
- FREE
- 出版社名:
- Dave MacQueen
- 出版社のWebサイト:
- http://www.smlnj.org/doc/ckit/index.html
CKIT. タグ
CKIT. 説明
CKITは、SMLコードをSMLデータ型のセットとして表される抽象構文に変換するSMLで書かれたCフロントエンドです。 CKITは、SMLで書かれたCフロントエンドで、Cソースコード（前処理後）をSMLデータ型のセットとして表された抽象構文に変換します。また、C言語を追加の構文構成要素で拡張するための機能も提供しています。これは、「C様」のドメイン固有言語とC方言を実装するのに役立ちます。 CKITは現在、Cコードの静的分析用のさまざまなツールと少なくとも1つのドメイン固有の言語のためのさまざまなツールとして使用されています。 "cm.make（）;"これにより、Parser / Elaborator.ONがCKITソースの開梱、SRCディレクトリ、DOCディレクトリ、およびREADMEファイル（配布に応じて他のディレクトリ）が表示されます.SRCディレクトリには、次のサブディレクトリが含まれています。パーサー/レクサーとパーサー、木の解析。 AST / Abstract構文ツリー（AST）、タイプチェッカー、プリティプリンタ。パーサーとタイプチェッカーを制御するためのバリアント/フラグ。システム、CDをSRCに構築するには、SML / NJとType-CM.Make（）を実行します。 "test.c"のパーサーをテストするには、type-parsetoast.filetoast "test.c" test.c "テスト"テスト " .c "と" test.c "の抽象構文ツリーを返します。あるいは、解析するには、「test.c」と入力してから、 "test.c"を入力してから、type-parsetoast.filetoc "test.c";このリリースの新機能：・パラメータ化をサポートするためのサイズとアライメントメカニズムの新機能/sizes.sml）。ユーティリティプログラム（src / c-util / sizes.c）を使用して、特定のコンパイラ/プラットフォームの組み合わせのサイズ情報を生成できます。
CKIT. 関連ソフトウェア
