Tekst źródłowy strony Ada (język programowania)

Nie masz uprawnień do edytowania tej strony z następującego powodu:

Twój adres IP znajduje się w zakresie adresów, który został zablokowany na wszystkich wiki Wikimedia Foundation.

Blokada została nałożona przez ‪Hasley‬. Podany powód to Open proxy/Webhost: See the help page if you are affected: .

Początek blokady: 17:21, 18 gru 2022
Zakończenie blokady: 17:21, 18 gru 2025

Twój obecny adres IP to 62.210.136.28. Zablokowany zakres to 62.210.0.0/16.

Prosimy o uwzględnienie wszystkich powyższych informacji we wszelkich zapytaniach. Jeśli uważasz, że zostałeś zablokowany przez pomyłkę, możesz znaleźć dodatkowe informacje i instrukcje w globalnej polityce No open proxies.

Aby zakwestionować lub omówić blokadę, proszę wysłać prośbę o jej weryfikację na Meta-Wiki. Możesz również wysłać e-mail do kolejki VRT stewardów na adres stewards@wikimedia.org, podając wszystkie powyższe szczegóły.

Tekst źródłowy strony można podejrzeć i skopiować.

{{Dopracować|Przykłady wymagają rewizji i uporządkowania|źródła=2011-12}}

