De lijsten voor ada is een bibliotheek verstrekt een tenuitvoerlegging van lijsten door koorden worden geïndexeerd dat. Het binaire onderzoek wordt gebruikt naar namen van bekende lengte. Het is ook mogelijk om een lijst naar namen van onbekende lengte te zoeken, d.w.z. een koord te ontleden dat één of andere lijst gebruikt. De elementen van de lijst kunnen van om het even welk privé type zijn. De zeer belangrijke ongevoelige lijsten worden gesteund.

Wat in Deze Versie Nieuw is:

· GPS de projectdossiers werden toegevoegd voor de gebruikers van de MUG.

De eenvoudige componenten voor ada bibliotheek is vrije software; u kunt het opnieuw verdelen en/of het wijzigen in het kader van de termijnen van de Vergunning van het Grote Publiek van GNU zoals die door Free Software Foundation worden gepubliceerd; of versie 2 van de Vergunning, of (bij uw optie) om het even welke recentere versie.

Deze bibliotheek wordt verdeeld in de hoop dat het, maar ZONDER ENIGE GARANTIE nuttig zal zijn; zonder zelfs de impliciete garantie van MERCHANTABILITY of GESCHIKTHEID VOOR een BEPAALD DOEL. Zie de Vergunning van het Grote Publiek van GNU voor meer details.

Als speciale uitzondering, als andere dossiers generics van deze eenheid concretiseren, of u verbindt deze eenheid met andere dossiers om uitvoerbaar te produceren, wordt deze eenheid niet alleen oorzaak uitvoerbaar voortvloeien behandeld door de Vergunning van het Grote Publiek van GNU.

Deze uitzondering nochtans maakt een andere redenen niet ongeldig waarom het uitvoerbare dossier door de Openbare Vergunning van GNU zou kunnen worden behandeld.

Wat in Deze Versie Nieuw is:

· De functies Is_In werden toegevoegd voor extra-verbonden Web en lijsten. GPS de projectdossiers werden toegevoegd voor de gebruikers van de MUG.

De eenheden van meting voor ada bibliotheek verstrekt een implementatie van afgemeten waarden voor Ada. De controles van de eenheid worden gemaakt bij run-time, als uit geoptimaliseerd niet door de compiler. Si en de onregelmatige metingseenheden worden gesteund.

De verplaatste eenheden zoals graden Celsius worden ook gesteund. De omzettingen van en terug naar koorden worden verstrekt voor alle diverse onregelmatige eenheden.

Hier zijn sommige zeer belangrijke eigenschappen van „Eenheden van meting voor Ada“:

· De typeEenheid duidt de afmeting van een fysieke entiteit aan. De typeMaatregel vertegenwoordigt een afgemeten waarde;
· Gemengde eenheidsrekenkunde. De waarden de eenheden in van Si (Le Système International dUnités) kunnen met onregelmatige eenheden (zoals voet en werf) worden gemengd zolang het resultaat wordt bepaald;
· Verplaatste eenheidssteun (een wijd gebruikt geval van een verplaatste eenheid is graad van Celsius);
· De typeMaatregel is generisch, de parameters bepaald van door een floating-point type. Een nietgenerische die versie op de typeVlotter wordt gebaseerd wordt ook verstrekt;
· Het koord om omzettingssteunen te meten plaatste zo wijd van onregelmatige eenheden mogelijk.
· Momenteel liggen de vermogen van de componenten van de basiseenheid in waaier -8..7. Deze beperking heeft een implementatiereden (afwezigheid van modulaire gehelen met 64 bits in vele ada compilers).

Wat in Deze Versie Nieuw is:

· De nadruk van deze versie is op steun GTK.
· Het verstrekt doos widget voor afgemeten waarden met een drop-down combo voor eenheidsselectie uitgeef.
· Widget kan aan een welomlijnde afmeting worden beperkt.
· Een de celrenderer van de boommening van afgemeten waarden wordt verstrekt, evenals een steekproefprogramma om waarden van één afmeting aan een andere in kaart te brengen.

adanetcdf is het project ada-95 bindend aan de netcdfbibliotheek.

Wat in Deze Versie Nieuw is:

