チェッカーフレームワーク ランキングとまとめ
広告
チェッカーフレームワーク タグ
チェッカーフレームワーク 説明
チェッカーフレームワークは、プラガブルタイプシステムをバックアップ互換性のある方法でJava言語に追加することをサポートしています。 Javaの組み込み型TypeCheckerは多くのエラーを見つけて予防します - しかしそれは十分なエラーを見つけて予防しません。 チェッカーフレームワークは、追加のTypeCheckerをプラグインとしてJavacコンパイラに実行できます。あなたのコードは完全に互換性があります。コードは任意のJavaコンパイラでコンパイルされています。プログラムの一部のみを確認できます。コードに注釈を付けるのに役立つように入力推論ツールが存在します。 タイプシステム設計者はチェッカーフレームワークを使用してタイプ修飾子とそのセマンティクスを定義し、コンパイラプラグイン(「チェッカー」)はセマンティクスを強制します。プログラマはプログラムにタイプ修飾子を書き込み、プラグインを使用してエラーを検出または防止できます。 チェッカーフレームワークは、エラーのないコードを書いたプログラマと、それらのタイプシステムを評価して展開したいシステム設計者と入力します。 この文書では、「チェッカー」、「チェッカープラグイン」、「Checker Plugin」、「Checking Compiler Plugin」、および「注釈プロセッサ」を同義語として使用します。 バージョン1.1.0B、2010年6月16日。 Java 6で実行すると、JDK-7の特定のフィールドから保護します。
チェッカーフレームワーク 関連ソフトウェア
Javari用の参照不変推論ツール ...
N/A 158 6.1 MB
ダウンロード
ソフトウェアのPREQREQUISTESをチェックします ...
N/A 214 333 KB
.NETコンパクトフレームワークと互換性のあるバイナリシリアライザ ...
N/A 222 95 KB
コンストラクタまたは「init」メソッドでインスタンスを作成する ...
N/A 298 35 KB
C#に書かれた依存噴射容器 ...
N/A 197 26 KB
私たちに関しては