CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>View source for Ada (programming language) - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )enwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":true,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat": "dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"ae898a18-98fe-4e9f-be65-0c453f8c7011","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Ada_(programming_language)","wgTitle":"Ada (programming language)","wgCurRevisionId":1255945964,"wgRevisionId":0,"wgArticleId":1242,"wgIsArticle":false,"wgIsRedirect":false,"wgAction":"edit","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Ada_(programming_language)","wgRelevantArticleId":1242,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true, "wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":50000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading", "skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.charinsert.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["mediawiki.action.edit.collapsibleFooter","site","mediawiki.page.ready","jquery.makeCollapsible","skins.vector.js","ext.centralNotice.geoIP","ext.charinsert","ext.gadget.ReferenceTooltips","ext.gadget.charinsert","ext.gadget.extra-toolbar-buttons","ext.gadget.refToolbar","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints", "ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.charinsert.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="noindex,nofollow,max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Ada_horizon_green_logo_with_slogan.svg/1200px-Ada_horizon_green_logo_with_slogan.svg.png"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="686"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Ada_horizon_green_logo_with_slogan.svg/800px-Ada_horizon_green_logo_with_slogan.svg.png"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="457"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Ada_horizon_green_logo_with_slogan.svg/640px-Ada_horizon_green_logo_with_slogan.svg.png"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="366"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="View source for Ada (programming language) - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikipedia.org/wiki/Ada_(programming_language)"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Ada_(programming_language)&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikipedia.org/wiki/Ada_(programming_language)"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Ada_programming_language rootpage-Ada_programming_language skin-vector-2022 action-edit"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-contents" class="mw-list-item"><a href="/wiki/Wikipedia:Contents" title="Guides to browsing Wikipedia"><span>Contents</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Current_events" title="Articles related to current events"><span>Current events</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Special:Random" title="Visit a randomly selected article [x]" accesskey="x"><span>Random article</span></a></li><li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:About" title="Learn about Wikipedia and how it works"><span>About Wikipedia</span></a></li><li id="n-contactpage" class="mw-list-item"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us" title="How to contact Wikipedia"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-interaction" class="vector-menu mw-portlet mw-portlet-interaction" > <div class="vector-menu-heading"> Contribute </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Guidance on how to use and edit Wikipedia"><span>Help</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/Help:Introduction" title="Learn how to edit Wikipedia"><span>Learn to edit</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Community_portal" title="The hub for editors"><span>Community portal</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes to Wikipedia [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_upload_wizard" title="Add images or other media for use on Wikipedia"><span>Upload file</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="The Free Encyclopedia" src="/static/images/mobile/copyright/wikipedia-tagline-en.svg" width="117" height="13" style="width: 7.3125em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikipedia" aria-label="Search Wikipedia" autocapitalize="sentences" title="Search Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en" class=""><span>Donate</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=Ada+%28programming+language%29&returntoquery=action%3Dedit" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=Ada+%28programming+language%29&returntoquery=action%3Dedit" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Log in and more options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en"><span>Donate</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Ada+%28programming+language%29&returntoquery=action%3Dedit" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Ada+%28programming+language%29&returntoquery=action%3Dedit" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading">View source for Ada (programming language)</h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="This article exist only in this language. Add the article for other languages" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-0" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">Add languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> <div class="after-portlet after-portlet-lang"><span class="uls-after-portlet-link"></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Ada_(programming_language)" title="View the content page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Talk:Ada_(programming_language)" rel="discussion" title="Discuss improvements to the content page [t]" accesskey="t"><span>Talk</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="vector-tab-noicon mw-list-item"><a href="/wiki/Ada_(programming_language)"><span>Read</span></a></li><li id="ca-edit" class="selected vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Ada_(programming_language)&action=edit" title="Edit this page"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Ada_(programming_language)&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="vector-more-collapsible-item mw-list-item"><a href="/wiki/Ada_(programming_language)"><span>Read</span></a></li><li id="ca-more-edit" class="selected vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Ada_(programming_language)&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Ada_(programming_language)&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/Ada_(programming_language)" title="List of all English Wikipedia pages containing links to this page [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/Ada_(programming_language)" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Ada_(programming_language)&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fw%2Findex.php%3Ftitle%3DAda_%28programming_language%29%26action%3Dedit"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikipedia.org%2Fw%2Findex.php%3Ftitle%3DAda_%28programming_language%29%26action%3Dedit"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q154755" title="Structured data on this page hosted by Wikidata [g]" accesskey="g"><span>Wikidata item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> </div> <div id="contentSub"><div id="mw-content-subtitle">← <a href="/wiki/Ada_(programming_language)" title="Ada (programming language)">Ada (programming language)</a></div></div> <div id="mw-content-text" class="mw-body-content"><p>You do not have permission to edit this page, for the following reasons: </p> <ul class="permissions-errors"><li class="mw-permissionerror-blockedtext"> <div id="mw-blocked-text" style="border: 1px solid #AAA; background-color: var(--background-color-warning-subtle, ivory); color: inherit; padding: 1.5em; width: 100%; box-sizing: border-box;"> <div style="text-align: center;"><span style="font-size: 26px;"><span typeof="mw:File"><a href="/wiki/File:Stop_hand_nuvola.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/50px-Stop_hand_nuvola.svg.png" decoding="async" width="50" height="50" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/75px-Stop_hand_nuvola.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/100px-Stop_hand_nuvola.svg.png 2x" data-file-width="240" data-file-height="240" /></a></span><b> This IP address has been <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> from <i>editing</i> Wikipedia.</b></span><br /><span style="font-size: 18px;">This does not affect your ability to <i>read</i> Wikipedia pages.</span></div><div class="paragraphbreak" style="margin-top:0.5em"></div><b>Most people who see this message have done nothing wrong.</b> Some kinds of blocks restrict editing from specific service providers or telecom companies in response to recent abuse or vandalism, and can sometimes affect other users who are unrelated to that abuse. Review the information below for assistance if you do not believe that you have done anything wrong.<div class="paragraphbreak" style="margin-top:0.5em"></div> <p>The IP address or range 8.222.128.0/17 has been <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> by <a href="/wiki/User:L235" title="User:L235">‪L235‬</a> for the following reason(s): </p> <div style="padding:10px; background:var(--background-color-base, white); color:inherit; border:1px #666 solid;"> <div class="user-block colocation-webhost" style="margin-bottom: 0.5em; background-color: #ffefd5; border: 1px solid #AAA; padding: 0.7em;"> <figure class="mw-halign-left" typeof="mw:File"><span><img src="//upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/40px-Server-multiple.svg.png" decoding="async" width="40" height="57" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/60px-Server-multiple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/80px-Server-multiple.svg.png 2x" data-file-width="744" data-file-height="1052" /></span><figcaption></figcaption></figure><b>The <a href="/wiki/IP_address" title="IP address">IP address</a> that you are currently using has been blocked because it is believed to be a <a href="/wiki/Web_hosting_service" title="Web hosting service">web host provider</a> or <a href="/wiki/Colocation_centre" title="Colocation centre">colocation provider</a>.</b> To prevent abuse, <a href="/wiki/Wikipedia:Open_proxies" title="Wikipedia:Open proxies">web hosts and colocation providers may be blocked</a> from editing Wikipedia. <div style="border-top: 1px solid #AAA; clear: both">You will not be able to edit Wikipedia using a web host or colocation provider because it hides your IP address, much like a <a href="/wiki/Wikipedia:Open_proxies" title="Wikipedia:Open proxies">proxy</a> or <a href="/wiki/Virtual_private_network" title="Virtual private network">VPN</a>. <p><b>We recommend that you attempt to use another connection to edit.</b> For example, if you use a proxy or VPN to connect to the internet, turn it off when editing Wikipedia. If you edit using a mobile connection, try using a Wi-Fi connection, and vice versa. If you are using a corporate internet connection, switch to a different Wi-Fi network. If you have a Wikipedia account, please log in. </p><p>If you do not have any other way to edit Wikipedia, you will need to <a href="/wiki/Wikipedia:IP_block_exemption#Requesting_and_granting_exemption" title="Wikipedia:IP block exemption">request an IP block exemption</a>. </p> <style data-mw-deduplicate="TemplateStyles:r1214851843">.mw-parser-output .hidden-begin{box-sizing:border-box;width:100%;padding:5px;border:none;font-size:95%}.mw-parser-output .hidden-title{font-weight:bold;line-height:1.6;text-align:left}.mw-parser-output .hidden-content{text-align:left}@media all and (max-width:500px){.mw-parser-output .hidden-begin{width:auto!important;clear:none!important;float:none!important}}</style><div class="hidden-begin mw-collapsible mw-collapsed" style=""><div class="hidden-title skin-nightmode-reset-color" style="text-align:center;">How to appeal if you are confident that your connection does not use a colocation provider's IP address:</div><div class="hidden-content mw-collapsible-content" style=""> If you are confident that you are not using a web host, you may <a href="/wiki/Wikipedia:Appealing_a_block" title="Wikipedia:Appealing a block">appeal this block</a> by adding the following text on your <a href="/wiki/Help:Talk_pages" title="Help:Talk pages">talk page</a>: <code>{{<a href="/wiki/Template:Unblock" title="Template:Unblock">unblock</a>|reason=Caught by a colocation web host block but this host or IP is not a web host. My IP address is _______. <i>Place any further information here.</i> ~~~~}}</code>. <b>You must fill in the blank with your IP address for this block to be investigated.</b> Your IP address can be determined <span class="plainlinks"><b><a class="external text" href="https://en.wikipedia.org/wiki/Wikipedia:Get_my_IP_address?withJS=MediaWiki:Get-my-ip.js">here</a></b></span>. Alternatively, if you wish to keep your IP address private you can use the <a href="/wiki/Wikipedia:Unblock_Ticket_Request_System" title="Wikipedia:Unblock Ticket Request System">unblock ticket request system</a>. There are several reasons you might be editing using the IP address of a web host or colocation provider (such as if you are using VPN software or a business network); please use this method of appeal only if you think your IP address is in fact not a web host or colocation provider.</div></div> <p><span class="sysop-show" style="font-size: 85%;"><span style="border:#707070 solid 1px;background-color:#ffe0e0;padding:2px"><b>Administrators:</b></span> The <a href="/wiki/Wikipedia:IP_block_exemption" title="Wikipedia:IP block exemption">IP block exemption</a> user right should only be applied to allow users to edit using web host in exceptional circumstances, and requests should usually be directed to the functionaries team via email. If you intend to give the IPBE user right, a <a href="/wiki/Wikipedia:CheckUser" title="Wikipedia:CheckUser">CheckUser</a> needs to take a look at the account. This can be requested most easily at <a href="/wiki/Wikipedia:SPI#Quick_CheckUser_requests" class="mw-redirect" title="Wikipedia:SPI">SPI Quick Checkuser Requests</a>. <b>Unblocking</b> an IP or IP range with this template <b>is highly discouraged</b> without at least contacting the blocking administrator.</span> </p> </div></div> </div> <p>This block will expire on 18:23, 24 August 2026. Your current IP address is 8.222.208.146. </p> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>Even when blocked, you will <i>usually</i> still be able to edit your <a href="/wiki/Special:MyTalk" title="Special:MyTalk">user talk page</a>, as well as <a href="/wiki/Wikipedia:Emailing_users" title="Wikipedia:Emailing users">email</a> administrators and other editors. </p> </div> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>For information on how to proceed, please read the <b><a href="/wiki/Wikipedia:Appealing_a_block#Common_questions" title="Wikipedia:Appealing a block">FAQ for blocked users</a></b> and the <a href="/wiki/Wikipedia:Appealing_a_block" title="Wikipedia:Appealing a block">guideline on block appeals</a>. The <a href="/wiki/Wikipedia:Guide_to_appealing_blocks" title="Wikipedia:Guide to appealing blocks">guide to appealing blocks</a> may also be helpful. </p> </div> <p>Other useful links: <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">Blocking policy</a> · <a href="/wiki/Help:I_have_been_blocked" title="Help:I have been blocked">Help:I have been blocked</a> </p> </div></li><li class="mw-permissionerror-globalblocking-blockedtext-range"> <div id="mw-blocked-text" style="border: 1px solid #AAA; background-color: var(--background-color-warning-subtle, ivory); color: inherit; padding: 1.5em; width: 100%; box-sizing: border-box;"> <div style="text-align: center;"><span style="font-size: 26px;"><span typeof="mw:File"><a href="/wiki/File:Stop_hand_nuvola.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/50px-Stop_hand_nuvola.svg.png" decoding="async" width="50" height="50" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/75px-Stop_hand_nuvola.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/100px-Stop_hand_nuvola.svg.png 2x" data-file-width="240" data-file-height="240" /></a></span><b> This IP address range has been <a href="https://meta.wikimedia.org/wiki/Global_blocks" class="extiw" title="m:Global blocks">globally blocked</a>.</b></span><br /><span style="font-size: 18px;">This does not affect your ability to <i>read</i> Wikipedia pages.</span></div><div class="paragraphbreak" style="margin-top:0.5em"></div><b>Most people who see this message have done nothing wrong.</b> Some kinds of blocks restrict editing from specific service providers or telecom companies in response to recent abuse or vandalism, and can sometimes affect other users who are unrelated to that abuse. Review the information below for assistance if you do not believe that you have done anything wrong.<div class="paragraphbreak" style="margin-top:0.5em"></div><div class="paragraphbreak" style="margin-top:0.5em"></div> <p>This block affects editing on all Wikimedia wikis. </p><p>The IP address or range 8.222.128.0/17 has been globally <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> by <a href="/wiki/User:Jon_Kolbert" title="User:Jon Kolbert">‪Jon Kolbert‬</a> for the following reason(s): </p> <div style="padding:10px; background:var(--background-color-base, white); color:inherit; border:1px #666 solid;"> <p><a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/NOP" class="extiw" title="m:Special:MyLanguage/NOP">Open proxy/Webhost</a>: See the <a href="https://meta.wikimedia.org/wiki/WM:OP/H" class="extiw" title="m:WM:OP/H">help page</a> if you are affected </p> </div> <p>This block will expire on 15:12, 27 August 2028. Your current IP address is 8.222.208.146. </p> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>Even while globally blocked, you will <i>usually</i> still be able to edit pages on <a href="https://meta.wikimedia.org/wiki/" class="extiw" title="m:">Meta-Wiki</a>. </p> </div> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>If you believe you were blocked by mistake, you can find additional information and instructions in the <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/No_open_proxies" class="extiw" title="m:Special:MyLanguage/No open proxies">No open proxies</a> global policy. Otherwise, to discuss the block please <a href="https://meta.wikimedia.org/wiki/Steward_requests/Global" class="extiw" title="m:Steward requests/Global">post a request for review on Meta-Wiki</a>. You could also send an email to the <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/Stewards" class="extiw" title="m:Special:MyLanguage/Stewards">stewards</a> <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/VRT" class="extiw" title="m:Special:MyLanguage/VRT">VRT</a> queue at <kbd>stewards@wikimedia.org</kbd> including all above details. </p> </div> <p>Other useful links: <a href="https://meta.wikimedia.org/wiki/Global_blocks" class="extiw" title="m:Global blocks">Global blocks</a> · <a href="/wiki/Help:I_have_been_blocked" title="Help:I have been blocked">Help:I have been blocked</a> </p> </div></li></ul><hr /> <div id="viewsourcetext">You can view and copy the source of this page:</div><textarea readonly="" accesskey="," id="wpTextbox1" cols="80" rows="25" style="" class="mw-editfont-monospace" lang="en" dir="ltr" name="wpTextbox1">{{short description|High-level programming language first released in 1980}} {{infobox programming language | name = Ada | logo = Ada horizon green logo with slogan.svg | logo alt = Green logo on horizon with Ada letters and slogan | paradigm = [[Multi-paradigm programming language|Multi-paradigm]]: [[Structured programming|structured]], [[Imperative programming|imperative]], [[Object-oriented programming|object-oriented]], [[Aspect-oriented programming|aspect-oriented]],<ref>{{cite web|url=http://www.adacore.com/uploads/technical-papers/Ada2012_Rational_Introducion.pdf|title=Ada2012 Rationale|website=adacore.com|access-date=5 May 2018|url-status=live|archive-url=https://web.archive.org/web/20160418132340/http://www.adacore.com/uploads/technical-papers/Ada2012_Rational_Introducion.pdf|archive-date=18 April 2016}}</ref> [[Concurrent programming|concurrent]], [[Array programming|array]], [[Distributed computing|distributed]], [[Generic programming|generic]], [[Procedural programming|procedural]], [[Metaprogramming|meta]] | family = [[Pascal (programming language)|Pascal]] | designers = * MIL-STD-1815, Ada 83: [[Jean Ichbiah]] * Ada 95: Tucker Taft * Ada 2005: Tucker Taft * Ada 2012: Tucker Taft | developer = | typing = [[Static typing|static]], [[Strong and weak typing|strong]], [[Type safety|safe]], [[Nominal type system|nominal]] | implementations = AdaCore [[GNAT]],<ref>{{Cite web|url=https://www.adacore.com/download|title=Commercial software solutions for Ada, C and C++|website=AdaCore|accessdate=Apr 4, 2023}}</ref><br/>[[Green Hills Software]] Optimising Ada 95 compiler,<br/>[[PTC (software company)|PTC]] ApexAda and ObjectAda,<ref>{{cite web|url=http://www.ptc.com/developer-tools/objectada |title=PTC ObjectAda |publisher=PTC.com |access-date=2014-01-27}}</ref><br/>MapuSoft Ada-C/C++ changer,<ref>{{cite web|url=https://www.mapusoft.com/ada-to-c-changer/|title=MapuSoft Ada-C/C++ changer|date=16 April 2019}}</ref> formerly known as "AdaMagic with C Intermediate",<ref>{{Cite web|url=http://ada-auth.org/cpl/details/151.html|title=Ada 95 Certified Processors List – Details|website=ada-auth.org|accessdate=Apr 4, 2023}}</ref><br/>[[DDC-I]] Score | dialects = [[SPARK (programming language)|SPARK]], [[Ravenscar profile]] | influenced = [[C++]], [[Chapel (programming language)|Chapel]],<ref>{{cite web|title=Chapel spec (Acknowledgements)|url=http://chapel.cray.com/spec/spec-0.98.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://chapel.cray.com/spec/spec-0.98.pdf |archive-date=2022-10-09 |url-status=live|date=2015-10-01|access-date=2016-01-14|publisher=Cray Inc}}</ref> [[Drago (programming language)|Drago]],<ref>{{cite web|url=http://www.iuma.ulpgc.es/users/gsd/Drago/|title=Drago|access-date=2018-08-06|archive-date=2020-09-14|archive-url=https://web.archive.org/web/20200914212150/http://www.iuma.ulpgc.es/users/gsd/Drago/|url-status=dead}}</ref> [[D (programming language)|D]], [[Eiffel (programming language)|Eiffel]], Griffin,<ref>{{Cite web|url=https://cs.nyu.edu/~goldberg/griffin.html|title=The Griffin Project|website=cs.nyu.edu|accessdate=Apr 4, 2023}}</ref> [[Java (programming language)|Java]], [[Nim (programming language)|Nim]], [[ParaSail (programming language)|ParaSail]], [[PL/SQL]], [[PL/pgSQL]], [[Python (programming language)|Python]], [[Ruby (programming language)|Ruby]], [[Seed7]], SPARforte,<ref>{{Cite web|url=https://www.sparforte.com/|title=SparForte Programming Language|website=www.sparforte.com|accessdate=Apr 4, 2023}}</ref> [[ParaSail (programming language)#Description|Sparkel]], [[SQL/PSM]], [[VHDL]] | license = | released = {{Start date and age|1980|02}} | latest release version = Ada 2022 | latest release date = May 2023 | latest preview version = | latest preview date = | influenced by = [[ALGOL 68]], [[Pascal (programming language)|Pascal]], [[Simula 67]],<ref>Ada Rationale, 1986, pp. 23, 70, 110–114, 137, 165, 236</ref> [[C++]] (Ada 95), [[Smalltalk]] (Ada 95), [[Modula-2]] (Ada 95) [[Java (programming language)|Java]] (Ada 2005), [[Eiffel (programming language)|Eiffel]] (Ada 2012) | operating system = Multi- or [[cross-platform]] | file ext = .adb, .ads | wikibooks = Ada Programming }} '''Ada''' is a [[structured programming|structured]], [[statically typed]], [[Imperative programming|imperative]], and [[Object-oriented programming|object-oriented]] [[high-level programming language]], inspired by [[Pascal (programming language)|Pascal]] and other languages. It has built-in language support for ''[[design by contract]]'' (DbC), extremely [[Strong and weak typing|strong typing]], explicit concurrency, tasks, synchronous message passing, protected objects, and [[nondeterministic programming|non-determinism]]. Ada improves code safety and maintainability by using the [[compiler]] to find errors in favor of [[Runtime (program lifecycle phase)|runtime]] errors. Ada is an [[International standard|international]] [[technical standard]], jointly defined by the [[International Organization for Standardization]] (ISO), and the [[International Electrotechnical Commission]] (IEC). {{As of|May 2023}}, the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.<ref name="ada-letters-june2023">{{cite journal | first=Luis Miguel | last=Pinho | title=From the Editor's Desk | journal=Ada Letters | volume=XLIII | number=1 | publisher=Association for Computing Machinery | date=June 2023 | page=3 | doi=10.1145/3631483 | doi-broken-date=1 November 2024 | url=https://dl.acm.org/action/showFmPdf?doi=10.1145%2F3631483}}</ref> Ada was originally designed by a team led by French [[computer scientist]] [[Jean Ichbiah]] of [[Groupe Bull|Honeywell]] under contract to the [[United States Department of Defense]] (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time.<ref>{{cite web|title=The Ada Programming Language|url=http://groups.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html|website=University of Mich|access-date=27 May 2016|url-status=dead|archive-url=https://web.archive.org/web/20160522063844/http://groups.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html|archive-date=2016-05-22}}</ref> Ada was named after [[Ada Lovelace]] (1815–1852), who has been credited as the first computer programmer.<ref>{{cite journal|doi=10.1109/MAHC.2003.1253887|title=Lovelace & Babbage and the creation of the 1843 'notes'|journal=IEEE Annals of the History of Computing|volume=25|issue=4|pages=16–26|year=2003|last1=Fuegi|first1=J|last2=Francis|first2=J|s2cid=40077111}}</ref> == Features == Ada was originally designed for [[embedded system|embedded]] and [[real-time computing|real-time]] systems. The Ada&nbsp;95 revision, designed by S. Tucker Taft of [[Intermetrics]] between 1992 and 1995, improved support for systems, numerical, financial, and [[object-oriented programming]] (OOP). Features of Ada include: [[Strong and weak typing|strong typing]], [[modular programming]] mechanisms (packages), [[run-time checking]], [[Parallel computing|parallel processing]] ([[Task (computing)|tasks]], synchronous [[message passing]], protected objects, and nondeterministic [[Switch statement|select statements]]), [[exception handling]], and [[generic programming|generics]]. Ada&nbsp;95 added support for [[object-oriented programming]], including [[dynamic dispatch]]. The syntax of Ada minimizes choices of ways to perform basic operations, and prefers English keywords (such as "or else" and "and then") to symbols (such as "||" and "&&"). Ada uses the basic arithmetical operators "+", "-", "*", and "/", but avoids using other symbols. Code blocks are delimited by words such as "declare", "begin", and "end", where the "end" (in most cases) is followed by the identifier of the block it closes (e.g., ''if ... end if'', ''loop ... end loop''). In the case of conditional blocks this avoids a ''[[dangling else]]'' that could pair with the wrong nested if-expression in other languages like C or Java. Ada is designed for developing very large software systems. Ada packages can be compiled separately. Ada package specifications (the package interface) can also be compiled separately without the implementation to check for consistency. This makes it possible to detect problems early during the design phase, before implementation starts. A large number of [[Compile time|compile-time]] checks are supported to help avoid bugs that would not be detectable until run-time in some other languages or would require explicit checks to be added to the source code. For example, the syntax requires explicitly named closing of blocks to prevent errors due to mismatched end tokens. The adherence to strong typing allows detecting many common software errors (wrong parameters, range violations, invalid references, mismatched types, etc.) either during compile-time, or otherwise during run-time. As concurrency is part of the language specification, the [[compiler]] can in some cases detect potential [[Deadlock (computer science)|deadlocks.]]<ref>{{cite web|url=https://www.adaic.org/resources/add_content/docs/95style/html/sec_6/|title=Concurrency – Chapter 6 – Ada 95 QUALITY AND STYLE Guide|website=adaic.org|access-date=November 5, 2021}}</ref> Compilers also commonly check for misspelled [[identifier]]s, visibility of packages, redundant declarations, etc. and can provide warnings and useful suggestions on how to fix the error. Ada also supports [[Runtime system|run-time]] checks to protect against access to unallocated memory, [[buffer overflow]] errors, range violations, [[off-by-one error]]s, array access errors, and other detectable bugs. These checks can be disabled in the interest of runtime efficiency, but can often be compiled efficiently. It also includes facilities to help [[software verification|program verification]]. For these reasons, Ada is sometimes used in critical systems, where any [[anomaly in software|anomaly]] might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include [[avionics]], [[air traffic control]], [[Rail transport|railways]], banking, military and [[space technology]].<ref>{{cite web|title=Ada helps churn out less-buggy code|url=http://gcn.com/Articles/1999/06/30/Ada-helps-churn-out-lessbuggy-code.aspx|publisher=Government Computer News|access-date=2010-09-14|last1=Taft|first1=S. Tucker|last2=Olsen|first2=Florence|pages=2–3|date=1999-06-30|archive-date=2015-08-31|archive-url=https://web.archive.org/web/20150831211902/http://gcn.com/Articles/1999/06/30/Ada-helps-churn-out-lessbuggy-code.aspx|url-status=dead}}</ref><ref name="Ada_usage">{{cite web |last=Feldman |first=Michael |title=Who's Using Ada? Real-World Projects Powered by the Ada Programming Language November 2014 |url=https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html#Banking_and_Financial_Systems |publisher=SIGAda Education Working Group}}</ref> {{anchor|Access type}}Ada's dynamic [[memory management]] is high-level and type-safe. Ada has no generic or untyped [[Pointer (computer programming)|pointers]]; nor does it implicitly declare any pointer type. Instead, all dynamic memory allocation and deallocation must occur via explicitly declared ''access types''. Each access type has an associated ''storage pool'' that handles the low-level details of memory management; the programmer can either use the default storage pool or define new ones (this is particularly relevant for [[Non-Uniform Memory Access]]). It is even possible to declare several different access types that all designate the same type but use different storage pools. Also, the language provides for ''accessibility checks'', both at compile time and at run time, that ensures that an ''access value'' cannot outlive the type of the object it points to.<ref>[https://youtube.com/watch?v=RyY01fRyGhM&t=419 no safe dynamic memory management in ADA], in: Writing Linux Kernel Modules in Safe Rust – Geoffrey Thomas & Alex Gaynor, The Linux Foundation, 2019-10-02</ref> Though the semantics of the language allow automatic [[garbage collection (computer science)|garbage collection]] of inaccessible objects, most implementations do not support it by default, as it would cause unpredictable behaviour in real-time systems. Ada does support a limited form of [[region-based memory management]]; also, creative use of storage pools can provide for a limited form of automatic garbage collection, since destroying a storage pool also destroys all the objects in the pool. A double-[[dash]] ("--"), resembling an [[em dash]], denotes comment text. Comments stop at end of line; there is intentionally no way to make a comment span multiple lines, to prevent unclosed comments from accidentally voiding whole sections of source code. Disabling a whole block of code therefore requires the prefixing of each line (or column) individually with "--". While this clearly denotes disabled code by creating a column of repeated "--" down the page, it also renders the experimental dis/re-enablement of large blocks a more drawn-out process in editors without block commenting support. The semicolon (";") is a [[statement terminator]], and the null or no-operation statement is <code>null;</code>. A single <code>;</code> without a statement to terminate is not allowed. Unlike most [[International Organization for Standardization|ISO]] standards, the Ada language definition (known as the ''Ada Reference Manual'' or ''ARM'', or sometimes the ''Language Reference Manual'' or ''LRM'') is [[free content]]. Thus, it is a common reference for Ada programmers, not only programmers implementing Ada compilers. Apart from the reference manual, there is also an extensive rationale document which explains the language design and the use of various language constructs. This document is also widely used by programmers. When the language was revised, a new rationale document was written. One notable [[free software]] tool that is used by many Ada programmers to aid them in writing Ada source code is the GNAT Programming Studio, and [[GNAT]] which is part of the [[GNU Compiler Collection]]. == History == In the 1970s the [[United States Department of Defense|US Department of Defense]] (DoD) became concerned by the number of different programming languages being used for its embedded computer system projects, many of which were obsolete or hardware-dependent, and none of which supported safe modular programming. In 1975, a [[working group]], the [[High Order Language Working Group]] (HOLWG), was formed with the intent to reduce this number by finding or creating a programming language generally suitable for the department's and the [[Ministry of Defence (United Kingdom)|UK Ministry of Defence]]'s requirements. After many iterations beginning with an original [[Straw man proposal|straw-man proposal]]<ref>{{Cite web|url=http://iment.com/maida/computer/requirements/strawman.htm|title=DoD – Strawman Requirements – April 1975|website=iment.com|accessdate=Apr 4, 2023}}</ref> the eventual programming language was named Ada. The total number of high-level programming languages in use for such projects fell from over 450 in 1983 to 37 by 1996. HOLWG crafted the [[Steelman language requirements]], a series of documents stating the requirements they felt a programming language should satisfy. Many existing languages were formally reviewed, but the team concluded in 1977 that no existing language met the specifications. [[File:Ada Lovelace portrait.jpg|thumb|225x225px|Watercolour painting of Ada Lovelace]] Requests for proposals for a new programming language were issued and four contractors were hired to develop their proposals under the names of Red ([[Intermetrics]] led by Benjamin Brosgol), Green ([[Honeywell]], led by [[Jean Ichbiah]]), Blue ([[SofTech, Inc.|SofTech]], led by John Goodenough)<ref>{{cite web|url=http://www.sei.cmu.edu/about/people/jbg.cfm |title=John Goodenough &#124; SEI Staff Profile |publisher=Sei.cmu.edu |access-date=2014-01-27}}</ref> and Yellow ([[SRI International]], led by Jay Spitzen). In April 1978, after public scrutiny, the Red and Green proposals passed to the next phase. In May 1979, the Green proposal, designed by Jean Ichbiah at Honeywell, was chosen and given the name Ada—after Augusta Ada King, Countess of Lovelace, usually known as [[Ada Lovelace]]. This proposal was influenced by the language [[LIS (programming language)|LIS]] that Ichbiah and his group had developed in the 1970s. The preliminary Ada reference manual was published in ACM SIGPLAN Notices in June 1979. The Military Standard reference manual was approved on December 10, 1980 (Ada Lovelace's birthday), and given the number MIL-STD-1815 in honor of Ada Lovelace's birth year. In 1981, [[Tony Hoare]] took advantage of his [[Turing Award]] speech to criticize Ada for being overly complex and hence unreliable,<ref>{{cite journal |last=C.A.R. |first=Hoare |author-link=Tony Hoare |date=1981 |title=The Emperor's Old Clothes |url=http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf |url-status=live |journal=Communications of the ACM |publisher=[[Association for Computing Machinery]] |volume=24 |issue=2 |pages=75–83 |doi=10.1145/358549.358561 |s2cid=97895 |archive-url=https://web.archive.org/web/20160304012013/http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf |archive-date=2016-03-04 |doi-access=free}}</ref> but subsequently seemed to recant in the foreword he wrote for an Ada textbook.<ref>{{cite book |last1=Watt |first1=D.A. |last2=Wichmann |first2=B.A. |last3=Findlay |first3=W. |title=Ada: Language and Methodology |publisher=Prentice-Hall |date=1987}}</ref> Ada attracted much attention from the programming community as a whole during its early days. Its backers and others predicted that it might become a dominant language for general purpose programming and not only defense-related work.<ref name="sward" /> Ichbiah publicly stated that within ten years, only two programming languages would remain: Ada and [[Lisp (programming language)|Lisp]].<ref name="SIGAda-Rosen">{{cite journal |last=Rosen |first=J-P. |title=The Ada Paradox(es) |journal=Ada Letters |publisher=ACM SIGAda |volume=24 |issue=2 |date=August 2009 |pages=28–35|doi=10.1145/1620593.1620597 |s2cid=608405}}</ref> Early Ada compilers struggled to implement the large, complex language, and both compile-time and run-time performance tended to be slow and tools primitive.<ref name="sward" /> Compiler vendors expended most of their efforts in passing the massive, language-conformance-testing, government-required [[Ada Compiler Validation Capability]] (ACVC) validation suite that was required in another novel feature of the Ada language effort.<ref name="SIGAda-Rosen" /> The first validated Ada implementation was the NYU Ada/Ed translator,<ref>{{cite web |url=http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA136759 |title=Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001 |author=SofTech Inc. |place=Waltham, MA |date=1983-04-11 |access-date=2010-12-16 |archive-url=https://web.archive.org/web/20120312080046/http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA136759 |archive-date=2012-03-12 |url-status=dead}}</ref> certified on April 11, 1983. NYU Ada/Ed is implemented in the high-level set language [[SETL]].<ref>{{cite book |last1=Dewar |first1=Robert B. K. |last2=Fisher |first2=Gerald A. Jr. |last3=Schonberg |first3=Edmond |last4=Froelich |first4=Robert |last5=Bryant |first5=Stephen |last6=Goss |first6=Clinton F. |last7=Burke |first7=Michael |title=Proceeding of the ACM-SIGPLAN symposium on Ada programming language – SIGPLAN '80 |chapter=The NYU Ada translator and interpreter |volume=15 |issue=11 |pages=194–201 |date=November 1980 |isbn=0-89791-030-3 |doi=10.1145/948632.948659|s2cid=10586359}}</ref> Several commercial companies began offering Ada compilers and associated development tools, including [[Alsys]], [[TeleSoft]], [[DDC-I]], [[Advanced Computer Techniques]], [[Tartan Laboratories]], [[Irvine Compiler]], [[TLD Systems]], and [[Verdix]].<ref name="adaic-1992">{{cite news |title=Ada Validated Compilers List |publisher=Ada Information Clearinghouse |date=July 1, 1992 |pages=1–36}}</ref> Computer manufacturers who had a significant business in the defense, aerospace, or related industries, also offered Ada compilers and tools on their platforms; these included [[Concurrent Computer Corporation]], [[Cray Research, Inc.]], [[Digital Equipment Corporation]], [[Harris Computer Systems]], and [[Siemens Nixdorf Informationssysteme AG]].<ref name="adaic-1992" /> In 1991, the US Department of Defense began to require the use of Ada (the ''Ada mandate'') for all software,<ref>{{cite web|url=http://archive.adaic.com/pol-hist/policy/mandate.txt |title=The Congressional Ada Mandate |author=Ada Information Clearinghouse |date=1983-04-11 |access-date=2015-06-07 |url-status=dead |archive-url=https://web.archive.org/web/20160304073005/http://archive.adaic.com/pol-hist/policy/mandate.txt |archive-date=2016-03-04}}</ref> though exceptions to this rule were often granted.<ref name="sward" /> The Department of Defense Ada mandate was effectively removed in 1997, as the DoD began to embrace [[commercial off-the-shelf]] (COTS) technology.<ref name="sward">{{cite conference |contribution=The rise, fall and persistence of Ada |first=Ricky E. |last=Sward |date=November 2010 |title=SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda |pages=71–74 |url=http://dl.acm.org/citation.cfm?id=1879063.1879081&coll=DL&dl=GUIDE&CFID=551420221&CFTOKEN=60383966 | doi=10.1145/1879063.1879081|isbn=978-1-4503-0027-8}}</ref> Similar requirements existed in other [[North Atlantic Treaty Organization|NATO]] countries: Ada was required for NATO systems involving [[command and control]] and other functions, and Ada was the mandated or preferred language for defense-related applications in countries such as Sweden, Germany, and Canada.<ref>{{cite book |url=http://apps.dtic.mil/dtic/tr/fulltext/u2/a217657.pdf |archive-url=https://web.archive.org/web/20191215065214/http://www.dtic.mil/dtic/tr/fulltext/u2/a217657.pdf |url-status=live |archive-date=December 15, 2019 |first=Nicholas J. |last=Babiak |title=Ada, the New DoD Weapon System Computer Language – Panacea or Calamity |publisher=[[Air University (United States Air Force)]] |date=1989 |pages=39–40}}</ref> By the late 1980s and early 1990s, Ada compilers had improved in performance, but there were still barriers to fully exploiting Ada's abilities, including a tasking model that was different from what most real-time programmers were used to.<ref name="SIGAda-Rosen" /> Because of Ada's [[Safety-critical system|safety-critical]] support features, it is now used not only for military applications, but also in commercial projects where a software bug can have severe consequences, e.g., [[avionics]] and [[air traffic control]], commercial rockets such as the [[Ariane (rocket family)|Ariane 4 and 5]], [[satellite]]s and other space systems, railway transport and banking.<ref name="Ada_usage" /> For example, the [[Primary Flight Control System]], the [[Aircraft flight control systems|fly-by-wire]] system software in the [[Boeing 777]], was written in Ada, as were the fly-by-wire systems for the aerodynamically unstable [[Eurofighter Typhoon]],<ref>{{cite web |date=16 June 1999 |title=Agile thinking |url=https://www.flightglobal.com/agile-thinking/26933.article |url-status=live |archive-url=https://web.archive.org/web/20210415054346/https://www.flightglobal.com/agile-thinking/26933.article |archive-date=15 April 2021 |access-date=13 Feb 2024 |website=FlightGlobal}}</ref> [[Saab JAS 39 Gripen|Saab Gripen]],<ref>{{Cite web |last=Frisberg |first=Bo |title=Usage of Ada in the Gripen Flight Control System |url=https://www.sigada.org/conf/sa98/papers/frisberg.pdf |url-status=live |archive-url=https://web.archive.org/web/20240115002036/https://www.sigada.org/conf/sa98/papers/frisberg.pdf |archive-date=15 Jan 2024 |access-date=13 Feb 2024 |website=The Special Interest Group on Ada}}</ref> [[Lockheed Martin F-22 Raptor]] and the DFCS replacement flight control system for the [[Grumman F-14 Tomcat]]. The Canadian Automated Air Traffic System was written in 1 million lines of Ada ([[Source lines of code|SLOC]] count). It featured advanced [[distributed processing]], a distributed Ada database, and object-oriented design. Ada is also used in other air traffic systems, e.g., the UK's next-generation Interim Future Area Control Tools Support ({{proper name|iFACTS}}) air traffic control system is designed and implemented using [[SPARK (programming language)|SPARK]] Ada.<ref>{{cite web|last=AdaCore|title=GNAT Pro Chosen for UK's Next Generation ATC System|url=http://www.adacore.com/2007/06/19/adacore-gnat-pro-chosen-for-uk-next-generation/|access-date=2011-03-01|archive-url=https://web.archive.org/web/20101224163518/http://www.adacore.com/2007/06/19/adacore-gnat-pro-chosen-for-uk-next-generation/|archive-date=2010-12-24|url-status=dead}}</ref> It is also used in the [[France|French]] [[Transmission Voie-Machine|TVM]] in-[[cab signalling]] system on the [[TGV]] high-speed rail system, and the metro suburban trains in Paris, London, Hong Kong and New York City.<ref name="Ada_usage" /><ref>{{cite web|last=AdaCore|title=Look Who's Using Ada|url=http://www.adacore.com/home/ada_answers/lookwho/|access-date=2011-03-01|archive-url=https://web.archive.org/web/20101224102110/http://www.adacore.com/home/ada_answers/lookwho|archive-date=2010-12-24|url-status=dead}}</ref> == Standardization == {| class="wikitable floatright" style="margin-left: 1.5em;" |+Timeline of Ada language |- ! Year ! Informal name ! ANSI Standard ! ISO/IEC Standard |- | 1980 | Ada | MIL-STD 1815 | {{n/a}} |- | 1983 | Ada 83/87 | MIL-STD 1815A | 8652:1987 |- | 1995 | Ada 95 | {{n/a}} | 8652:1995 |- | 2007 | Ada 2005 | {{n/a}} | 8652:1995/Amd 1:2007 |- | 2012 | Ada 2012 | {{n/a}} | 8652:2012 |- | 2023 | Ada 2022 | {{n/a}} | 8652:2023 |} Preliminary Ada can be found in ACM Sigplan Notices Vol 14, No 6, June 1979<ref>{{cite web|url=https://dl.acm.org/doi/pdf/10.1145/956650.956651 |title=ACM Sigplan Notices |volume=14 |number= 6 |date=June 1979|pages=1–145 |doi=10.1145/956650.956651 |last1=Ichbiah |first1=J. D.}}</ref> Ada was first published in 1980 as an [[American National Standards Institute|ANSI]] standard ANSI/'''MIL-STD 1815'''. As this very first version held many errors and inconsistencies ,{{Efn|see Summary of Ada Language Changes<ref>[https://dl.acm.org/doi/pdf/10.1145/989791.989792 Summary of Ada Language Changes]</ref>}} the revised edition was published in 1983 as ANSI/MIL-STD 1815A. Without any further changes, it became an ISO standard in 1987.<ref>{{Cite web |last= |date=2013-02-21 |title=ISO 8652:1987 |url=https://www.iso.org/standard/16028.html |access-date=2024-01-19 |website=ISO |language=en}}</ref> This version of the language is commonly known as '''Ada&nbsp;83''', from the date of its adoption by ANSI, but is sometimes referred to also as '''Ada&nbsp;87''', from the date of its adoption by ISO.<ref>{{Cite web |title=Ada 83 LRM, Front Page |url=http://archive.adaic.com/standards/83lrm/html/Welcome.html |access-date=2024-01-19 |website=archive.adaic.com}}</ref> There is also a French translation; DIN translated it into German as DIN 66268 in 1988. '''Ada&nbsp;95''', the joint ISO/IEC/ANSI standard ISO/IEC 8652:1995<ref>{{Cite web |last= |title=ISO/IEC 8652:1995 |url=https://www.iso.org/standard/22983.html |access-date=2024-01-19 |website=ISO |language=en}}</ref><ref>{{Cite web |title=Ada 95 Language Reference Manual (original) – Ada Resource Association |url=https://www.adaic.org/ada-resources/standards/ada-95-documents/lrm-original/ |access-date=2024-01-19 |website=www.adaic.org}}</ref> was published in February 1995, making it the first ISO standard object-oriented programming language. To help with the standard revision and future acceptance, the [[US Air Force]] funded the development of the [[GNAT]] [[Compiler]]. Presently, the GNAT Compiler is part of the [[GNU Compiler Collection]]. Work has continued on improving and updating the technical content of the Ada language. A Technical Corrigendum to Ada&nbsp;95 was published in October 2001,<ref>[https://www.iso.org/standard/35451.html ISO/IEC 8652:1995/Corr 1:2001]</ref><ref>[http://www.adaic.org/standards/95lrm/html/RM-TTL.html Ada 95 RM with TC 1]</ref> and a major Amendment, ISO/IEC 8652:1995/Amd 1:2007 <ref>{{Cite web |last= |title=ISO/IEC 8652:1995/Amd 1:2007 |url=https://www.iso.org/standard/45001.html |access-date=2024-01-19 |website=ISO |language=en}}</ref><ref>{{Cite web |title=Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3 |url=https://www.adaic.org/resources/add_content/standards/05rm/html/RM-TTL.html |access-date=2024-01-19 |website=www.adaic.org}}</ref> was published on March 9, 2007, commonly known as '''Ada&nbsp;2005''' because work on the new standard was finished that year. At the Ada-Europe 2012 conference in Stockholm, the Ada Resource Association (ARA) and Ada-Europe announced the completion of the design of the latest version of the Ada language and the submission of the reference manual to the [[ISO/IEC JTC 1/SC 22]]/WG 9 of the [[International Organization for Standardization]] (ISO) and the [[International Electrotechnical Commission]] (IEC) for approval. ISO/IEC 8652:2012<ref>{{Cite web |last= |date=2013-03-28 |title=ISO/IEC 8652:2012 |url=https://www.iso.org/standard/61507.html |access-date=2024-01-19 |website=ISO |language=en}}</ref>(see [https://www.adaic.org/resources/add_content/standards/12rm/html/RM-TTL.html Ada 2012 RM]) was published in December 2012, known as '''Ada&nbsp;2012'''. A technical corrigendum, ISO/IEC 8652:2012/COR 1:2016, was published <ref>{{Cite web |last= |title=ISO/IEC 8652:2012/Cor 1:2016 |url=https://www.iso.org/standard/69798.html |access-date=2024-01-19 |website=ISO |language=en}}</ref>(see [http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TTL.html RM 2012 with TC 1]). On May 2, 2023, the Ada community saw the formal approval of publication of the '''Ada&nbsp;2022''' edition of the programming language standard.<ref name="ada-letters-june2023" /> Despite the names Ada 83, 95 etc., legally there is only one Ada standard, the one of the last ISO/IEC standard: with the acceptance of a new standard version, the previous one becomes withdrawn. The other names are just informal ones referencing a certain edition. Other related standards include [[Graphical Kernel System|ISO/IEC 8651]]-3:1988 ''Information processing systems—Computer graphics—Graphical Kernel System (GKS) language bindings—Part 3: Ada''. == Language constructs == Ada is an [[ALGOL]]-like programming language featuring control structures with reserved words such as ''if'', ''then'', ''else'', ''while'', ''for'', and so on. However, Ada also has many data structuring facilities and other abstractions which were not included in the original [[ALGOL 60]], such as [[type system|type definitions]], [[record (computer science)|records]], [[pointer (computer programming)|pointers]], [[enumerated type|enumerations]]. Such constructs were in part inherited from or inspired by [[Pascal (programming language)|Pascal]]. === "Hello, world!" in Ada === A common example of a language's [[Syntax (programming languages)|syntax]] is the [[Hello world program]]: (hello.adb) <syntaxhighlight lang="ada" line> with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Hello, world!"); end Hello; </syntaxhighlight> This program can be compiled by using the freely available open source compiler [[GNAT]], by executing <syntaxhighlight lang="bash">gnatmake hello.adb</syntaxhighlight> === Data types === Ada's type system is not based on a set of predefined [[primitive types]] but allows users to declare their own types. This declaration in turn is not based on the internal representation of the type but on describing the goal which should be achieved. This allows the compiler to determine a suitable memory size for the type, and to check for violations of the type definition at compile time and run time (i.e., range violations, buffer overruns, type consistency, etc.). Ada supports numerical types defined by a range, modulo types, aggregate types (records and arrays), and enumeration types. Access types define a reference to an instance of a specified type; untyped pointers are not permitted. Special types provided by the language are task types and protected types. For example, a date might be represented as: <syntaxhighlight lang="ada" line> type Day_type is range 1 .. 31; type Month_type is range 1 .. 12; type Year_type is range 1800 .. 2100; type Hours is mod 24; type Weekday is (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday); type Date is record Day : Day_type; Month : Month_type; Year : Year_type; end record; </syntaxhighlight> Important to note: Day_type, Month_type, Year_type, Hours are incompatible types, meaning that for instance the following expression is illegal: <syntaxhighlight lang="ada" line> Today: Day_type := 4; Current_Month: Month_type := 10; ... Today + Current_Month ... -- illegal </syntaxhighlight> The predefined plus-operator can only add values of the same type, so the expression is illegal. Types can be refined by declaring [[subtyping|subtypes]]: <syntaxhighlight lang="ada" line> subtype Working_Hours is Hours range 0 .. 12; -- at most 12 Hours to work a day subtype Working_Day is Weekday range Monday .. Friday; -- Days to work Work_Load: constant array(Working_Day) of Working_Hours -- implicit type declaration := (Friday => 6, Monday => 4, others => 10); -- lookup table for working hours with initialization </syntaxhighlight> Types can have modifiers such as ''limited, abstract, private'' etc. Private types do not show their inner structure; objects of limited types cannot be copied.<ref>{{cite web |title=Ada Syntax Card |url=http://www.digilife.be/quickreferences/QRC/Ada%20Syntax%20Card.pdf |access-date=28 February 2011 |url-status=dead |archive-url=https://web.archive.org/web/20110706133825/http://www.digilife.be/quickreferences/QRC/Ada%20Syntax%20Card.pdf |archive-date=6 July 2011}}</ref> Ada 95 adds further features for object-oriented extension of types. === Control structures === Ada is a [[structured programming]] language, meaning that the flow of control is structured into standard statements. All standard constructs and deep-level early exit are supported, so the use of the also supported "[[goto (command)|go to]]" commands is seldom needed. <syntaxhighlight lang="ada" line> -- while a is not equal to b, loop. while a /= b loop Ada.Text_IO.Put_Line ("Waiting"); end loop; if a > b then Ada.Text_IO.Put_Line ("Condition met"); else Ada.Text_IO.Put_Line ("Condition not met"); end if; for i in 1 .. 10 loop Ada.Text_IO.Put ("Iteration: "); Ada.Text_IO.Put (i); Ada.Text_IO.Put_Line; end loop; loop a := a + 1; exit when a = 10; end loop; case i is when 0 => Ada.Text_IO.Put ("zero"); when 1 => Ada.Text_IO.Put ("one"); when 2 => Ada.Text_IO.Put ("two"); -- case statements have to cover all possible cases: when others => Ada.Text_IO.Put ("none of the above"); end case; for aWeekday in Weekday'Range loop -- loop over an enumeration Put_Line ( Weekday'Image(aWeekday) ); -- output string representation of an enumeration if aWeekday in Working_Day then -- check of a subtype of an enumeration Put_Line ( " to work for " & Working_Hours'Image (Work_Load(aWeekday)) ); -- access into a lookup table end if; end loop; </syntaxhighlight> === Packages, procedures and functions === Among the parts of an Ada program are packages, procedures and functions. Functions differ from procedures in that they must return a value. Function calls cannot be used "as a statement", and their result must be assigned to a variable. However, since Ada 2012, functions are not required to be pure and may mutate their suitably declared parameters or the global state.<ref>{{cite web |title=Subprograms |url=https://learn.adacore.com/courses/intro-to-ada/chapters/subprograms.html#function-calls |website=learn.adacore.com |publisher=AdaCore |access-date=14 April 2024}}</ref> Example: Package specification (example.ads) <syntaxhighlight lang="ada" line> package Example is type Number is range 1 .. 11; procedure Print_and_Increment (j: in out Number); end Example; </syntaxhighlight> Package body (example.adb) <syntaxhighlight lang="ada" line> with Ada.Text_IO; package body Example is i : Number := Number'First; procedure Print_and_Increment (j: in out Number) is function Next (k: in Number) return Number is begin return k + 1; end Next; begin Ada.Text_IO.Put_Line ( "The total is: " & Number'Image(j) ); j := Next (j); end Print_and_Increment; -- package initialization executed when the package is elaborated begin while i < Number'Last loop Print_and_Increment (i); end loop; end Example; </syntaxhighlight> This program can be compiled, e.g., by using the freely available open-source compiler [[GNAT]], by executing <syntaxhighlight lang="bash">gnatmake -z example.adb</syntaxhighlight> Packages, procedures and functions can nest to any depth, and each can also be the logical outermost block. Each package, procedure or function can have its own declarations of constants, types, variables, and other procedures, functions and packages, which can be declared in any order. === Pragmas === A pragma is a [[compiler directive]] that conveys information to the compiler to allow specific manipulating of compiled output.<ref>{{cite web |url=http://archive.adaic.com/standards/83lrm/html/lrm-02-08.html#2.8 |title=Ada 83 LRM, Sec 2.8: Pragmas |publisher=Archive.adaic.com |access-date=2014-01-27}}</ref> Certain pragmas are built into the language,<ref>{{cite web |url=http://archive.adaic.com/standards/83lrm/html/lrm-B.html |title=Ada 83 LRM, Appendix/Annex B: Predefined Language Pragmas |publisher=Archive.adaic.com |access-date=2014-01-27 |url-status=dead |archive-url=https://web.archive.org/web/20120206005541/http://archive.adaic.com/standards/83lrm/html/lrm-B.html |archive-date=2012-02-06}}</ref> while others are implementation-specific. Examples of common usage of compiler pragmas would be to disable certain features, such as run-time type checking or array subscript boundary checking, or to instruct the compiler to insert object code instead of a function call (as C/C++ does with [[inline function]]s). === Generics === {{excerpt|Generic programming|Generics in Ada}} == See also == {{Portal|Computer programming}} * [[List of compilers#Ada compilers|Ada compilers]] * [[APSE]] – a specification for a programming environment to support software development in Ada * [[Ravenscar profile]] – a subset of the Ada tasking features designed for safety-critical hard real-time computing * [[SPARK (programming language)|SPARK]] – a programming language consisting of a highly restricted subset of Ada, annotated with meta-information describing desired component behavior and individual runtime requirements * [[VHDL]], Ada-based hardware description language ==Notes== {{notelist}} {{reflist}} == References == === International standards === * [[ISO 8652|ISO/IEC 8652]]: Information technology—Programming languages—Ada * [[ISO 15291|ISO/IEC 15291]]: Information technology—Programming languages—Ada Semantic Interface Specification ([[wikt:ASIS|ASIS]]) * [[ISO 18009|ISO/IEC 18009]]: Information technology—Programming languages—Ada: Conformity assessment of a language processor ([[wikt:ACATS|ACATS]]) * [[IEEE 1003|IEEE Standard 1003.5b-1996]], the [[POSIX]] Ada binding * [https://web.archive.org/web/20041209184612/http://www.omg.org/technology/documents/formal/ada_language_mapping.htm Ada Language Mapping Specification], the [[CORBA]] [[interface description language]] (IDL) to Ada mapping === Rationale === These documents have been published in various forms, including print. * {{citation |url=http://archive.adaic.com/standards/83rat/html/Welcome.html |last1=Ichbiah |first1=Jean D. |author-link=Jean Ichbiah |last2=Barnes |first2=John G. P. |last3=Firth |first3=Robert J. |last4=Woodger |first4=Mike |title=Rationale for the Design of the Ada Programming Language |year=1986 |url-status=dead |archive-url=https://web.archive.org/web/20070202205233/http://archive.adaic.com/standards/83rat/html/Welcome.html |archive-date=2007-02-02}} Also available [https://apps.dtic.mil/dtic/tr/fulltext/u2/a187106.pdf apps.dtic.mil], pdf * {{citation |url=http://www.adaic.org/resources/add_content/standards/95rat/rat95html/rat95-contents.html |last=Barnes |first=John G. P. |title=Ada 95 rationale: the language: the standard libraries |year=1995}} * {{citation |url=http://www.adaic.org/standards/05rat/html/Rat-TTL.html |first=John |last=Barnes |title=Rationale for Ada 2005 |orig-year=2005 |year=2006}} === Books === {{Refbegin}} *{{cite book |last=Booch |first=Grady |author-link=Grady Booch |date=1987 |title=Software Engineering with Ada |url=https://archive.org/details/softwareengineer0002booc |url-access=registration |publisher=The Benjamin/Cummings Publishing Company |location=California |isbn=0-8053-0604-8}} *{{cite book |last=Skansholm |first=Jan |title=Ada 95 From the Beginning |year=1996 |publisher=Addison-Wesley |isbn=0-201-40376-5}} *{{cite book |last=Gilpin |first=Geoff |title=Ada: A Guided Tour and Tutorial |year=1985 |publisher=Prentice hall |isbn=978-0-13-004045-9}} *{{cite book |last=Beidler |first=John |date=1997 |title=Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95 |publisher=Springer-Verlag |isbn=0-387-94834-1}} *{{cite book |last=Gonzalez |first=Dean W. |author-link=Dean W. Gonzalez |date=1991 |title=Ada Programmer's Handbook |publisher=Benjamin-Cummings Publishing Company |isbn=0-8053-2529-8}} *{{cite book |last=Ben-Ari |first=M. |author-link=M. Ben-Ari |date=1998 |title=Ada for Software Engineers |publisher=John Wiley & Sons |isbn=0-471-97912-0}} *{{cite book |last=Cohen |first=Norman |title=Ada as a Second Language |year=1996 |publisher=McGraw-Hill Science/Engineering/Math |isbn=0-07-011607-5}} *{{cite book |last1=Burns |first1=Alan |author-link=Alan Burns (professor) |last2=Wellings |first2=Andy |author2-link=Andy Wellings |title=Real-Time Systems and Programming Languages. Ada 95, Real-Time Java and Real-Time POSIX. |year=2001 |publisher=Addison-Wesley |isbn=0-201-72988-1}} *{{cite book |last1=Burns |first1=Alan |author-link=Alan Burns (professor) |last2=Wellings |first2=Andy |author2-link=Andy Wellings |date=1995 |title=Concurrency in Ada |publisher=Cambridge University Press |isbn=0-521-62911-X}} *{{cite book |last=Atkinson |first=Colin |title=Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach |year=1991 |publisher=Addison-Wesley |isbn=0-201-56527-7}} *{{cite book |last1=Booch |first1=Grady |author-link=Grady Booch |last2=Bryan |first2=Doug |title=Software Engineering with Ada |year=1994 |publisher=Addison-Wesley |isbn=0-8053-0608-0}} *{{cite book |last=Jones |first=Do-While |title=Ada in Action: With Practical Programming Examples |year=1989 |publisher=John Wiley & Sons |isbn=0-471-60708-8}} *{{cite book |last1=Stubbs |first1=Daniel |last2=Webre |first2=Neil W. |title=Data Structures with Abstract Data Types and Ada |year=1993 |publisher=Brooks Cole |isbn=0-534-14448-9}} *{{cite book |last=Ledru |first=Pascal |title=Distributed Programming in Ada with Protected Objects |date=December 1998 |publisher=Dissertation.com |isbn=1-58112-034-6}} *{{cite book |last=Culwin |first=Fintan |title=Ada, a Developmental Approach |year=1997 |publisher=Prentice Hall |isbn=0-13-264680-3}} *{{cite book |last1=English |first1=John |last2=Culwin |first2=Fintan |title=Ada 95 the Craft of Object-Oriented Programming |date=January 1997 |publisher=Prentice Hall |isbn=0-13-230350-7}} *{{cite book |last1=Musser |first1=David R. |last2=Stepanov |first2=Alexander |title=The Ada Generic Library: Linear List Processing Packages |date=24 October 1989 |publisher=Springer-Verlag |isbn=0-387-97133-5}} *{{cite book |last=Feldman |first=Michael B. |title=Software Construction and Data Structures with Ada 95 |year=1997 |publisher=Addison-Wesley |isbn=0-201-88795-9}} *{{cite book |last=Johnston |first=Simon |title=Ada 95 for C and C++ Programmers |year=1997 |publisher=Addison-Wesley |isbn=0-201-40363-3}} *{{cite book |last1=Feldman |first1=Michael B. |last2=Koffman |first2=Elliot B. |date=1992–1993 |title=Ada: Problem Solving and Program Design |isbn=0-201-52279-9 |publisher=Addison-Wesley}} 795 pages. *{{cite book |last1=Feldman |first1=Michael B. |last2=Koffman |first2=Elliot B. |author-link=Elliot Koffman |title=Ada 95 |year=1999 |publisher=Addison-Wesley |isbn=0-201-36123-X}} *{{cite book |last1=Dale |first1=Nell B. |author-link=Nell B. Dale |last2=Weems |first2=Chip |last3=McCormick |first3=John |title=Programming and Problem Solving with Ada 95 |date=August 1996 |publisher=Jones & Bartlett Publishers |isbn=0-7637-0293-5}} *{{cite book |last1=Dale |first1=Nell B. |author-link=Nell B. Dale |last2=McCormick |first2=John |title=Ada Plus Data Structures: An Object-Oriented Approach, 2nd edition |year=2007 |publisher=Jones & Bartlett Publishers |isbn=978-0-7637-3794-8}} *{{cite book |last=Krell |first=Bruce C. |title=Developing With Ada: Life-Cycle Methods |year=1992 |publisher=Bantam Dell Pub Group |isbn=0-553-09102-6}} *{{cite book |last=Bishop |first=Judy |title=Distributed Ada: Developments and Experiences |date=10 May 1990 |publisher=Cambridge University Press |isbn=0-521-39251-9}} *{{cite book |last=Sanden |first=Bo |title=Software Systems Construction With Examples in Ada |year=1994 |publisher=Prentice Hall |isbn=0-13-030834-X}} *{{cite book |last=Hillam |first=Bruce |title=Introduction to Abstract Data Types Using Ada |year=1994 |publisher=Prentice Hall |isbn=0-13-045949-6}} *{{cite book |last=Rudd |first=David |title=Introduction to Software Design and Development With Ada |year=1994 |publisher=Brooks Cole |isbn=0-314-02829-3}} *{{cite book |last=Pyle |first=Ian C. |title=Developing Safety Systems: A Guide Using Ada |year=1991 |publisher=Prentice Hall |isbn=0-13-204298-3}} *{{cite book |last=Baker |first=Louis |title=Artificial Intelligence With Ada |year=1989 |publisher=McGraw-Hill |isbn=0-07-003350-1}} *{{cite book |last1=Burns |first1=Alan |author-link=Alan Burns (professor) |last2=Wellings |first2=Andy |author2-link=Andy Wellings |title=HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems |year=1995 |publisher=North-Holland |isbn=0-444-82164-3}} *{{cite book |last1=Savitch |first1=Walter |last2=Peterson |first2=Charles |title=Ada: An Introduction to the Art and Science of Programming |year=1992 |publisher=Benjamin-Cummings Publishing Company |isbn=0-8053-7070-6}} *{{cite book |last=Weiss |first=Mark Allen |title=Data Structures and Algorithm Analysis in Ada |year=1993 |publisher=Benjamin-Cummings Publishing Company |isbn=0-8053-9055-3}} *{{cite book |last=Ledgard |first=Henry |title=Ada: An Introduction |year=1983 |publisher=Springer-Verlag |isbn=0-387-90814-5|edition=second }} *{{cite book |editor-last=Bjørner |editor-first=Dines |editor2-last=Oest |editor2-first=Ole N. |date=1980 |title=Towards a Formal Description of Ada |publisher=Springer-Verlag |location=London |isbn=3-540-10283-3}} {{Refend}} ==Further reading== *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=2014 |title=Programming in Ada 2022 |publisher=Cambridge University Press |isbn=978-1-009-56477-9}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=2014 |title=Programming in Ada 2012 with a Preview of Ada 2022 |publisher=Cambridge University Press |isbn=978-1-009-18134-1}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=2014 |title=Programming in Ada 2012 |publisher=Cambridge University Press |isbn=978-1-107-42481-4}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=2006 |title=Programming in Ada 2005 |publisher=Addison-Wesley |isbn=0-321-34078-7}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |title=Programming in Ada plus Language Reference Manual |year=1991 |publisher=Addison-Wesley |isbn=0-201-56539-0}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |title=Programming in Ada 95 |year=1998 |publisher=Addison-Wesley |isbn=0-201-34293-6}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=1997 |title=High Integrity Ada: The SPARK Approach |publisher=Addison-Wesley |isbn=0-201-17517-7}} *{{cite book |last=Barnes |first=John |author-link=John Barnes (computer scientist) |date=2003 |title=High Integrity Software: The SPARK Approach to Safety and Security |publisher=Addison-Wesley |isbn=0-321-13616-0}} ==External links==  {{Commons category|Ada (programming language)}} {{Wikibooks|Ada Programming}} {{Wikisourcecat|Ada}} {{Wikiversity|Ada}} * [https://www.adaic.org Ada Resource Association] * [https://quicksearch.dla.mil/qsDocDetails.aspx?ident_number=37152 DOD Ada programming language (ANSI/MIL STD 1815A-1983) specification] * [https://www.open-std.org/JTC1/SC22/WG9/ JTC1/SC22/WG9 ISO home of Ada Standards] * [http://purl.umn.edu/41474 Ada Programming Language Materials, 1981–1990]. [[Charles Babbage Institute]], University of Minnesota. {{Pascal programming language family}} {{Programming languages}} {{Embedded systems}} {{Authority control}} [[Category:Ada (programming language)| ]] [[Category:Programming languages]] [[Category:.NET programming languages]] [[Category:Avionics programming languages]] [[Category:High Integrity Programming Language]] [[Category:Multi-paradigm programming languages]] [[Category:Programming language standards]] [[Category:Programming languages created in 1980]] [[Category:Programming languages with an ISO standard]] [[Category:Statically typed programming languages]] [[Category:Systems programming languages]] [[Category:1980 software]] [[Category:High-level programming languages]] [[Category:Ada Lovelace]] </textarea><div class="templatesUsed"><div class="mw-templatesUsedExplanation"><p><span id="templatesused">Pages transcluded onto the current version of this page<span class="posteditwindowhelplinks"> (<a href="/wiki/Help:Transclusion" title="Help:Transclusion">help</a>)</span>:</span> </p></div><ul> <li><a href="/wiki/Generic_programming" title="Generic programming">Generic programming</a> (<a href="/w/index.php?title=Generic_programming&action=edit" title="Generic programming">edit</a>) </li><li><a href="/wiki/Template:Anchor" title="Template:Anchor">Template:Anchor</a> (<a href="/w/index.php?title=Template:Anchor&action=edit" title="Template:Anchor">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:As_of" title="Template:As of">Template:As of</a> (<a href="/w/index.php?title=Template:As_of&action=edit" title="Template:As of">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Authority_control" title="Template:Authority control">Template:Authority control</a> (<a href="/w/index.php?title=Template:Authority_control&action=edit" title="Template:Authority control">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Citation" title="Template:Citation">Template:Citation</a> (<a href="/w/index.php?title=Template:Citation&action=edit" title="Template:Citation">view source</a>) (protected)</li><li><a href="/wiki/Template:Cite_book" title="Template:Cite book">Template:Cite book</a> (<a href="/w/index.php?title=Template:Cite_book&action=edit" title="Template:Cite book">view source</a>) (protected)</li><li><a href="/wiki/Template:Cite_conference" title="Template:Cite conference">Template:Cite conference</a> (<a href="/w/index.php?title=Template:Cite_conference&action=edit" title="Template:Cite conference">view source</a>) (protected)</li><li><a href="/wiki/Template:Cite_journal" title="Template:Cite journal">Template:Cite journal</a> (<a href="/w/index.php?title=Template:Cite_journal&action=edit" title="Template:Cite journal">view source</a>) (protected)</li><li><a href="/wiki/Template:Cite_news" title="Template:Cite news">Template:Cite news</a> (<a href="/w/index.php?title=Template:Cite_news&action=edit" title="Template:Cite news">view source</a>) (protected)</li><li><a href="/wiki/Template:Cite_web" title="Template:Cite web">Template:Cite web</a> (<a href="/w/index.php?title=Template:Cite_web&action=edit" title="Template:Cite web">view source</a>) (protected)</li><li><a href="/wiki/Template:Commons_category" title="Template:Commons category">Template:Commons category</a> (<a href="/w/index.php?title=Template:Commons_category&action=edit" title="Template:Commons category">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:DMCA" class="mw-redirect" title="Template:DMCA">Template:DMCA</a> (<a href="/w/index.php?title=Template:DMCA&action=edit" class="mw-redirect" title="Template:DMCA">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Dated_maintenance_category" title="Template:Dated maintenance category">Template:Dated maintenance category</a> (<a href="/w/index.php?title=Template:Dated_maintenance_category&action=edit" title="Template:Dated maintenance category">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Dated_maintenance_category_(articles)" title="Template:Dated maintenance category (articles)">Template:Dated maintenance category (articles)</a> (<a href="/w/index.php?title=Template:Dated_maintenance_category_(articles)&action=edit" title="Template:Dated maintenance category (articles)">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Efn" title="Template:Efn">Template:Efn</a> (<a href="/w/index.php?title=Template:Efn&action=edit" title="Template:Efn">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Embedded_systems" title="Template:Embedded systems">Template:Embedded systems</a> (<a href="/w/index.php?title=Template:Embedded_systems&action=edit" title="Template:Embedded systems">edit</a>) </li><li><a href="/wiki/Template:Excerpt" title="Template:Excerpt">Template:Excerpt</a> (<a href="/w/index.php?title=Template:Excerpt&action=edit" title="Template:Excerpt">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Excerpt/styles.css" title="Template:Excerpt/styles.css">Template:Excerpt/styles.css</a> (<a href="/w/index.php?title=Template:Excerpt/styles.css&action=edit" title="Template:Excerpt/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:FULLROOTPAGENAME" title="Template:FULLROOTPAGENAME">Template:FULLROOTPAGENAME</a> (<a href="/w/index.php?title=Template:FULLROOTPAGENAME&action=edit" title="Template:FULLROOTPAGENAME">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Hatnote" title="Template:Hatnote">Template:Hatnote</a> (<a href="/w/index.php?title=Template:Hatnote&action=edit" title="Template:Hatnote">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Hlist/styles.css" title="Template:Hlist/styles.css">Template:Hlist/styles.css</a> (<a href="/w/index.php?title=Template:Hlist/styles.css&action=edit" title="Template:Hlist/styles.css">view source</a>) (protected)</li><li><a href="/wiki/Template:Icon" title="Template:Icon">Template:Icon</a> (<a href="/w/index.php?title=Template:Icon&action=edit" title="Template:Icon">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Infobox" title="Template:Infobox">Template:Infobox</a> (<a href="/w/index.php?title=Template:Infobox&action=edit" title="Template:Infobox">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Infobox_programming_language" title="Template:Infobox programming language">Template:Infobox programming language</a> (<a href="/w/index.php?title=Template:Infobox_programming_language&action=edit" title="Template:Infobox programming language">view source</a>) (semi-protected)</li><li><a href="/wiki/Template:Infobox_software/simple" title="Template:Infobox software/simple">Template:Infobox software/simple</a> (<a href="/w/index.php?title=Template:Infobox_software/simple&action=edit" title="Template:Infobox software/simple">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:MONTHNAME" title="Template:MONTHNAME">Template:MONTHNAME</a> (<a href="/w/index.php?title=Template:MONTHNAME&action=edit" title="Template:MONTHNAME">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:MONTHNUMBER" title="Template:MONTHNUMBER">Template:MONTHNUMBER</a> (<a href="/w/index.php?title=Template:MONTHNUMBER&action=edit" title="Template:MONTHNUMBER">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Main_other" title="Template:Main other">Template:Main other</a> (<a href="/w/index.php?title=Template:Main_other&action=edit" title="Template:Main other">view source</a>) (protected)</li><li><a href="/wiki/Template:N/a" title="Template:N/a">Template:N/a</a> (<a href="/w/index.php?title=Template:N/a&action=edit" title="Template:N/a">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Navbox" title="Template:Navbox">Template:Navbox</a> (<a href="/w/index.php?title=Template:Navbox&action=edit" title="Template:Navbox">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Nobold" title="Template:Nobold">Template:Nobold</a> (<a href="/w/index.php?title=Template:Nobold&action=edit" title="Template:Nobold">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Nobold/styles.css" title="Template:Nobold/styles.css">Template:Nobold/styles.css</a> (<a href="/w/index.php?title=Template:Nobold/styles.css&action=edit" title="Template:Nobold/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Not_a_typo" title="Template:Not a typo">Template:Not a typo</a> (<a href="/w/index.php?title=Template:Not_a_typo&action=edit" title="Template:Not a typo">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Notelist" title="Template:Notelist">Template:Notelist</a> (<a href="/w/index.php?title=Template:Notelist&action=edit" title="Template:Notelist">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Ns_has_subpages" title="Template:Ns has subpages">Template:Ns has subpages</a> (<a href="/w/index.php?title=Template:Ns_has_subpages&action=edit" title="Template:Ns has subpages">view source</a>) (protected)</li><li><a href="/wiki/Template:Pagetype" title="Template:Pagetype">Template:Pagetype</a> (<a href="/w/index.php?title=Template:Pagetype&action=edit" title="Template:Pagetype">view source</a>) (protected)</li><li><a href="/wiki/Template:Pascal_programming_language_family" title="Template:Pascal programming language family">Template:Pascal programming language family</a> (<a href="/w/index.php?title=Template:Pascal_programming_language_family&action=edit" title="Template:Pascal programming language family">edit</a>) </li><li><a href="/wiki/Template:Plainlist/styles.css" title="Template:Plainlist/styles.css">Template:Plainlist/styles.css</a> (<a href="/w/index.php?title=Template:Plainlist/styles.css&action=edit" title="Template:Plainlist/styles.css">view source</a>) (protected)</li><li><a href="/wiki/Template:Portal" title="Template:Portal">Template:Portal</a> (<a href="/w/index.php?title=Template:Portal&action=edit" title="Template:Portal">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Programming_languages" title="Template:Programming languages">Template:Programming languages</a> (<a href="/w/index.php?title=Template:Programming_languages&action=edit" title="Template:Programming languages">edit</a>) </li><li><a href="/wiki/Template:Proper_name" class="mw-redirect" title="Template:Proper name">Template:Proper name</a> (<a href="/w/index.php?title=Template:Proper_name&action=edit" class="mw-redirect" title="Template:Proper name">view source</a>) (extended confirmed protected)</li><li><a href="/wiki/Template:Refbegin" title="Template:Refbegin">Template:Refbegin</a> (<a href="/w/index.php?title=Template:Refbegin&action=edit" title="Template:Refbegin">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Refbegin/styles.css" title="Template:Refbegin/styles.css">Template:Refbegin/styles.css</a> (<a href="/w/index.php?title=Template:Refbegin/styles.css&action=edit" title="Template:Refbegin/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Refend" title="Template:Refend">Template:Refend</a> (<a href="/w/index.php?title=Template:Refend&action=edit" title="Template:Refend">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Reflist" title="Template:Reflist">Template:Reflist</a> (<a href="/w/index.php?title=Template:Reflist&action=edit" title="Template:Reflist">view source</a>) (protected)</li><li><a href="/wiki/Template:Reflist/styles.css" title="Template:Reflist/styles.css">Template:Reflist/styles.css</a> (<a href="/w/index.php?title=Template:Reflist/styles.css&action=edit" title="Template:Reflist/styles.css">view source</a>) (protected)</li><li><a href="/wiki/Template:Replace" title="Template:Replace">Template:Replace</a> (<a href="/w/index.php?title=Template:Replace&action=edit" title="Template:Replace">view source</a>) (protected)</li><li><a href="/wiki/Template:SDcat" title="Template:SDcat">Template:SDcat</a> (<a href="/w/index.php?title=Template:SDcat&action=edit" title="Template:SDcat">view source</a>) (protected)</li><li><a href="/wiki/Template:Short_description" title="Template:Short description">Template:Short description</a> (<a href="/w/index.php?title=Template:Short_description&action=edit" title="Template:Short description">view source</a>) (protected)</li><li><a href="/wiki/Template:Short_description/lowercasecheck" title="Template:Short description/lowercasecheck">Template:Short description/lowercasecheck</a> (<a href="/w/index.php?title=Template:Short_description/lowercasecheck&action=edit" title="Template:Short description/lowercasecheck">view source</a>) (protected)</li><li><a href="/wiki/Template:Sic" title="Template:Sic">Template:Sic</a> (<a href="/w/index.php?title=Template:Sic&action=edit" title="Template:Sic">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Side_box" title="Template:Side box">Template:Side box</a> (<a href="/w/index.php?title=Template:Side_box&action=edit" title="Template:Side box">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Sister-inline" title="Template:Sister-inline">Template:Sister-inline</a> (<a href="/w/index.php?title=Template:Sister-inline&action=edit" title="Template:Sister-inline">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Sister_project" title="Template:Sister project">Template:Sister project</a> (<a href="/w/index.php?title=Template:Sister_project&action=edit" title="Template:Sister project">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Sister_project/styles.css" title="Template:Sister project/styles.css">Template:Sister project/styles.css</a> (<a href="/w/index.php?title=Template:Sister_project/styles.css&action=edit" title="Template:Sister project/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Start_date_and_age" title="Template:Start date and age">Template:Start date and age</a> (<a href="/w/index.php?title=Template:Start_date_and_age&action=edit" title="Template:Start date and age">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Template_other" title="Template:Template other">Template:Template other</a> (<a href="/w/index.php?title=Template:Template_other&action=edit" title="Template:Template other">view source</a>) (protected)</li><li><a href="/wiki/Template:Tooltip" title="Template:Tooltip">Template:Tooltip</a> (<a href="/w/index.php?title=Template:Tooltip&action=edit" title="Template:Tooltip">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Tooltip/styles.css" title="Template:Tooltip/styles.css">Template:Tooltip/styles.css</a> (<a href="/w/index.php?title=Template:Tooltip/styles.css&action=edit" title="Template:Tooltip/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Trim" title="Template:Trim">Template:Trim</a> (<a href="/w/index.php?title=Template:Trim&action=edit" title="Template:Trim">view source</a>) (protected)</li><li><a href="/wiki/Template:URL" title="Template:URL">Template:URL</a> (<a href="/w/index.php?title=Template:URL&action=edit" title="Template:URL">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Wikibooks" title="Template:Wikibooks">Template:Wikibooks</a> (<a href="/w/index.php?title=Template:Wikibooks&action=edit" title="Template:Wikibooks">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Wikibooks_inline" title="Template:Wikibooks inline">Template:Wikibooks inline</a> (<a href="/w/index.php?title=Template:Wikibooks_inline&action=edit" title="Template:Wikibooks inline">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Wikisourcecat" title="Template:Wikisourcecat">Template:Wikisourcecat</a> (<a href="/w/index.php?title=Template:Wikisourcecat&action=edit" title="Template:Wikisourcecat">view source</a>) (semi-protected)</li><li><a href="/wiki/Template:Wikiversity" title="Template:Wikiversity">Template:Wikiversity</a> (<a href="/w/index.php?title=Template:Wikiversity&action=edit" title="Template:Wikiversity">view source</a>) (semi-protected)</li><li><a href="/wiki/Template:Years_or_months_ago" title="Template:Years or months ago">Template:Years or months ago</a> (<a href="/w/index.php?title=Template:Years_or_months_ago&action=edit" title="Template:Years or months ago">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Yesno" title="Template:Yesno">Template:Yesno</a> (<a href="/w/index.php?title=Template:Yesno&action=edit" title="Template:Yesno">view source</a>) (protected)</li><li><a href="/wiki/Template:Yesno-no" title="Template:Yesno-no">Template:Yesno-no</a> (<a href="/w/index.php?title=Template:Yesno-no&action=edit" title="Template:Yesno-no">view source</a>) (template editor protected)</li><li><a href="/wiki/Template:Yesno-yes" title="Template:Yesno-yes">Template:Yesno-yes</a> (<a href="/w/index.php?title=Template:Yesno-yes&action=edit" title="Template:Yesno-yes">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Anchor" title="Module:Anchor">Module:Anchor</a> (<a href="/w/index.php?title=Module:Anchor&action=edit" title="Module:Anchor">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Arguments" title="Module:Arguments">Module:Arguments</a> (<a href="/w/index.php?title=Module:Arguments&action=edit" title="Module:Arguments">view source</a>) (protected)</li><li><a href="/wiki/Module:Authority_control" title="Module:Authority control">Module:Authority control</a> (<a href="/w/index.php?title=Module:Authority_control&action=edit" title="Module:Authority control">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Authority_control/config" title="Module:Authority control/config">Module:Authority control/config</a> (<a href="/w/index.php?title=Module:Authority_control/config&action=edit" title="Module:Authority control/config">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Check_for_unknown_parameters" title="Module:Check for unknown parameters">Module:Check for unknown parameters</a> (<a href="/w/index.php?title=Module:Check_for_unknown_parameters&action=edit" title="Module:Check for unknown parameters">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1" title="Module:Citation/CS1">Module:Citation/CS1</a> (<a href="/w/index.php?title=Module:Citation/CS1&action=edit" title="Module:Citation/CS1">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/COinS" title="Module:Citation/CS1/COinS">Module:Citation/CS1/COinS</a> (<a href="/w/index.php?title=Module:Citation/CS1/COinS&action=edit" title="Module:Citation/CS1/COinS">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/Configuration" title="Module:Citation/CS1/Configuration">Module:Citation/CS1/Configuration</a> (<a href="/w/index.php?title=Module:Citation/CS1/Configuration&action=edit" title="Module:Citation/CS1/Configuration">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/Date_validation" title="Module:Citation/CS1/Date validation">Module:Citation/CS1/Date validation</a> (<a href="/w/index.php?title=Module:Citation/CS1/Date_validation&action=edit" title="Module:Citation/CS1/Date validation">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/Identifiers" title="Module:Citation/CS1/Identifiers">Module:Citation/CS1/Identifiers</a> (<a href="/w/index.php?title=Module:Citation/CS1/Identifiers&action=edit" title="Module:Citation/CS1/Identifiers">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/Utilities" title="Module:Citation/CS1/Utilities">Module:Citation/CS1/Utilities</a> (<a href="/w/index.php?title=Module:Citation/CS1/Utilities&action=edit" title="Module:Citation/CS1/Utilities">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/Whitelist" title="Module:Citation/CS1/Whitelist">Module:Citation/CS1/Whitelist</a> (<a href="/w/index.php?title=Module:Citation/CS1/Whitelist&action=edit" title="Module:Citation/CS1/Whitelist">view source</a>) (protected)</li><li><a href="/wiki/Module:Citation/CS1/styles.css" title="Module:Citation/CS1/styles.css">Module:Citation/CS1/styles.css</a> (<a href="/w/index.php?title=Module:Citation/CS1/styles.css&action=edit" title="Module:Citation/CS1/styles.css">view source</a>) (protected)</li><li><a href="/wiki/Module:Disambiguation/templates" title="Module:Disambiguation/templates">Module:Disambiguation/templates</a> (<a href="/w/index.php?title=Module:Disambiguation/templates&action=edit" title="Module:Disambiguation/templates">view source</a>) (protected)</li><li><a href="/wiki/Module:EditAtWikidata" title="Module:EditAtWikidata">Module:EditAtWikidata</a> (<a href="/w/index.php?title=Module:EditAtWikidata&action=edit" title="Module:EditAtWikidata">view source</a>) (protected)</li><li><a href="/wiki/Module:Excerpt" title="Module:Excerpt">Module:Excerpt</a> (<a href="/w/index.php?title=Module:Excerpt&action=edit" title="Module:Excerpt">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Excerpt/config" title="Module:Excerpt/config">Module:Excerpt/config</a> (<a href="/w/index.php?title=Module:Excerpt/config&action=edit" title="Module:Excerpt/config">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Hatnote" title="Module:Hatnote">Module:Hatnote</a> (<a href="/w/index.php?title=Module:Hatnote&action=edit" title="Module:Hatnote">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Hatnote/styles.css" title="Module:Hatnote/styles.css">Module:Hatnote/styles.css</a> (<a href="/w/index.php?title=Module:Hatnote/styles.css&action=edit" title="Module:Hatnote/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Icon" title="Module:Icon">Module:Icon</a> (<a href="/w/index.php?title=Module:Icon&action=edit" title="Module:Icon">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Icon/data" title="Module:Icon/data">Module:Icon/data</a> (<a href="/w/index.php?title=Module:Icon/data&action=edit" title="Module:Icon/data">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Infobox" title="Module:Infobox">Module:Infobox</a> (<a href="/w/index.php?title=Module:Infobox&action=edit" title="Module:Infobox">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Infobox/styles.css" title="Module:Infobox/styles.css">Module:Infobox/styles.css</a> (<a href="/w/index.php?title=Module:Infobox/styles.css&action=edit" title="Module:Infobox/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:InfoboxImage" title="Module:InfoboxImage">Module:InfoboxImage</a> (<a href="/w/index.php?title=Module:InfoboxImage&action=edit" title="Module:InfoboxImage">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Navbar" title="Module:Navbar">Module:Navbar</a> (<a href="/w/index.php?title=Module:Navbar&action=edit" title="Module:Navbar">view source</a>) (protected)</li><li><a href="/wiki/Module:Navbar/configuration" title="Module:Navbar/configuration">Module:Navbar/configuration</a> (<a href="/w/index.php?title=Module:Navbar/configuration&action=edit" title="Module:Navbar/configuration">view source</a>) (protected)</li><li><a href="/wiki/Module:Navbar/styles.css" title="Module:Navbar/styles.css">Module:Navbar/styles.css</a> (<a href="/w/index.php?title=Module:Navbar/styles.css&action=edit" title="Module:Navbar/styles.css">view source</a>) (protected)</li><li><a href="/wiki/Module:Navbox" title="Module:Navbox">Module:Navbox</a> (<a href="/w/index.php?title=Module:Navbox&action=edit" title="Module:Navbox">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Navbox/configuration" title="Module:Navbox/configuration">Module:Navbox/configuration</a> (<a href="/w/index.php?title=Module:Navbox/configuration&action=edit" title="Module:Navbox/configuration">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Navbox/styles.css" title="Module:Navbox/styles.css">Module:Navbox/styles.css</a> (<a href="/w/index.php?title=Module:Navbox/styles.css&action=edit" title="Module:Navbox/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Ns_has_subpages" title="Module:Ns has subpages">Module:Ns has subpages</a> (<a href="/w/index.php?title=Module:Ns_has_subpages&action=edit" title="Module:Ns has subpages">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype" title="Module:Pagetype">Module:Pagetype</a> (<a href="/w/index.php?title=Module:Pagetype&action=edit" title="Module:Pagetype">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype/config" title="Module:Pagetype/config">Module:Pagetype/config</a> (<a href="/w/index.php?title=Module:Pagetype/config&action=edit" title="Module:Pagetype/config">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype/disambiguation" class="mw-redirect" title="Module:Pagetype/disambiguation">Module:Pagetype/disambiguation</a> (<a href="/w/index.php?title=Module:Pagetype/disambiguation&action=edit" class="mw-redirect" title="Module:Pagetype/disambiguation">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype/rfd" title="Module:Pagetype/rfd">Module:Pagetype/rfd</a> (<a href="/w/index.php?title=Module:Pagetype/rfd&action=edit" title="Module:Pagetype/rfd">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype/setindex" title="Module:Pagetype/setindex">Module:Pagetype/setindex</a> (<a href="/w/index.php?title=Module:Pagetype/setindex&action=edit" title="Module:Pagetype/setindex">view source</a>) (protected)</li><li><a href="/wiki/Module:Pagetype/softredirect" title="Module:Pagetype/softredirect">Module:Pagetype/softredirect</a> (<a href="/w/index.php?title=Module:Pagetype/softredirect&action=edit" title="Module:Pagetype/softredirect">view source</a>) (protected)</li><li><a href="/wiki/Module:Portal" title="Module:Portal">Module:Portal</a> (<a href="/w/index.php?title=Module:Portal&action=edit" title="Module:Portal">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Portal/images/c" title="Module:Portal/images/c">Module:Portal/images/c</a> (<a href="/w/index.php?title=Module:Portal/images/c&action=edit" title="Module:Portal/images/c">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Portal/styles.css" title="Module:Portal/styles.css">Module:Portal/styles.css</a> (<a href="/w/index.php?title=Module:Portal/styles.css&action=edit" title="Module:Portal/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:SDcat" title="Module:SDcat">Module:SDcat</a> (<a href="/w/index.php?title=Module:SDcat&action=edit" title="Module:SDcat">view source</a>) (protected)</li><li><a href="/wiki/Module:Side_box" title="Module:Side box">Module:Side box</a> (<a href="/w/index.php?title=Module:Side_box&action=edit" title="Module:Side box">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Side_box/styles.css" title="Module:Side box/styles.css">Module:Side box/styles.css</a> (<a href="/w/index.php?title=Module:Side_box/styles.css&action=edit" title="Module:Side box/styles.css">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:String" title="Module:String">Module:String</a> (<a href="/w/index.php?title=Module:String&action=edit" title="Module:String">view source</a>) (protected)</li><li><a href="/wiki/Module:TNT" title="Module:TNT">Module:TNT</a> (<a href="/w/index.php?title=Module:TNT&action=edit" title="Module:TNT">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:TableTools" title="Module:TableTools">Module:TableTools</a> (<a href="/w/index.php?title=Module:TableTools&action=edit" title="Module:TableTools">view source</a>) (protected)</li><li><a href="/wiki/Module:Transcluder" title="Module:Transcluder">Module:Transcluder</a> (<a href="/w/index.php?title=Module:Transcluder&action=edit" title="Module:Transcluder">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:URL" title="Module:URL">Module:URL</a> (<a href="/w/index.php?title=Module:URL&action=edit" title="Module:URL">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:WikidataIB" title="Module:WikidataIB">Module:WikidataIB</a> (<a href="/w/index.php?title=Module:WikidataIB&action=edit" title="Module:WikidataIB">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:WikidataIB/nolinks" title="Module:WikidataIB/nolinks">Module:WikidataIB/nolinks</a> (<a href="/w/index.php?title=Module:WikidataIB/nolinks&action=edit" title="Module:WikidataIB/nolinks">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:WikidataIB/titleformats" title="Module:WikidataIB/titleformats">Module:WikidataIB/titleformats</a> (<a href="/w/index.php?title=Module:WikidataIB/titleformats&action=edit" title="Module:WikidataIB/titleformats">view source</a>) (template editor protected)</li><li><a href="/wiki/Module:Wikitext_Parsing" title="Module:Wikitext Parsing">Module:Wikitext Parsing</a> (<a href="/w/index.php?title=Module:Wikitext_Parsing&action=edit" title="Module:Wikitext Parsing">view source</a>) (protected)</li><li><a href="/wiki/Module:Yesno" title="Module:Yesno">Module:Yesno</a> (<a href="/w/index.php?title=Module:Yesno&action=edit" title="Module:Yesno">view source</a>) (protected)</li></ul></div><p id="mw-returnto">Return to <a href="/wiki/Ada_(programming_language)" title="Ada (programming language)">Ada (programming language)</a>.</p> <noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikipedia.org/wiki/Ada_(programming_language)">https://en.wikipedia.org/wiki/Ada_(programming_language)</a>"</div></div> <div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:About">About Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:General_disclaimer">Disclaimers</a></li> <li id="footer-places-contact"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us">Contact Wikipedia</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikipedia.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikipedia.org/w/index.php?title=Ada_(programming_language)&action=edit&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-9dtxv","wgBackendResponseTime":322,"wgPageParseReport":{"limitreport":{"cputime":"0.053","walltime":"0.070","ppvisitednodes":{"value":418,"limit":1000000},"postexpandincludesize":{"value":17740,"limit":2097152},"templateargumentsize":{"value":6556,"limit":2097152},"expansiondepth":{"value":9,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":469,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 49.120 1 -total"," 99.87% 49.055 2 Template:Blocked_text"," 40.91% 20.095 2 Template:Replace"," 39.01% 19.164 1 Template:Colocationwebhost"," 35.27% 17.323 1 Template:Hidden"," 15.15% 7.444 1 Template:Hidden_begin"," 14.40% 7.073 1 Template:Tlx"," 2.21% 1.087 1 MediaWiki:Wikimedia-globalblocking-blockedtext-mistake"," 2.12% 1.040 1 Template:Hidden_end"," 1.82% 0.895 1 MediaWiki:Wikimedia-globalblocking-blockedtext-mistake-email-steward"]},"scribunto":{"limitreport-timeusage":{"value":"0.010","limit":"10.000"},"limitreport-memusage":{"value":1043334,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-f69cdc8f6-9dtxv","timestamp":"20241123230921","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>