javarifier.

Javari用の参照不変推論ツール
今すぐダウンロード

javarifier. ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Freeware
  • 出版社名:
  • Javari team
  • オペレーティングシステム:
  • Windows All
  • ファイルサイズ:
  • 6.1 MB

javarifier. タグ


javarifier. 説明

Javariは、Java言語の下位互換性のある拡張です。 Javariは、プログラマが特定の参照が読み取り専用であることを指定することを許可します。つまり、参照はその参照元の推移状態を変更するために使用できません。 Javari Compile-Time Checkerはこのプロパティを検証し、その副作用を参照して副作用を実行しないようなプログラマ（またはその他のツール）の信頼を与えます。 Javariツールセットは、プログラムが自分のプログラム内の微妙でデバッグのないエラーを検出し防止するのに役立ちます。 JavaRifierは、（.class形式で）分析するための一連のJavaクラスを読み取り、すべての参照の（IM）変動性を扱います。これは、注釈ファイル内の推定された変動を出力し、Javaプログラムの注釈を記述するためのテキストファイル形式です。入力クラスファイルは変更されません。これらの注釈は直接使用することも、注釈ファイルユーティリティを使用して.Classファイルまたは対応する.javaファイルのいずれかに使用できます。 Javariアノテーションがソースコードに挿入されている場合は、JavaRI型チェッカーによって確認できます。 Javarifier Aを与えてください。


javarifier. 関連ソフトウェア

私たちに関しては