· toegevoegde `varead voor enige vraagextractie van vectoren en matrijzen van

Niliada is een bibliotheek van lisp-Gelijkaardige voorwerpen in ada-95.

Het kenmerkt echt - tijdvuilnisman. De bibliotheek van Niliada is nuttig voor massaal multithreaded toepassingen in een opdracht kritiek milieu.

Bibliotheek van de Componenten van de toepassing bestaat (ASCL) de Standaard uit een reeks opnieuw te gebruiken ada pakketten. De nadruk is niet op lichtgewichtcomponenten maar grotere componenten zoals een configuratiemanager en een CLI toepassingsmilieu dat al argument het ontleden doet.

Het omvat ook een bouwstijlmilieu voor Linux die kan onafhankelijk van de daadwerkelijke broncode worden bijgewerkt en worden gehandhaafd. Het steunt het persoonlijke softwareproces voor ada programmering.

WIPORT is een laag over de bibliotheek van de grxgrafiek die een eenvoudige die GUI API van memoriseren van de voorwerpen voorziet in de diverse vensters worden getoond.

Dit maakt het opnieuw tekenen van en de druk van aan scalable PostScript vertegenwoordiging gemakkelijk te doen. Dank aan de programma's van de grxbibliotheek, die WIPORT gebruiken werkt identiek aan de grafische console van Dos, Linux+svgalib, en Linux+X11. WIPORT wordt geschreven in C en komt met ada-95 bindend.

AdaSockets is een bibliotheek die u de contactdozen van BSD van ada (TCP, UDP en multicast) laat gebruiken.

Installatie:

% ./configure --prefix=
% maken installeren

Dit zal deze software onder /lib/adasockets bouwen en installeren. Het adasockets-configprogramma en zijn bijbehorende mensenpagina zullen worden geïnstalleerd respectievelijk onder < om het even welke folder >/bin en < om het even welke folder >/man/

In voorbeeldensubdirectory, zult u een voorbeeld genoemd „tcprelay“ vinden dat illustreert hoe dit pakket kan worden gebruikt.

GNU maakt is niet strikt noodzakelijk maar wordt geadviseerd. Het is nodig als u de documentatie wilt herbouwen.

Wat in Deze Versie Nieuw is:

· Glitch van de verpakking wordt nu bevestigd, dankt aan Dani voor het melden van het.

Glib Bindende bibliotheek van Eigenschappen voegt een implementatie van het binden van eigenschappen aan GLib toe/GTK+ bibliotheek (het omvat ook ada 95 voor de banden van GtkAda GTK, werd GtkAda gemaakt door ACT corp.)

Binden van eigenschappen is automatisch synchroniserend waarden van verscheidene eigenschappen om hun waarden aan elkaar navenant te houden, zodat wanneer een bezit verandert de eigenschappen verbindend met het automatisch dienovereenkomstig veranderen. Ook worden de banden met de functies van de waardetransformatie gesteund.

Het binden van eigenschappen vermindert veel ontwikkelingstijd van Desktoptoepassingen en verhoogt betrouwbaarheid zoals bevrijdt u van tijdrovende en feilbare schrijvende callback managers van bezitsveranderingen. (Waarschijnlijk is de verkeerde managers van de bezitsverandering de vaakst oorzaak van fouten in toepassingen GUI!)

Huidige versie 0.9.1 is een alpha- versie. Gelieve te testen het.

De Reinigingsmachine XML is een nut van de bevellijn aan filter en bevestigt Xml- dossiers.

De Reinigingsmachine XML wordt geschreven in ada 9X en zo het eerder snel.

De Reinigingsmachine XML is een filter XML en validator, een gelijkend op xmllint. Het kan superfluos namespace verklaringen verwijderen uit een Xml- dossier, entiteiten uitbreiden XML, Xml- dossiers, en meer opnieuw coderen.

Hier zijn sommige zeer belangrijke eigenschappen van „Reinigingsmachine XML“:

· verwijdert overtollige namespaceverklaringen;
· De steun van Unicode;
· (Uit te voeren meer: Bevestiging XML, canonicalization XML, het opnieuw invoeren, whitespace verwijdering, commentarenverwijdering, XML charset het opnieuw coderen, verwerking XInclude, inplace dossierwijziging, enz. De Reinigingsmachine XML moet in een volledig gekenmerkt bevel lijnXML filter en validator kweken.)

De Reinigingsmachine XML wordt ontwikkeld om xmllint vervanging te worden.

Wat in Deze Versie Nieuw is:

· Een optie werd verkiezen om al dan niet om aan weglatingstekens en citaten in output te ontsnappen toegevoegd.

De eenvoudige Laag DirectMedia is een dwars-platformbibliotheek van verschillende media die wordt gebouwd om lage toegang tot audio, toetsenbord, muis, bedieningshendel, 3D hardware via OpenGL, en 2D video te verlenen framebuffer. SDL wordt gebruikt door MPEG playbacksoftware, mededingers, en vele populaire spelen, met inbegrip van de toekenning die haven Linux van „Beschaving winnen: Vraag aan Macht.“

De eenvoudige steunen Linux, Vensters van de Laag DirectMedia, BeOS, de Schrijver uit de klassieke oudheid van MacOs, MacOs X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, en QNX. Er zijn ook code, maar geen officiële steun, voor Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, en SymbianOS.

SDL wordt geschreven in C, maar werkt natively met C++, en heeft banden aan verscheidene andere talen, met inbegrip van Ada, Eiffel, Java, Lua, ml, Perl, PHP, Snoeken, Python, en Robijn.

Wat in Deze Versie Nieuw is:

· De dynamische X11 lading wordt slechts toegelaten met ondersteunend gcc 4 - fvisibility=hidden. Dit bevestigt neerstortingen met betrekking tot symboolbotsingen, en staat toe voortbouwend op Solaris en IRIX.
· De vaste bouw SDL met gehandicapten Xinerama.
· De vaste DRI OpenGL bibliotheeklading, die RTLD_GLOBAL gebruiken dlopen binnen ().
· Toegevoegde pkgconfig configuratiesteun.

SDL_mixer is een bibliotheek met meerdere kanalen van de steekproef audiomixer. SDL_mixer steunt om het even welk aantal van gelijktijdig het spelen van kanalen van stereoaudio met 16 bits, plus één enkel die kanaal van muziek, door populaire mod. MikMod, de Verlegenheid MIDI, Ogg Vorbis, en MP3 de bibliotheken SMPEG wordt gemengd.

De eenvoudige Laag DirectMedia is een dwars-platformbibliotheek van verschillende media die wordt gebouwd om lage toegang tot audio, toetsenbord, muis, bedieningshendel, 3D hardware via OpenGL, en 2D video te verlenen framebuffer. Het wordt gebruikt door MPEG playbacksoftware, mededingers, en vele populaire spelen, met inbegrip van de toekenning die haven Linux van „Beschaving winnen: Vraag aan Macht.“

De eenvoudige steunen Linux, Vensters van de Laag DirectMedia, BeOS, de Schrijver uit de klassieke oudheid van MacOs, MacOs X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, en QNX. Er zijn ook code, maar geen officiële steun, voor Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, en SymbianOS.

SDL wordt geschreven in C, maar werkt natively met C++, en heeft banden aan verscheidene andere talen, met inbegrip van Ada, Eiffel, Java, Lua, ml, Perl, PHP, Snoeken, Python, en Robijn.

De bibliotheek van SDL_net is een kleine het voorzien van een netwerkbibliotheek van het steekproef dwars-platform, met een de cliënt en de servertoepassing van het steekproefpraatje. De praatjecliënt gebruikt de het kaderbibliotheek van GUIlib GUI.

De eenvoudige Laag DirectMedia is een dwars-platformbibliotheek van verschillende media die wordt gebouwd om lage toegang tot audio, toetsenbord, muis, bedieningshendel, 3D hardware via OpenGL, en 2D video te verlenen framebuffer. Het wordt gebruikt door MPEG playbacksoftware, mededingers, en vele populaire spelen, met inbegrip van de toekenning die haven Linux van „Beschaving winnen: Vraag aan Macht.“

De eenvoudige steunen Linux, Vensters van de Laag DirectMedia, BeOS, de Schrijver uit de klassieke oudheid van MacOs, MacOs X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, en QNX. Er zijn ook code, maar geen officiële steun, voor Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, en SymbianOS.

SDL wordt geschreven in C, maar werkt natively met C++, en heeft banden aan verscheidene andere talen, met inbegrip van Ada, Eiffel, Java, Lua, ml, Perl, PHP, Snoeken, Python, en Robijn.

SDL_ttf is een steekproefbibliotheek die u toestaat om doopvonten TrueType in uw toepassingen te gebruiken SDL. De bibliotheek van SDL_ttf komt met een voorbeeldprogramma „showfont“ dat een voorbeeldkoord voor een bepaald TrueType doopvontdossier toont.

Pak uit en bouw. Loop „showfont fontfile“ om een doopvont te tonen gebruikend de bibliotheek.

De eenvoudige Laag DirectMedia is een dwars-platformbibliotheek van verschillende media die wordt gebouwd om lage toegang tot audio, toetsenbord, muis, bedieningshendel, 3D hardware via OpenGL, en 2D video te verlenen framebuffer. Het wordt gebruikt door MPEG playbacksoftware, mededingers, en vele populaire spelen, met inbegrip van de toekenning die haven Linux van „Beschaving winnen: Vraag aan Macht.“

De eenvoudige steunen Linux, Vensters van de Laag DirectMedia, BeOS, de Schrijver uit de klassieke oudheid van MacOs, MacOs X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, en QNX. Er zijn ook code, maar geen officiële steun, voor Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, en SymbianOS.

SDL wordt geschreven in C, maar werkt natively met C++, en heeft banden aan verscheidene andere talen, met inbegrip van Ada, Eiffel, Java, Lua, ml, Perl, PHP, Snoeken, Python, en Robijn.

SDL_image is een de ladingsbibliotheek van het beelddossier. SDL_image laadt beelden als oppervlakten SDL, en ondersteunt de volgende formaten: BMP, PNM, LBM, PCX, XPM, GIF, JPEG, PNG, TGA.

Pak uit en bouw. Stel „imagefile showimage in werking“ om een beeld te tonen gebruikend de bibliotheek.
Nota: Als u op de Schrijver uit de klassieke oudheid van MacOs voortbouwt, kunt u de pre-gebouwde versies van libpng en libz voor de steun van PNG willen.

De eenvoudige Laag DirectMedia is een dwars-platformbibliotheek van verschillende media die wordt gebouwd om lage toegang tot audio, toetsenbord, muis, bedieningshendel, 3D hardware via OpenGL, en 2D video te verlenen framebuffer. Het wordt gebruikt door MPEG playbacksoftware, mededingers, en vele populaire spelen, met inbegrip van de toekenning die haven Linux van „Beschaving winnen: Vraag aan Macht.“

De eenvoudige steunen Linux, Vensters van de Laag DirectMedia, BeOS, de Schrijver uit de klassieke oudheid van MacOs, MacOs X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, en QNX. Er zijn ook code, maar geen officiële steun, voor Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, en SymbianOS.

SDL wordt geschreven in C, maar werkt natively met C++, en heeft banden aan verscheidene andere talen, met inbegrip van Ada, Eiffel, Java, Lua, ml, Perl, PHP, Snoeken, Python, en Robijn.

GlGuiA is een reeks ada pakketten voor het creëren van grafisch gebruikersinterface. Het verstrekt een volledige en verlengbare reeks grafische punten (widgets), zoals knopen, schalen, bomen, berichtvakjes, en dialoogvakjes.

Het zou eerder gemakkelijk moeten zijn om nieuwe voorwerpen van bestaande degenen tot stand te brengen. Om platformonafhankelijkheid te bereiken, baseert de bibliotheek zich op OpenGl voor tekeningsprimitieven. De basis gebeurtenis en het vensterbeheer worden gedaan gebruikend Glfw.

Wat in Deze Versie Nieuw is:

· de op openGLbetrekking hebbende specificaties zijn verdeeld.
· Het gebruikt niet meer OVERVLOED, maar in plaats daarvan Glfw voor laag vensters en gebeurtenissenbeheer.
· De veel betere doopvont behandeling, en de basisdecoratie zijn toegevoegd aan tekst.
· Toegevoegde de manipulaties van de mening: muis beweging + middenknoop (panmening) en muiswiel (gezoemmening).
· Een lijningang widget aan input single-line teksten is toegevoegd.
· Activeer met een muis klikken, bevestigen met binnengaan of linker-klik, en annuleren met vlucht of met de rechtermuisknop aanklikken.

AdaControl is een vrij hulpmiddel (van GMGPL) dat het gebruik van diverse soorten concepten in ada programma's ontdekt. Is het eerste doel van AdaControls juist gebruik van stijl of programmeringsregels te controleren, maar het kan ook als krachtig hulpmiddel aan onderzoek naar gebruik (of niet-gebruik) van diverse vormen worden gebruikt van de programmering van stijlen of ontwerppatronen. De gezochte elementen strekken zich van zeer eenvoudig, als het voorkomen van certaineentiteiten uit, verklaringen, of verklaringen, aan zeer verfijnd, als het verifiëren dat bepaalde programmeringspatronen. worden uitgevoerd.

Welke elementen of concepten wordt bepaald door een reeks regels worden gezocht; de volgende lijst geeft een korte die samenvatting van regels momenteel door AdaControl worden gecontroleerd. Het aantal na de regelnaam geeft tussen haakjes het aantal subrules, als om het even welk. Het overwegen van alle mogelijke regels en subrules, dit maakt 216 tests die momenteel door AdaControl kunnen worden uitgevoerd!

· Abnormal_Function_Return controleert een ontwerppatroon dat ervoor zorgt dat een functie altijd een resultaat terugkeert.
· Allocators controleert ocurrences van allocators, of allemaal, of die die gespecificeerde types richten.
· Array_Declarations (x2) controleert verscheidene metriek in serieverklaringen.
· De elementen van de Controles van Barrier_Expressions stonden in de uitdrukking van beschermde belemmeringen voor toetreding toe
· Case_Statement (x4) controleert verscheidene metriek voor het geval dat verklaringen.
· Control_Characters controleert voorkomen van controlekarakters (als lusjes) in de bron.
· De verklaringen (x75) controleert voorkomen van bepaalde ada verklaringen.
· Het subprogramma van de Controles van Default_Parameter roept en generische konkretiseringen die (of niet) de standaardwaarde voor een bepaalde parameter gebruiken.
· Directly_Accessed_Globals controleert een ontwerppatroon dat ervoor zorgt dat alle globale variabelen slechts door specifieke subprogramma's worden betreden.
· De entiteiten controleert voorkomen van om het even welke ada entiteit.
· Entity_Inside_Exception controleert voorkomen van entiteiten binnen uitzonderingsmanagers.
· Van Exception_Propagation (x4) de Controles dat bepaalde subprogramma's (of taken) geen uitzonderingen kunnen verspreiden, of dat geen uitwerking uitzonderingen kan verspreiden.
· De uitdrukkingen (x9) controleert gebruik van bepaalde vormen van uitdrukkingen
· Global_References controleert unsynchronized toegangen tot globale variabelen.
· Header_Comments (x2) controleert de aanwezigheid van commentaren bij het begin van elke module.
· If_For_Case controleert als verklaringen die door gevalverklaringen zouden kunnen worden vervangen.
· De konkretiseringen controleert generische konkretiseringen, of allemaal, of die die gespecificeerde entiteiten gebruiken.
· Insufficient_Parameters controleert het gebruik van positionele parameters in vraag waar de waarde geen voldoende informatie verstrekt.
· Local_Hiding controleert voorkomen van lokale herkenningstekens die identieke buiten verbergen.
· Local_Instantiation controleert konkretiseringen in lokaal werkingsgebied.
· Max_Blank_Lines controleert het voorkomen van een meer dan gespecificeerd aantal opeenvolgende lege lijnen.
· Max_Call_Depth controleert de maximumdiepte van subprogrammavraag.
· Max_Line_Length controleert maximale lengte van bronlijnen.
· Max_Nesting controleert meer diep genesteld werkingsgebied dan een bepaalde grens.
· Max_Parameters (x6) controleert de maximumaantallen parameters in opvraagbare entiteiten (procedures, functies en ingangen)
· Max_Statement_Nesting (x5) controleert samengestelde meer diep genestelde verklaringen dan een bepaalde grens.
· De verklaringen van de Controles van Movable_Accept_Statements die buiten zouden kunnen worden bewogen keuren verklaring goed.
· Naming_Convention controleert de vorm van toegestane (of verboden) namen in verklaringen.
· No_Safe_Initialization controleert een ontwerppatroon dat ervoor zorgt dat veranderlijk alvorens wordt gebruikt wordt geïnitialiseerdd.
· Non_Static (x3) controleert niet statische uitdrukkingen in index of discriminerende beperkingen, of in konkretiseringen.
· Not_Elaboration_Calls controleert subprogrammavraag van plaatsen buiten de code die van de pakketuitwerking wordt uitgevoerd.
· Other_Dependencies controleert semantische gebiedsdelen aan andere eenheden dan vermeld die
· Parameter_Aliasing controleert subprogramma's en ingangsvraag waar een variabele aan meer dan één [binnen] uit parameter wordt verstrekt.
· Potentially_Blocking_Operations controleert het gebruik van potentieel het blokkeren van verrichtingen van binnen beschermde verrichtingen.
· Pragmas controleert het gebruik van specifieke pragmas.
· Real_Operators controleert voorkomen van = of/= exploitanten op echte types.
· Reduceable_Scope controleert verklaringen die beweging zouden kunnen zijn aan meer diep genesteld werkingsgebied.
· Het voorkomen van de Controles van Representation_Clauses van vertegenwoordigingsclausules.
· Return_Type controleert het gebruik van bepaalde soorten types als terugkeersoorten functies.
· Het subprogramma van de Controles van Side_Effect_Parameters roept en generische konkretiseringen die functies met bijwerking roepen, waarbij een afhankelijkheid wordt gecre