ADS ファイル形式とは?
.ads ファイルは Ada パッケージ仕様書であり、Ada パッケージのインターフェース側に相当します。Ada エコシステムの事実上の標準である GNAT コンパイラの命名規則では、すべての Ada パッケージは 2 つのファイルに分割されます。.ads の仕様書と、.adb ファイルにある実装本体(ボディ)です。
.ads ファイルは、他のコンパイル単位から公開される要素(型、サブタイプ、定数、サブプログラムのシグネチャ(手続きや関数のプロファイル)、タスク型、ジェネリックパラメータなど)を宣言します。実行可能なコードやサブプログラムの本体は含まれず、他のパッケージが依存する「契約」を形成する宣言のみが含まれます。
構文的には、仕様書は package <Name> is で始まり、end <Name>; で終わります。上部のコンテキスト節(with および use 文)には、その仕様書が依存するパッケージがリストされます。Ada のコメントは -- で始まります。
形式はプレーンな UTF-8(または ASCII)テキストで、MIME タイプは text/x-ada です。マジックバイトはなく、ファイルは Ada ソースの構造によって識別されます。使用される Ada の方言(Ada 83、95、2005、2012、または Ada 2022 (ISO/IEC 8652:2023))は、-gnat2022 などの GNAT コンパイラフラグや、ソースレベルの pragma Ada_2022 によって制御されます。
.ads ファイルは、GNAT Studio、Ada/SPARK 拡張機能を備えた Visual Studio Code、または任意のプレーンテキストエディタで開かれます。GNAT ツールチェーンは、これらを対応する .adb 本体と一緒にコンパイルします。ビルドの調整は .gpr プロジェクトファイルによって管理されます。
セキュリティと安全性
リスク: LOW.ads ファイルはプレーンな Ada ソーステキストであり、それ自体で実行されることはないため、開いて閲覧することは安全です。ソースコード全般に対する通常の注意が必要です。信頼できないソースからのコードは、コンパイルして実行する前に内容を確認してください。周辺プロジェクトによって実行ファイルが生成されるためです。DRM や暗号化、特別な処理はありません。通常のテキスト/コードファイルとして扱ってください。GNAT ツールチェーンは必ず公式サイト (AdaCore/GCC) からインストールしてください。
形式の詳細
概要- 広告 / 広告配信ファイル - 一部の広告システムや AdSense 関連のツールが、広告コンテンツや広告タグファイルに .ads を使用します。Ada ソースとは無関係です。
- 汎用的な「アドレス帳」 / 設定エクスポート - いくつかのレガシープログラムが設定やアドレスデータを .ads 拡張子で保存します。作成元のアプリケーションによって識別してください。
ADS ファイルを開くプログラム
gcc -c file.ads で仕様書の構文チェックが可能です)。 技術的詳細
詳細仕様| ファイルタイプ | プレーンテキスト Ada ソース - Ada パッケージの仕様書(インターフェース)側 |
| MIME タイプ | text/x-ada (text/plain としても受け入れられます) |
| テキストエンコーディング | UTF-8 または ASCII。歴史的には Latin-1。GNAT のエンコーディングは -gnatiX フラグで選択可能 |
| バイナリシグネチャ | なし - プレーンテキスト。Ada のキーワード構造 (package <Name> is … end <Name>;) によって識別 |
| 標準的なファイルサイズ | 1 KB - 100 KB (仕様書の宣言のみ。本体は対になる .adb に格納) |
| GNAT 命名規則 | ベース名はパッケージ名と一致し、小文字でドットをダッシュに置き換えたもの(例: Ada.Containers は ada-containers.ads に対応) |
| 構造 | オプションの with/use コンテキスト節、その後に package <Name> is、公開宣言、オプションの private セクション、end <Name>; |
| 内容の制約 | 宣言のみ - 型、サブタイプ、定数、サブプログラムプロファイル、ジェネリクス。実行可能なコードや本体は含まない |
| 可視性モデル | パブリック部分はすべての依存パッケージから可視。プライベートセクションはパッケージ内とその子からのみアクセス可能 |
| 言語方言 | Ada 83 / 95 / 2005 / 2012 / 2022。GNAT の -gnatXX フラグまたはソース内の pragma Ada_XXXX で選択 |
| コンパイル出力 | GNAT はコンパイルされた .ads/.adb のペアごとに .ali (Ada Library Information) ファイルとオブジェクトファイル (.o) を生成 |
| ビルド調整 | GNAT プロジェクトファイル (.gpr) が .ads ソースをリストし、ユニットごとのコンパイルスイッチを制御 |
| プラットフォームサポート | クロスプラットフォーム: Linux, Windows, macOS, および組み込みターゲット (VxWorks, RTEMS, ベアメタル ARM, RISC-V) |
| コンパイラエコシステム | GNAT (GCC Ada フロントエンド, AdaCore), GNAT LLVM, PTC ObjectAda, Green Hills MULTI Ada |
| リリース日 | 1980 (Ada language); .ads/.adb naming from GNAT (early 1990s) |
| 最新バージョン | Ada 2022 (ISO/IEC 8652:2023) |
| オープンスタンダード | はい · ロイヤリティフリー |
| 仕様書 | www.adaic.org |
ADS の変換
コミュニティ Q&A
ユーザーからの質問まだ質問はありません。ADS ファイルについて最初の質問をしてみましょう。
よくある質問
ADS ファイルを開くにはどうすればよいですか?
.ads と .adb の違いは何ですか?
.ads ファイルをコンパイルするにはどうすればよいですか?
gcc -c file.ads(Ada フロントエンドを使用)を実行すると、仕様書の構文チェックが行われます。