これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド adactl です。
プログラム：
NAME
adactl - Ada ルール コントローラー
SYNOPSIS
アダクトル [オプション] 単位[+|-単位]|[@]file ... [-- ASIS_オプション]
アダクトル -h [ルール id... | すべて | コマンド | ライセンス | リスト | オプション | ルール | バージョン]
DESCRIPTION
AdaControl は Ada ルール コントローラーです。 Ada ソフトウェアが次の要件を満たすことを制御するために使用されます。
パラメータ化可能な多数のルールの要件。 チェックを補足することを目的としたものではありません
コンパイラによって作成されますが、むしろグッドプラクティスの特定の違反を検索するために作成されます。
ルールを確認したり、プロジェクト全体でいくつかのルールが遵守されていることを確認したりできます。
AdaControlの商用サポートが利用可能です。ファイルを参照してください
/usr/share/doc/adacontrol/support.txt。 産業用にAdaControlを使用する予定の場合
プロジェクト、または自分のニーズに合わせてカスタマイズまたは拡張したい場合は、
Adalogに連絡してください [メール保護].
特殊 モード
-C ルールの構文のみをチェックしてください。 -d、-f、-l、-v、-x を受け入れます。
-D 依存関係を生成します。 -o、-p、-r、-s、-w、-x を受け入れます。
-h 一般的なヘルプメッセージを出力します。
-h ルール
説明する ルール.
-h を すべてのルールを説明します。
-h コマンド|ライセンス|オプション|バージョン
すべてのコマンド、ライセンス (GPL)、オプション、またはバージョン番号を説明します。
-h リスト
GNAT Programming Studio 内での使用に適した形式でルールをリストします。
-h ルール
ルールを通常の形式でリストします。
-I インタラクティブモード。 すべてのオプションを受け入れます。
OPTIONS
-d デバッグモードを有効にします。
-e 警告 (検索) をエラー (チェック) として扱う
-E エラーのみを出力します (チェック)。
-f file
file ルールの仕様のため
-F グナット | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | なし
出力形式を選択します。
-i ローカルの非アクティブ化を無視します。
-l ルール...
指定されたルールに従って処理します。 下記参照。
-o file
指定された宛先に出力を送信します file.
-p file
emacs ada-mode プロジェクト ファイル (.adp) を指定します。
-r 再帰的
-s Adaユニット仕様のみ処理
-S レベル
統計を作成します。 レベル は 0 ～ 4 の範囲の整数です。
-t トレースファイル
指定されたファイルにトレースを送信します。
-T ルールの実行時間をレポートします。
-u すべてのパラメータを Ada ユニットとして扱います
-v 詳細モードを有効にします。
-w 出力ファイルを上書きします (-o で動作します)
-x 内部エラー時に終了する
RULES
以下のルールが利用可能です -l オプション：
Abnormal_Function_Return アロケータ
Array_Declarations Barrier_Expressions
Case_Statement の文字
宣言 Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
エンティティ Entity_Inside_Exception
Exception_Propagation 式
Global_References ヘッダーコメント
Improper_Initialization のインスタンス化
Insufficient_Parameters ローカル_非表示
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
命名規則 非静的
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage オブジェクト宣言
その他_依存関係パラメータ_エイリアシング
Parameter_Declarations 潜在的に Blocking_Operations
プラグマ Reduceable_Scope
表現句 Return_Type
Side_Effect_Parameters Silent_Exceptions
Simplifiable_Expressions Simplifiable_Statements
Special_Comments ステートメント
終了_タスクのスタイル
Type_Initial_Values チェック不可
単位不要条項
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
使用法 Use_Clauses
With_Clauses
onworks.net サービスを使用してオンラインで adactl を使用する
