Adaのソースを表示

[[Category:プログラミング言語]]
[[en:Ada]]
[https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け・パッケージ・例外・ジェネリクス・タスク・オブジェクト指向・契約を備えています。

== インストール ==

{{Pkg|gcc-ada}} パッケージを[[インストール]]してください。[[GNU Compiler Collection]] (GCC) の Ada フロントエンドである GNAT コンパイラがインストールされます。

追加パッケージ:
* {{AUR|all-ada}}             - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
* {{AUR|adacurses}}           - 'ncurses' C ライブラリへの Ada バインディング。
* {{AUR|adaogg}}              - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
* {{AUR|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
* {{AUR|ada-libfswatch}}      - fswatch プロジェクトの libfswatch ライブラリにバインディングする Ada
* {{AUR|adasat}}              - Ada での DPLL ベースの SAT ソルバーの実装。
* {{AUR|adasockets}}          - Ada の BSD ソケット。
* {{AUR|ada_spawn}}           - プロセスを開始し、プロセスと通信するためのシンプルな Ada API
* {{AUR|ada-web-server}}      - Web サーバーがあります
* {{AUR|ahven}}               - Ada プログラミング言語のシンプルな単体テストフレームワーク。
* {{AUR|alire}}               - すぐに使用できる Ada ライブラリのカタログと、それらを使用するためのコマンドラインツール (alr)
* {{AUR|aunit}}               - Ada 単体テストフレームワーク
* {{AUR|florist}}             - IEEE 標準 1003.5b-1996、POSIX Ada バインディングのオープンソース実装。
* {{AUR|gcc-ada-debug}}       - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
* GNATColl - GNAT コンポーネントのコレクション
** {{AUR|gnatcoll-core}} もしくは {{AUR|gnatcoll-core-git}}
** {{AUR|gnatcoll-db2ada}}
** {{AUR|gnatcoll-gmp}} もしくは {{AUR|gnatcoll-gmp-git}}
** {{AUR|gnatcoll-iconv}} もしくは {{AUR|gnatcoll-iconv-git}}
** {{AUR|gnatcoll-gnatinspect}}
** {{AUR|gnatcoll-lzma}}
** {{AUR|gnatcoll-omp}}
** {{AUR|gnatcoll-postgres}}
** {{AUR|gnatcoll-python}}
** {{AUR|gnatcoll-readline}}
** {{AUR|gnatcoll-sql}}
** {{AUR|gnatcoll-sqlite}}
** {{AUR|gnatcoll-syslog}}
** {{AUR|gnatcoll-xref}}
** {{AUR|gnatcoll-zlib}}
* {{AUR|gnatcoverage-bin}}             - Ada および C プログラムのプログラム カバレッジを分析およびレポートするツール。
* {{AUR|gnatdoc}}                      - GNAT ドキュメント生成ツール。
* {{AUR|gnatstudio}}                   - Ada の GnatStudio。
* {{AUR|gnatstudio-bin}}               - Ada 用の GnatStudio バイナリ。
* {{AUR|gnatsymbolize}}                - アドレスを、Ada プログラムの対応するファイル名、行番号、関数名に変換します。
* {{AUR|gprbuild}} or {{AUR|gprbuild-git}} - GPRbuild ビルドシステム。
* {{AUR|gprbuild-toolbox}}             - 多言語システム用のメタビルダーツールボックス。
* {{AUR|gpr}}                          - Ada GPR プロジェクトファイルのパーサー。
* {{AUR|gpr-unit-provider}}            - GPR プロジェクト分析ライブラリに基づく Libadalang のユニットプロバイダー。
* {{AUR|gtkada}}                       - Gtk+ ライブラリの Ada バインディング。
* {{AUR|ini_file_manager}}             - Ada 用の Ini 設定ファイルリーダーおよびマニピュレーターパッケージ。
* {{AUR|inotify-ada}}                  - Linux inotify API を使用してファイルシステムイベントを監視する Ada 2012 ライブラリ。
* {{AUR|kazakov_simple_components}}    - Dmitri Kazakov による低レベルの Ada コンポーネントのセット。
* {{AUR|langkit}}                      - 構文および意味言語分析ライブラリ用のコンパイラ。
* {{AUR|libadalang}}                   - Ada プログラミング言語用の高性能セマンティックエンジン。
* {{AUR|libadalang-tools}}             - Ada 用の Libadalang ベースのツール: gnatpp、gnatmetric、gnatstub。
* {{AUR|libgpr}}                       - Gnat プロジェクトファイルを処理するための Ada ライブラリ。
* {{AUR|libvss}}                       - Ada 用の高レベルの文字列およびテキスト処理ライブラリ。
* {{AUR|markdown}}                     - Ada のマークダウンパーサー。
* {{AUR|polyorb}}                      - Ada を使用して分散アプリケーションを構築するための Distributed Systems Annex (DSA) を提供します。
* {{AUR|sdlada}}                       - Simple DirectMedia Layer (SDL) ライブラリへの Ada バインディング。
* {{AUR|spark2014}}                    - Ada (GNAT FSF バージョン) に基づいて正式に定義されたプログラミング言語。
* {{AUR|templates_parser}}             - 動的 HTML ドキュメントなどのテンプレート化されたテキストストリームを作成する Ada ツール。
* {{AUR|vulkada}}                      - Ada 2012 プログラミング言語用の完全な Vulkan 1.1 バインディング。
* {{AUR|xmlada}} or {{AUR|xmlada-git}} - XML/Ada

署名されたビルド済みパッケージは、[https://wiki.archlinux.org/title/Unofficial_user_repositories#ada  非公式ユーザーリポジトリの Ada リポジトリ] から入手できます。

=== インストールのテスト ===

以下のようにシンプルなプログラムをビルドして GNAT が正しくインストールされているか確認:
{{hc|hello.adb|
with Ada.Text_IO;

procedure Hello is
begin
   Ada.Text_IO.Put_Line ("Hello, Arch!");
end Hello;
}}

{{ic|gnatmake}} でコンパイル:
{{hc|$ gnatmake hello|
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali
}}

そして実行:
{{hc|$ ./hello|
Hello, Arch!
}}

== 参照 ==

=== 言語 ===

* [http://www.ada-auth.org/standards/rationale12.html Rationale for Ada 2012]
* [http://www.ada-auth.org/standards/ada12_w_tc1.html Ada 2012 Language Reference Manual]
* [https://en.wikibooks.org/wiki/Ada_Programming Ada Programming at Wikibooks]
* [https://learn.adacore.com/ Interactive learning platform Learn.adacore.com]
* [[Wikipedia:SPARK (programming language)]]

=== ツール ===

* [https://gcc.gnu.org/onlinedocs/gnat_ugn/ GNAT User’s Guide for Native Platforms]
* [https://gcc.gnu.org/onlinedocs/gnat_rm/ GNAT Reference Manual]
* [https://docs.adacore.com/live/wave/gprbuild/html/gprbuild_ug/gprbuild_ug.html GPRbuild and GPR Companion Tools User’s Guide]

=== ライブラリ ===

* [https://docs.adacore.com/live/wave/xmlada/html/xmlada_ug/index.html XML/Ada: The Unicode and XML Library for Ada]
* [https://docs.adacore.com/live/wave/aws/html/aws_ug/index.html AWS: The Ada Web Server]
* [https://docs.adacore.com/live/wave/aunit/html/aunit_cb/aunit_cb.html AUnit Cookbook]
* [https://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/index.html GNAT Reusable Components]
* [https://docs.adacore.com/gtkada-docs/gtkada_ug/_build/html/index.html GtkAda User’s Guide]