独自の gnatcheck ルールを作成することは可能ですか? もしそうなら、誰かが私に良い参考文献を教えてくれますか? 使用されている特定の「スタイル」を探していますが、そのスタイルが表示された場合に警告またはエラーが発生するというルールを簡単に記述できれば幸いです。特定の基準に従っていません。
3 に答える
2
Trashgod のリファレンスに加えて、この PDF のセクション 7.1 が役立つと思います。
http://extranet.eu.adacore.com/articles/HighIntegrityAda.pdf
于 2011-06-22T01:16:48.077 に答える
2
ここでは、少し背景が役立つ場合があります。スタイル チェックは、ユーザーのスタイル ガイドラインを強制する上で多くの可能性を秘めていますが、それはまさにその目的ではありません。
これらのチェックの主な目的は、Ada コンパイラー自体のソースにAda Core (コンパイラーを保守する人々) のスタイルを強制することです。コンパイラ独自のソース ファイルの 1 つをコンパイルしようとすると、チェックが自動的にオンになることに気付くかもしれません。
チェック自体によって適用されるスタイルがユーザー設定可能である場合、AdaCore の目的にはまったく役立たないため、そのような機能は追加されませんでした。
自分で使いたい場合の最初のオプションは、AdaCore のコーディング スタイルに固執することです。私は過去にそれが恐ろしいとは思っていなかったので、あなたはそれを見てみるかもしれません.
それでも、ある種の構成可能性を作ることは、誰かが追加する本当にクールな機能になるでしょう. このルートに進む場合は、チェックを変更するだけでなく、(現在の動作をデフォルトとして) 構成可能にする必要があるでしょう。その理由は、これを実現するにはコンパイラ ソースを変更する必要があるためです。前述のように、コンパイラはコンパイル時にチェックをオンにします。大量の動作中の Gnat コンパイラ ソース ファイルを再フォーマットする必要はありません。
AdaCore 以外の誰かのために働いている私たちにとってチェックがはるかに便利になるので、いつか誰かがこれを行うことを本当に望んでいます。
于 2011-06-27T12:21:46.860 に答える
1
参考までに、既存の GNAT スタイル チェックについては、GNAT ユーザー ガイドので説明されてい§3.2.5 Style Checkingます。ルールはコンパイラによって適用されるため、追加のルールには対応する変更が必要になります。
于 2011-06-21T21:19:55.630 に答える