コーディング規約に照らして評価しています。この取り組みの結果を、以下の準拠概要表で参照できます。これらの表には、以下が記載されています。チェックに従うことで実現します。該当する場合は、命令またはルールを満たすために実行できる準拠方法やアクションに関連する情報を示す説明メモがあります。ルールまたは命令は準拠していません。チェッカーがルールまたは命令をサポートするかどうか。準拠表明を準備する際に使用できます。ルールおよび命令表と一致します。(勧告カテゴリと可読性カテゴリの場合は使用できません)。準拠情報の概要表から参照されるものです。処理系定義の動作については、ランタイム環境オプションの構成を参照してください。コンパイラのドキュメンテーションはスコープ外です。パラメーターを使用して管理します。ペインで、整数除算方法を構成します。詳細については、ランタイム環境オプションの構成を参照してください。用途をドキュメント化する必要があります。Pragmasを参照してください。ビットフィールドの生成を有効にするには、次のようにします。データをビットフィールドにパッキング]。ファイルでのみ利用できます。データを保存するためにビットセットを使用]。Designerを参照してください。ガイドラインに従ってドキュメント化している場合は問題となりません。関する説明メモ要件とモデル要素をリンクできます。コードに含めて、要件ドキュメントからモデル要素および生成コードへのトレーサビリティを提供します。Toolbox)を参照してください。エラーがないことを証明できます。詳細については、以下を参照してください。レベルで検出できます。Verifier)を参照してください。Designer)を参照してください。アセンブリ言語コードを直接呼び出しません。ブロックでアセンブリ言語関数の呼び出しを追加できます。Functionsの呼び出しとしてドキュメント化します。このような場合、カプセル化を行う必要があります。詳細については、以下を参照してください。既定の動作であるため、ガイドラインは不要です。関する説明メモこの命令の要件は以下により満たされます。入力パラメーターが無効な値を受け取れないことを静的に実証する。エラーがないことを証明できます。Prover)を参照してください。ユーザー定義コードをチェックしません。報告される違反に対処する必要があります。実装によって設定される文字数を制限するよう構成できます。ごとに一意の名前を確保するには、命名規則を実装します。長い識別子の場合は、共有ユーティリティを使用することをお勧めします。コードの生成を参照してください。列挙データの使用をサポートしています。列挙の定義に使用するファイルは手動でも自動でも生成できます。定義ファイルを手動で作成する場合、準拠を確保する必要があります。モデルでの列挙型データの使用を参照してください。違反していることを示します。コマンドに対応するリンクがクリックされました。ウィンドウに入力して実行してください。コマンドをサポートしていません。scienceMathWorksはエンジニアや研究者向け数値解析ソフトウェアのリーディングカンパニーです。