これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド gnatelim です。
プログラム：
NAME
gnatelim - Ada プログラムからデッド コードを削除する
SYNOPSIS
グナテリム [オプション] ... 名
DESCRIPTION
Ada パッケージの一部のセットを他のプログラムと共有するプログラムを使用している場合
これらのプログラムで定義されたサブプログラムの一部のみを使用するプログラムが発生する場合があります。
一方、未使用のサブプログラム用に作成されたコードは、パッケージのサイズを増加させます。
プログラムを実行します。
グナテリム Ada プログラムで使用されていないサブプログラムを追跡するユーティリティです。 その出力は
宣言されているすべてのサブプログラムをマークする Eliminate プラグマのリストの
特定のプログラムで呼び出されます。 Eliminate は GNAT 固有のプラグマです。 プログラムをコンパイルすることによって
これらのプラグマを使用すると、実行可能ファイルのサイズを減らすことができます。
未使用のサブプログラムのコードを作成しないでください。
グナテリム GNAT の ASIS 実装の上に開発された ASIS アプリケーションです。 それ
分析するプログラムを表す一連のツリー ファイルと、そのメインのバインド ファイルが必要です。
現在のディレクトリに作成されるサブプログラム。 現在のバージョンでは、
によって処理される一連のツリー ファイルの一貫性を維持するユーザーの責任
グナテリム、ユーザーが処理する Ada プログラムのソースも変更した場合。
Eliminate プラグマのリストを作成するには、 グナテリム 広範な分析を行う必要があり、
時間がかかる場合があります。 たとえば、それ自体を処理するには、 グナテリム 4 分間の CPU 時間を要します
Pentium 200 で。
OPTIONS
-v 詳細モード: グナテリム バージョン情報が出力されます (Ada コメントの形式で)
標準出力で; 処理中のファイルの名前が標準エラーに出力されます。
-vf -v と同じですが、さらにさまざまなデバッグ情報と情報が追加されます
によって行われた分析の詳細を反映する グナテリム に印刷されます
標準誤差。
-a RTL コンポーネントの処理: デフォルトでは、 グナテリム である単位を分析しません。
GNAT ランタイム ライブラリ (RTL) のコンポーネントであり、生成されません。
RTL で宣言されたサブプログラムのプラグマを削除します。 「-a」オプションが設定されている場合、RTL
コンポーネントも分析されます（サブプログラムを含む一部のユニットを除く）
コンパイラによって暗黙的に呼び出されます)。
-m 欠落したユニットをチェック: このオプションが設定されている場合、 グナテリム すべてのユニットが
（バインドファイルによると）によって分析する必要があります グナテリム 本当に代表されている
によって処理される一連のツリー ファイルによって グナテリム (「-a」かどうかによる)
オプションが設定されています）。 デフォルトでは (つまり、「-m」オプションが設定されていない場合)、 グナテリム 分析
「そのまま」のツリーファイルのセットによって表されるユニットのセット (ライブラリを除く)
ボディが必要であるが、ボディが利用できないパッケージ)。
onworks.net サービスを使用してオンラインで gnatelim を使用する