{{Język programowania infobox
 |nazwa          = Ada
 |logo           = 
 |data           = [[1980]]
 |paradygmat     = [[Programowanie wieloparadygmatowe|wieloparadygmatowy]]
 |typowanie      = [[typowanie statyczne|statyczne]] ([[typowanie silne|silne]])
 |implementacje  = [[GNAT]], [[Green Hills Software]] Optimising Ada 95 compiler
 |pochodne       = 
 |wersja         = Ada 2012
 |wersja testowa = 
 |twórca         = [[Jean Ichbiah]], Tucker Taft
 |licencja       = 
 |platforma      = [[wieloplatformowość|wieloplatformowy]]
 |system         = [[wieloplatformowość|wieloplatformowy]]
 |wikibooks      = en:Ada Programming
 |commons        = 
 |www            = http://www.adaic.org
}}
'''Ada''' – [[programowanie strukturalne|strukturalny]], [[Kompilator|kompilowany]], [[Programowanie imperatywne|imperatywny]], [[typowanie statyczne|statycznie typowany]] i [[Programowanie obiektowe|obiektowy]] [[język programowania]] opracowany przez Jean Ichbiaha i zespół z CII Honeywell Bull w latach 70. XX wieku<ref>{{Cytuj |autor = Jean D. Ichbiah, Bernd Krieg-Brueckner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard |tytuł = Rationale for the design of the Ada programming language |czasopismo = SIGPLAN Not. |data = 1979-06-30 |data dostępu = 2024-07-29 |issn = 0362-1340 |wolumin = 14 |numer = 6b |s = 1–261 |doi = 10.1145/956653.956654 |url = https://dl.acm.org/doi/abs/10.1145/956653.956654}}</ref>. Język ten wygrał konkurs zorganizowany przez [[Departament Obrony Stanów Zjednoczonych|Departament Obrony USA]] (''U.S. Department of Defense'' – DoD), pokonując 19 innych projektów. [[Nazwa własna|Nazwa]] języka, nadana przez DoD, pochodzi od imienia [[Ada Lovelace|lady Augusty Ady Lovelace]].

== Historia ==
W latach 70. [[Departament Obrony Stanów Zjednoczonych|departament obrony]] [[Stany Zjednoczone|USA]] dostrzegł problem polegający na wykorzystywaniu dużej liczby różnych [[Język programowania|języków programowania]] używanych do [[Implementacja|implementacji]] wewnętrznych projektów informatycznych dla [[System wbudowany|systemów wbudowanych]]. Wiele z nich było już przestarzałych lub mocno związanych ze sprzętem, a żaden z nich nie wspierał bezpiecznego programowania modułowego. W 1975 roku została powołana grupa robocza [[High Order Language Working Group]] (HOLWG), której zadaniem była redukcja liczby używanych narzędzi lub zaprojektowanie nowego języka programowania, który spełniałby wymagania wszystkich dotychczas realizowanych projektów. Efektem działań grupy był język Ada, a liczba używanych języków spadła z ponad 450 w roku 1983 do 37 w 1996.

Grupa robocza HOLWG rozpoczęła prace od wydania [[Wymagania językowe Steelmana|Wymagań językowych Steelmana]] (ang. ''Steelman Language Requirements''), serii dokumentów opisujących założenia, które poszczególne języki programowania powinny spełniać. Następnie dokonano formalnej weryfikacji wielu istniejących języków, lecz w 1977 stwierdzono, że każdy z nich posiada w świetle tych dokumentów poważne mankamenty, które go eliminują. Wobec tego ogłoszony został konkurs na stworzenie nowego języka. Do startu zaproszono cztery zespoły, którym nadano oznaczenia kolorystyczne:

* Czerwony ([[Intermetrics]], pod przewodnictwem Benjamina Brosgola),
* Zielony ([[Groupe Bull|CII Honeywell Bull]], pod przewodnictwem Jeana Ichbiaha),
* Niebieski ([[SofTech]], pod przewodnictwem Johna Goodenough),
* Żółty ([[SRI International]], pod przewodnictwem Jaya Spitzena).

[[Plik:Ada Lovelace 1838.jpg|thumb|Ada Lovelace]]

W kwietniu 1978, po publicznych badaniach, propozycje zespołu czerwonego i zielonego przeszły do kolejnej fazy. Rok później ostateczne zwycięstwo przyznano koncepcji zielonej opracowanej przez [[Groupe Bull|CII Honeywell Bull]]. Otrzymała ona nazwę Ada na cześć [[Ada Lovelace|lady Augusty Ady Lovelace]]. Zwycięska propozycja czerpała pomysły z języka [[LIS (język programowania)|LIS]], który Ichbiah i jego grupa zaprojektowali w latach 70. Pierwsze wydanie dokumentacji języka Ada zostało opublikowane w ACM SIGPLAN Notices w czerwcu 1979 roku. Dokumentacja standardu wojskowego została zatwierdzona 10 grudnia 1980 roku (urodziny Ady Lovelace) i otrzymała numer MIL-STD-1815.

W roku 1981 [[Charles Antony Richard Hoare|C.A.R. Hoare]] skrytykował Adę w swojej mowie podczas odbioru [[Nagroda Turinga|Nagrody Turinga]] jako język zbyt skomplikowany, a przez to zawodny, lecz później prawdopodobnie zmienił zdanie, czego wyrazem jest przedmowa, którą napisał dla podręcznika Ady.

Pojawienie się Ady wywołało duże zainteresowanie wśród społeczności [[Programista|programistów]] w pierwszych latach swojego istnienia. Wśród zwolenników pojawiały się opinie, że może ona zostać głównym językiem programowania ogólnego przeznaczenia. Jean Ichbiah publicznie stwierdził, że w przeciągu 10 lat na rynku pozostaną jedynie dwa języki: Ada i [[Lisp]]. Wczesne kompilatory Ada z trudem radziły sobie z [[Implementacja (informatyka)|implementacją]] dużego, złożonego języka, a wydajność zarówno generowanego kodu, jak i procesu kompilacji, podobnie jak jakość narzędzi, pozostawiały wiele do życzenia. Twórcy kompilatorów skierowali swoje wysiłki ku uzyskaniu certyfikacji ACVC wymaganej przez agencje rządowe. Pierwszą certyfikowaną implementacją Ady był [[translator]] NYU Ada/Ed, który uzyskał ten status 11 kwietnia 1983 roku. Był on zaimplementowany w wysokopoziomowym języku SETL.

W 1987 roku Departament Obrony USA wydał zarządzenie wymagające użycia Ady w każdym projekcie programistycznym, gdzie nowy kod stanowił więcej niż 30% ogólnego wyniku, aczkolwiek często zezwalano na wyjątki od tej reguły. Reguła została zniesiona 10 lat później.

Przez lata 80. i 90. poprawiono ogólną jakość i wydajność kompilatorów Ady, lecz wciąż pojawiały się poważne problemy na drodze do pełnego wykorzystania możliwości języka. Jednym z nich był zaproponowany model [[Wielozadaniowość|wielozadaniowości]], który znacząco odbiegał od dotychczasowych rozwiązań znanych programistom. Z uwagi na obecność kluczowych mechanizmów bezpieczeństwa, Ada jest obecnie używana nie tylko w aplikacjach wojskowych, ale także w projektach komercyjnych, gdzie błąd programistyczny może mieć kosztowne konsekwencje. Przykładami takich obszarów jest kontrola lotów, awionika samolotów, satelity, automatyczne systemy transportowe czy bankowość. Przykładowo, oprogramowanie systemu [[Fly-by-wire]] w samolocie [[Boeing 777]] zostało w całości napisane w Adzie.

=== Pochodne i rozszerzenia ===
* '''Ada++''' – jedno z proponowanych rozszerzeń standardu Ada83, wspierających paradygmat [[programowanie obiektowe|programowania obiektowego]]<ref>{{Cytuj |autor = Henry G. Baker |tytuł = Object-Oriented Programming in Ada83 —Genericity Rehabilitated |s = 10 |url = https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.659&rep=rep1&type=pdf}}</ref>. Stało się bez znaczenia po publikacji standardu Ada95, który wspierał paradygmat obiektowy<ref>{{Cytuj |tytuł = Język Ada |data dostępu = 2021-11-08 |opublikowany = noite.pl |url = http://noite.pl/p/product.php?id_product=459}}</ref>.
* [[Ada sharp|Ada#]] (w budowie){{fakt|data=2021-11}}

== Właściwości ==
Ada jest [[Paradygmat programowania|wieloparadygmatowym]] językiem programowania ogólnego przeznaczenia. Jego składnia została zaprojektowana w taki sposób, aby zminimalizować szanse popełnienia trudnych do wykrycia błędów. Uzyskiwane jest to poprzez przemyślany i konsekwentny dobór poszczególnych elementów składni, a także ich jednoznaczność.

Wśród kluczowych właściwości języka można wymienić:

* bezpieczny, ścisły [[system typów]], nastawiony na semantykę, a nie na fizyczną reprezentację danych,
* wsparcie dla [[Programowanie obiektowe|programowania obiektowego]],
* zaawansowany mechanizm pakietów i modułów,
* wsparcie dla zaawansowanych modeli współbieżności,
* mechanizmy zarządzania pamięcią,
* wsparcie dla programowania kontraktowego,
* ustandaryzowane interfejsy do łączenia kodu Ady z językami [[C (język programowania)|C]], [[C++]], [[Fortran|FORTRAN]] i [[COBOL]].

== Standaryzacja ==
Język został standardem [[American National Standards Institute|ANSI]] w 1983 roku (ANSI/MIL-STD 1815A), a następnie bez żadnych dodatkowych modyfikacji – standardem [[Międzynarodowa Organizacja Normalizacyjna|ISO]] w 1987 roku (ISO-8652:1987). Ustandaryzowana wersja języka jest powszechnie nazywana Ada 83 lub Ada 87, zależnie od tego, którą datę ogłoszenia standardu weźmiemy.

Wspólny standard ANSI/ISO (ISO-8652:1995) Ada 95 został opublikowany w lutym 1995 roku, przez co Ada stała się pierwszym [[Programowanie obiektowe|obiektowo zorientowanym]], ustandaryzowanym językiem programowania. Aby pomóc w dopracowaniu i przyjęciu standardu, [[United States Air Force|US Air Force]] sfinansowała prace nad [[kompilator]]em GNAT. Obecnie GNAT jest częścią pakietu [[GNU Compiler Collection]].

Prace nad standaryzacją Ady są nieustannie kontynuowane. W październiku 2001 ukazała się techniczna errata do standardu Ada 95, a w 2007 – pierwsza znacząca poprawka ISO/IEC 8652:1995/Amd 1:2007. Nowy, ujednolicony tekst standardu został opublikowany 9 marca 2007 roku. Następna, aktualna rewizja została wydana w grudniu 2012 (ISO/IEC 8652:201z Ed. 3)<ref>[http://www.ada-auth.org/standards/ada12.html Ada 2012 Language Reference Manual]</ref>.

== Przykłady ==
Oto prosty przykład ([[funkcja Ackermanna]]) kodu w Adzie demonstrujący kilka jej cech.
Program, żeby się skompilować, musi być umieszczony w pliku „ackermann.adb” (wielkość [[Litera|liter]] bez znaczenia).

<syntaxhighlight lang="ada">
with Ada.Command_Line; use Ada.Command_Line;
with Gnat.Io; use Gnat.Io;

procedure Ackermann is

function Ack (x, y : in Integer) return Integer
is
begin
  if (x = 0) then
    return y + 1;
  elsif (y = 0) then
    return Ack (x - 1,1);
  else
    return Ack (x - 1, Ack (x, y - 1));
  end if;
end Ack;

x,y,a : Integer;
begin
  if (Argument_Count = 2) then
    x := Integer'Value (Argument (1));
    y := Integer'Value (Argument (2));
  elsif (Argument_Count = 1) then
    x := 3;
    y := Integer'Value (Argument (1));
  else
    x := 3;
    y := 3;
  end if;
  a := Ack (x, y);
  Put ("Ack (");
  Put (x);
  Put (",");
  Put (y);
  Put (") = ");
  Put (a);
  New_Line;
end Ackermann;
</syntaxhighlight>

Można zauważyć, że:
* Wszystkie nazwy są nieczułe na wielkość znaków.
* Cały program to jedna wielka [[Podprogram|procedura]], która może zawierać podprocedury (w tym wypadku funkcję <code>ack</code>).
* Wszystkie zamknięcia są zapisywane za pomocą <code>end co_zamykamy</code>. Pozwala to uniknąć przypadkowych pomyłek, ale w opinii wielu programistów jest nadmiarowe.
* [[Przypisanie]] jest zapisywane " <code>:=</code> ", natomiast porównanie przez " <code>=</code> ". Argumentuje się to tym, że w [[C (język programowania)|C]] występują pomyłki polegające na zapisie " <code>=</code> " zamiast właściwego " <code>==</code> ".
* Nie ma odpowiednika funkcji [[printf]], uważanej za niebezpieczną. Chociaż funkcje " <code>Put</code> " i " <code>New_Line</code> " (z modułu " <code>Gnat.Io</code> ") są bezpieczniejsze, są bardzo niewygodne w użyciu.
* " <code>elseif</code> " pisze się łącznie nie zaś oddzielnie jak w [[C (język programowania)|C]]. Jest to pewne usprawnienie, używane przez większość nowych języków.
* Składnie [[Atrybut (programowanie)|atrybutów]] to <code>obiekt'atrybut</code> (lub <code>klasa'atrybut</code>), zamiast bardziej tradycyjnych [[Selekcja (programowanie)|selekcji]] " <code>.</code> " czy " <code>::</code> ".
* [[Konwersja typu|Rzutowania]] są przeprowadzane składnią <code>Klasa'Value(wartość)</code>. Jest to znaczne ulepszenie wobec [[C (język programowania)|C++]], gdzie <code>(klasa)wartość</code> prowadzi do niepewnej kolejności wykonywania działań i zwykle w większych wyrażeniach jest zapisywane jako <code>((klasa)(wartość))</code>.
* Występuje rozróżnienie „procedur” (w nomenklaturze [[C (język programowania)|C]]: funkcje niezwracające wartości) i „funkcji” (w nomenklaturze [[C (język programowania)|C]]: funkcje zwracające wartość). Większość współczesnych języków nie zawiera tego rozróżnienia.

=== Wartościowanie leniwe ===
[[Operator (programowanie)|Operatorami]] ''short circuit'' nazywamy takie, które nie są obliczane jeśli nie jest to konieczne. Inną nazwą tego rodzaju jest [[wartościowanie leniwe]].

W Adzie występują następujące konstrukcje:
* <code>A or B</code>
** Obliczane jest <code>A</code>
** Jeśli A jest prawdziwe, obliczane jest <code>B</code>. Niezależnie od wyniku <code>B</code>, wynik wyrażenia to „prawda”.
** Jeśli A jest fałszywe, obliczane jest <code>B</code>. Jeśli <code>B</code> jest prawdziwe, wynik to „prawda”, w przeciwnym razie „fałsz”.
* <code>A or else B</code>
** Obliczane jest <code>A</code>
** Jeśli A jest prawdziwe, wynik to „prawda”, a <code>B</code> nie jest obliczane.
** Jeśli A jest fałszywe, obliczane jest <code>B</code>. Jeśli <code>B</code> jest prawdziwe, wynik to „prawda”, w przeciwnym razie „fałsz”.
* <code>A and B</code>
** Obliczane jest <code>A</code>
** Jeśli A jest prawdziwe, obliczane jest <code>B</code>. Jeśli <code>B</code> jest też prawdziwe, wynik to „prawda”, w przeciwnym razie fałsz.
** Jeśli A jest fałszywe, obliczane jest B, ale niezależnie od wyniku <code>B</code>, wynik wyrażenia to fałsz.
* <code>A and then B</code>
** Obliczane jest <code>A</code>
** Jeśli A jest prawdziwe, obliczane jest <code>B</code>. Jeśli <code>B</code> jest też prawdziwe, wynik to „prawda”, w przeciwnym razie „fałsz”.
** Jeśli A jest fałszywe, wynik to „fałsz”, a <code>B</code> nie jest obliczane.

Przykład („short_circuit.adb”):
<syntaxhighlight lang="ada">
with Text_IO, Ada.Integer_Text_IO;
use Text_IO, Ada.Integer_Text_IO;

procedure Short_Circuit is

function Is_Odd (i : Integer) return Boolean
is
begin
  Put ("Testing");
  Put (i);
  New_Line;
  return ((i / 2) * 2) /= i;
end;

begin
  Put_Line ("Testing if ""5 and 6"" are odd");
  if (Is_Odd (5) and Is_Odd (6)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""5 or 6"" are odd");
  if (Is_Odd (5) or Is_Odd (6)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""5 and then 6"" are odd");
  if (Is_Odd (5) and then Is_Odd (6)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""5 or else 6"" are odd");
  if (Is_Odd (5) or else Is_Odd (6)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""6 and 5"" are odd");
  if (Is_Odd (6) and Is_Odd (5)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""6 or 5"" are odd");
  if (Is_Odd (6) or Is_Odd (5)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""6 and then 5"" are odd");
  if (Is_Odd (6) and then Is_Odd (5)) then
    Put_Line ("True");
  else
    Put_Line ("False");
  end if;

  Put_Line ("Testing if ""6 or else 5"" are odd");
  if (Is_Odd (6) or else Is_Odd (5)) then
    Put_Line ("True");
  else
   Put_Line ("False");
  end if;
end Short_Circuit;
</syntaxhighlight>

W przykładzie widać też użycie podwójnego znaku <code>""</code> dla zaznaczenia <code>"</code> w [[Literał łańcuchowy|łańcuchu]]. Umożliwia to obycie się bez skomplikowanych i podatnych na błędy zasad escape'owania znaków. W [[C (język programowania)|C]] taka składnia byłaby niemożliwa ponieważ C pozwala napisać <code>"łańcuch 1" "łańcuch 2"</code> (z [[Separator (programowanie)|rozdzielającymi]] [[spacja]]mi lub bez), co oznacza to samo co <code>"łańcuch 1łańcuch 2"</code> i jest przydatne w [[preprocesor|preprocessingu]].

Oto przykład programu wyświetlającego zawartość [[plik]]ów na [[Monitor (ekran)|ekran]]. Jako [[Argument (informatyka)|argumenty]] podawane z [[Wiersz poleceń|linii poleceń]] program przyjmuje nazwy plików. W razie podania błędnej wzniesie [[Flaga (informatyka)|flagę]] błędu.

<syntaxhighlight lang="ada">
with Ada.Text_Io;
use Ada.Text_Io;
with Ada.Integer_Text_Io;
use Ada.Integer_Text_Io;
with Ada.Command_Line;
use Ada.Command_Line;
with Ada.Strings.Unbounded;
use Ada.Strings.Unbounded;

procedure Cat is

   Plik             : File_Type;
   Litera           : Character;
   LiczbaArgumentow : Natural;
   Nazwa            : Unbounded_String;

begin

   if (Argument_Count /= 0) then

      LiczbaArgumentow := Argument_Count;
      Put ("Podales do programu: ");
      Put (Command_Name);
      Put (" argumenty");
      New_Line;

      for ThisArgument in 1 .. LiczbaArgumentow loop

         Put ( "Numer argumentu: ");
         Put (ThisArgument);
         Put (" jest nim: ");
         Put (Argument(ThisArgument));
         New_Line;

      end loop;

      for ThisArgument in 1 .. LiczbaArgumentow loop

         Nazwa := To_Unbounded_String (Argument (ThisArgument));
         Open (Plik, In_File, To_String (Nazwa));
         New_Line;
         Put ("Nastepny plik o nazwie: ");
         Put (Argument (ThisArgument));
         New_Line (2);

         loop
            exit when End_Of_File (Plik);

            Get (Plik, Litera);
            Put (Litera);
            if End_Of_Line (Plik) then
               New_Line;
            end if;

         end loop;

         Close (Plik);
      end loop;

   else

      Put ("Nie podales argumentow");

   end if;

end Cat;

</syntaxhighlight>

Program korzysta z [[Biblioteka programistyczna|biblioteki]] Ada.Command_Line, która służy do obsługi linii poleceń.

== Przypisy ==
{{Przypisy}}

{{Języki programowania}}

{{Kontrola autorytatywna}}

[[Kategoria:Obiektowe języki programowania]]
[[Kategoria:Języki programowania]]

Szablony użyte w tym artykule:

Szablon:Cytuj (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Dopracować (tekst źródłowy) (zabezpieczony na poziomie niskim)
Szablon:Dopracować/growth/źródła (edytuj)
Szablon:Fakt (tekst źródłowy) (zabezpieczony na poziomie niskim)
Szablon:Ikona (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox grafika (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox nagłówek (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox nagłówek dodaj (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox projekt (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox projekt/projekt (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox tytuł (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox tytuł/styles.css (edytuj)
Szablon:Infobox wiersz (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox wiersz dodaj (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Infobox www (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Język programowania infobox (edytuj)
Szablon:Języki programowania (edytuj)
Szablon:Kontrola autorytatywna (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Kontrola autorytatywna/style.css (edytuj)
Szablon:Mbox (tekst źródłowy) (zabezpieczone na poziomie redaktorów)
Szablon:Mbox/style.css (tekst źródłowy) (zabezpieczone na poziomie redaktorów)
Szablon:Navbox/styles.css (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Pierwszy niepusty (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Przypisy (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Sprawdź w źródłach (edytuj)
Szablon:Sprawdź w źródłach/tytuł (edytuj)
Szablon:Szablon nawigacyjny (tekst źródłowy) (zabezpieczony na poziomie wysokim)
Szablon:Wersja oprogramowania (edytuj)
Szablon:Wersja oprogramowania/format (edytuj)
Moduł:Color contrast (edytuj)
Moduł:Color contrast/colors (edytuj)
Moduł:Cytuj (edytuj)
Moduł:Cytuj/czasopisma (edytuj)
Moduł:Cytuj/dane (edytuj)
Moduł:Cytuj/dostęp (edytuj)
Moduł:Cytuj/firewall (edytuj)
Moduł:Dopracować (edytuj)
Moduł:Dopracować/resources (tekst źródłowy) (zabezpieczone na poziomie redaktorów)
Moduł:Ikona (edytuj)
Moduł:Ikona/dane (edytuj)
Moduł:Infoboksy (edytuj)
Moduł:Infobox (edytuj)
Moduł:Infobox/resources (edytuj)
Moduł:Kontrola autorytatywna (tekst źródłowy) (zabezpieczone na poziomie redaktorów)
Moduł:Navbox (edytuj)
Moduł:Navbox/printer/default (edytuj)
Moduł:Navbox/res (edytuj)
Moduł:Sprawdź (edytuj)
Moduł:String (edytuj)
Moduł:Wikidane (edytuj)
Moduł:Wikidane/data (edytuj)
Moduł:Wikidane/format/qualifiers (edytuj)
Moduł:Wikidane/format/snak (edytuj)
Moduł:Wikidane/format/string (edytuj)
Moduł:Wikidane/select (edytuj)

Wróć do Ada (język programowania).

Źródło: „https://pl.wikipedia.org/wiki/Ada_(język_programowania)”