問題タブ [checker-framework]

次の Java コードを使用します。

コンパイル時以外の実行時に、注釈を使用してコンストラクターの引数 を確認することは可能ですか? 個人的には、実行時に検証チェックを実行できるchecker-frameworkがまだ見つかりませんでした。しかし、アノテーション プロセッサを実装して実行時チェックを行うことは可能ですか?value@NonNull

TypeScript 用のCheckerFrameworkのようなものはありますか? @Nullable注釈を使用して、関数をすぐに呼び出したパラメーターのように、コンパイル時にコードの問題を見つけられるようにしたいと考えています。

• マップのような機能を持つインターフェイスがありますが、Java の Map インターフェイスを実装していません。
• マップ インターフェイスも実装しIterable<Object>ます。マップのキーを反復します
• this強化されたループ (以下を参照) の本体で使用したいと思いますが、アサーションは使用getせず、反復キーの値を取得するために使用し[ERROR]、Checker フレームワークから を使用しません。
• それはまったく可能ですか?どこから始めるべきか、または学ぶべき例を教えていただけますか? 無計画に sを散りばめようと@KeyForしましたが、自分が何をしているのかを完全に理解していないため、適切な場所に到達するまでに時間がかかる可能性があります ;-)
• 「エントリ イテレータ」を使用して、そもそもこの問題を解決する必要がないようにすることは理解していますが、キー イテレータとメソッドの間のセマンティックな関係についてチェッカー フレームワークに教える方法を学ぶことに本当に興味があります@Nullable get。

最小限の作業例を次に示します。