OpenLLM-France/wikimedia huggingface dataset:
# Ada Programming/Libraries/Ada.Text IO.Unbounded IO

This language feature is only available from Ada 2005 on.
Ada.Text_IO.Unbounded_IO is a unit of the Predefined Language Environment since Ada 2005.

## See also
### Wikibook

* Ada Programming/Libraries/Ada
* Ada Programming/Strings

### External examples

* Search for examples of Ada.Text_IO.Unbounded_IO in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook.
* Search for posts related to Ada.Text_IO.Unbounded_IO in: Stack Overflow, comp.lang.ada or any Ada related page.

### Ada Reference Manual
#### Ada 2005

* A.10.12: Input-Output for Unbounded Strings

#### Ada 2012

* A.10.12: Input-Output for Unbounded Strings

### Open-Source Implementations

FSF GNAT
* Specification: a-tiunio.ads
drake
* Specification: textio/a-tiunio.ads
# Ada Programming/Libraries/Ada.Unchecked Conversion

This language feature is available from Ada 95 on.
Ada.Unchecked_Conversion is a unit of the Predefined Language Environment since Ada 95.

## See also
### Wikibook

* Ada Programming/Libraries/Ada
* Ada Programming/Type System#Unchecked conversion

### External examples

* Search for examples of Ada.Unchecked_Conversion in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook.
* Search for posts related to Ada.Unchecked_Conversion in: Stack Overflow, comp.lang.ada or any Ada related page.

### Ada Reference Manual
#### Ada 95

* 13.9: Unchecked Type Conversions

#### Ada 2005

* 13.9: Unchecked Type Conversions

#### Ada 2012

* 13.9: Unchecked Type Conversions

### Open-Source Implementations

FSF GNAT
* Specification: a-unccon.ads
drake
* Specification: a-unccon.ads
# Ada Programming/Libraries/Ada.Task Identification

This language feature is available from Ada 95 on.
Ada.Task_Identification is a unit of the Predefined Language Environment since Ada 95.

## See also
### Wikibook

* Ada Programming/Libraries/Ada

### External examples

* Search for examples of Ada.Task_Identification in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook.
* Search for posts related to Ada.Task_Identification in: Stack Overflow, comp.lang.ada or any Ada related page.

### Ada Reference Manual
#### Ada 95

* C.7.1: The Package Task_Identification

#### Ada 2005

* C.7.1: The Package Task_Identification

#### Ada 2012

* C.7.1: The Package Task_Identification

### Open-Source Implementations

FSF GNAT
* Specification: a-taside.ads
* Body: a-taside.adb
drake
* Specification: tasking/a-taside.ads
* Body: tasking/a-taside.adb
# Ada Programming/Libraries/Ada.Text IO.Text Streams

This language feature is available from Ada 95 on.
Ada.Text_IO.Text_Streams is a unit of the Predefined Language Environment since Ada 95.

## See also
### Wikibook

* Ada Programming/Libraries/Ada
* Ada Programming/Libraries/Ada.Streams
* Ada Programming/Input Output

### External examples

* Search for examples of Ada.Text_IO.Text_Streams in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook.
* Search for posts related to Ada.Text_IO.Text_Streams in: Stack Overflow, comp.lang.ada or any Ada related page.

### Ada Reference Manual
#### Ada 95

* A.12.2: The Package Text_IO.Text_Streams

#### Ada 2005

* A.12.2: The Package Text_IO.Text_Streams

#### Ada 2012

* A.12.2: The Package Text_IO.Text_Streams

### Open-Source Implementations

FSF GNAT
* Specification: a-titest.ads
* Body: a-titest.adb
drake
* Specification: streams/a-titest.ads
* Body: streams/a-titest.adb
# Automobile Repair/Saturn
## Models

* Saturn S-series (1991-2002)
* Saturn L-series (1999-2005)
* Saturn ION (2003-2007)
* Saturn VUE (2002-present)
* Saturn AURA (2007-present)
* Saturn OUTLOOK (2008-present)
* Saturn RELAY (2005-present)
* Saturn SKY (2007-present)
* Saturn Astra (2008-)
# Automobile Repair/Scope
## The Scope of this Section

Automotive vehicles are complex, and there have been tens of thousands of different models manufactured and sold since the model-T. The information required to comprehensively repair all of these models would take up a dozen university libraries. If you spend your life studying and practicing auto repair, you will likely only ever learn and focus on a tiny fraction of the knowledge necessary to sustain the complicated and varied auto industry.
There is no need to be intimidated by this. Your ability to repair a car will ultimately have much more to do with your dedication to learning how than with how good you do in the tests they give in school. Likewise, all successful auto mechanics are in the same boat as inexperienced you: despite their vast knowledge, there is much more to know about cars than they know. Yet they manage to repair cars anyway. How? Because a lot of the basics are the same, and because they specialize. And because where the basics are not the same, or where the systems go beyond their depth of knowledge, they know how and when to consult a reference, and when to hand the work to someone else.
That is what the "understand" section aims to teach you:
* The widely-shared basics within the specialty of most consumer cars manufactured within the last few decades.
* A sense of how much you don't know, and how to learn further about a subject if you would like
    The aim is to summarize systems, not make them out to be simpler than they are. Any simplification of a system must be accompanied by an awareness of how much information is being simplified, and directions to getting a more realistic picture.
* Knowledge of common go-to-references to use in the case of repairing a particular car.
* A sense for what cases in which you really do need to hand repairs to someone else.
This section does not aim to distract the reader with knowledge of:
* How to engage in purposes besides repair (such as car modding or upgrading)
* Basics common to what are niche markets, such as classic cars or racing cars. Most people learning about automotive repair will not be doing so to learn about those.
* Painstakingly in-depth knowledge of extremely complex systems, no matter how common they may be. Once more, the number of readers who need to know, and want to spend the time necessary to understand each and every intricacies of automatic transmission are a small number. Our goal is to summarize, give a general idea, and then allow the reader to go more in-depth if they'd like. However, again, when summarizing, the goal is to do so in a way that does mislead the reader as to the nature or complexity of these systems.
Please enjoy, add to, and refine this "understand" section. With time and dedication, anyone can develop the mental tools necessary to do productive automotive repair: basic knowledge, specialization, reference resourcefulness, and sense for when to step back.
# Automobile Repair/Volkswagen

Coolant change and flush.
A coolant flow diagram for a 1997 Jetta diesel would show coolant leaving the water pump and traveling through a 3/4 inch inside diameter hose, up the front of the engine, to the top of the engine block. There it either takes an easy path through the wide, upper radiator hose (only if the thermostat is open) or it flows directly into the engine. Hot coolant exits the driver's side of the engine head and goes to the exhaust gas recirculation (EGR) device to cool recycled smoke. This adds even more heat to the coolant. Next the coolant travels to the heater core in the dashboard. Finally the rubber coolant hose exits the dashboard and joins a metal line which returns coolant to the suction side of the water pump. Two skinny hoses direct bubbles to the top of the coolant reservoir as the system purges itself of flow-restricting air bubbles. The bottom of the coolant reservoir is T connected into the suction line to the water pump. The thermostat is in the water pump inlet and blocks incoming flow from the bottom radiator hose until the engine has reached the temperature at which the thermostat is designed to open 195 degrees Fahrenheit. A corroded thermostat can get stuck open which would prevent proper warm-up. Or, A thermostat can become stuck closed, which can cause overheating and boil over.

## 2001

* Golf
* GTI
# Automobile Repair/Research

When in trouble remain calm. Go and buy the book (assuming that one is available, and you do not already own it) and use your resources fully. Ask mechanically inclined friends for pointers and only sometimes for help. If that is not possible try the library. They usually have auto repair manuals for many different makes and models. If you have struck out at the library you could try an internet search engine: blogs,forums and owner's clubs - be specific in terms of make, model, year of manufacture, engine size and type, even trim. Chances are somebody has the same or similar car and may have gone through similar problems or can help if you post questions. Lastly, when you finally find out what is wrong and you have to go and purchase parts, do shop around (online parts distributors, brokers and of course your local scrap yards) it is worth it. However some jobs are best left to the certified mechanic, especially if your vehicle is still under warranty. Be sure to keep all of your receipts, many new and used parts have very good warranties!!! Okay, good luck and I hope this information helps.
# Automobile Repair/Toyota

see Toyota

## Models

* Land Cruiser
* FJ Cruiser
* Pickup(Hilux)
* 4Runner(Surf)
* Tundra
* T100
* Tacoma
* Corolla
* Sienna
* Prius
* Hiace
# Automobile Repair/Tire

Tire is also important for the car system. If without those tires, the automobile itself won't be moving anywhere soon . Also , when buying tires, please make sure you are buying the best as these tires contact to ground on an area possibly equivalent or less than the size of postage stamp.
Before you buy tires, you may refer to these documents by US D.O.T and also search for the tires sold with the rating by US NHTSA : https://www.nhtsa.gov/ratings
Tires are graded as followed:
TREADWEAR GRADE
The treadwear grade is a comparative rating based on the wear rate of the tire when tested under controlled conditions on a specified government test course.
For example. a tire graded 150 would wear one and a half (1 and 1/2) times as well on the government course as a tire graded 100. (The higher, the better it is for the user to have longer lasting tires on the road). The relative performance of tires depends upon the actual conditions of their use. however, and may depart significantly from the norm due to variations in driving habits, service practices and differences in road characteristics and climate.
TRACTION GRADE
The traction grades, from highest to lowest, are AA A, B, C and they represent the tire's ability to stop on wet pavement as measured under controlled conditions on specified government test surfaces of asphalt and concrete.
A tire marked C may have poor performance. Warning: The traction grade assign to this may have poor traction- tire is based on braking (straight ahead) traction and does not include cornering (turns traction.)
| Traction Grade | Expected Performance on Wet Pavement |
| AA | Excellent traction and stopping ability |
| A | Good traction and stopping ability |
| B | Moderate traction and stopping ability |
| C | Poor traction and stopping ability |
TEMPERATURE GRADE:
The temperature grades are A (the highest), B and C representing the tire's resistance to the generation of heat and its ability to dissipate heat when tested under controlled conditions on a specified indoor laboratory test wheel. Sustained high temperature can cause the material of the tire to degenerate and reduce tire life, and excessive temperature can lead to sudden tire failure. The grade C corresponds to a level of performance which all passenger car tires must meet under the Federal Motor Vehicle Safety Standard No. 109. Grades B and A represent higher levels of performance on the laboratory test wheel then the minimum required by law.
WARNING: The temperature grade for this tire is established for a tire that is properly inflated and not overloaded. Excessive speed, under inflation, or excessive loading, either separately or in combination, can cause heat buildup and possible tire failure.
# Automobile Repair/Transmission fluid change

To change transmission fluid you will need:
* Transmission fluid
* Drain pan
* Wrench or applicable size socket
Assuming you don't have a sealed transmission (in other words there's a transmission dip stick), ensure the transmission has cooled down.
WARNING fluid is hot.
* Ensure transmission is level.
* Remove drain plug (the plug is normally on the transmission).
* Drain into pan.
* Reinstall plug.
* Refill to specified level.
* Normally, the correct process is to check the fluid levels while hot and with the engine running.
# Ada Programming/Libraries/Web/AWS

AWS, the Ada Web Server, is a complete framework to develop Web based applications. The main part of AWS is the embedded web server. This small, yet powerful, Web server can be embedded into your application, so it will be able to talk with a standard Web browser. Around this Web server, a lot of services have been developed.
AWS supports SOAP Web Services and the REST architecture.

## Sample code
### Hello World

The famous Hello World demo for AWS, a complete Web server that will display "Hello world!" for every request made to localhost on port 8080.

### Setting server configuration and waiting for an event

It is possible to pass configuration parameters for the server using a record. It is also possible to use a built-in procedure on AWS to wait for an event.
callbacks.adb
callbacks.ads
main.adb

### REST

Interface with bitcoind JSON-RPC.
bitcoin.adb
Create the bitcoin.conf file by opening Bitcoin Core and clicking on the corresponding button on the options window. The following is an example configuration file. Then reopen bitcoin-qt or start the bitcoind daemon to start the server. The bitcoin-cli program and the testnet network can be used for testing RPC commands.
bitcoin.conf

## See also
### Wikipedia

* Web application
* Web services
* SOAP

### Wikibook

* Ada Programming
* Ada Programming/Libraries (Other Language Libraries)

## External links
### Project Info

    https://github.com/adacore/aws/

### Download

    https://github.com/adacore/aws/releases
* AWS live documentation
* Web-enabling Ada Applications with AWS, presentation by J-P. Rosen
# Ada Programming/Mathematical calculations/Trigonometry

Trigonometry in Algebra is the study of triangles and how their measurements of different side and angles relate to each other.
Trigonometry is most well known for it's trigonometric functions, namely sin (sine), cos (cosine), and tan (tangent). They are used in relation to angles to discover the measurements of sides in right triangles.
$Sin(x)=OppositeSide/Hypotenuse$
$Cos(x)=AdjacentSide/Hypotenuse$
$Tan(x)=OppositeSide/AdjacentSide$ or $sin(x)/cos(x)$
Note: In trigonometric functions, x represents the measure of an angle (in degrees or radians) in relation to the sides of the right triangle in question.
Other trigonometric functions include csc (cosecant), sec (secant), and cot (cotangent). They are as follows:
$Csc(x)=1/sin(x)$
$Sec(x)=1/cos(x)$
$Cot(x)=1/tan(x)$ or $cos(x)/sin(x)$
While these functions exist to determine the missing length of a side, they assume that the measure of the reference angle is known. If the measure of the sides of a triangle is known, then it is possible to discover the measure of a reference angle with the use of inverse trigonometric functions. They are as follows:
$sin^{-1}(OppositeSide/Hypotenuse)=x$
$cos^{-1}(AdjacentSide/Hypotenuse)=x$
$tan^{-1}(OppositeSide/AdjacentSide)=x$
Note: x is the measure of the reference angle in degrees or radians.
# Ada Programming/Operators
## Standard operators

Ada allows operator overloading for all standard operators and so the following summaries can only describe the suggested standard operations for each operator. It is quite possible to misuse any standard operator to perform something unusual.
Each operator is either a keyword or a delimiter—hence all operator pages are redirects to the appropriate keyword or delimiter.
Operators have arguments which in the RM are called Left and Right for binary operators, Right for unary operators (indicating the position with respect to the operator symbol).
The list is sorted from lowest precedence to highest precedence.

### Logical operators
#### and

    and $x\land y$, (also keyword and)

#### or

    or $x\lor y$, (also keyword or)

#### xor

    exclusive or $(x\land {\bar {y}})\lor ({\bar {x}}\land y)$, (also keyword xor)

### Relational operators

    Not Equal $x\neq y$, (also special character /=)
    Equal $x=y$, (also special character =)
    Less than $x<y$, (also special character <)
    Less than or equal to ($x\leq y$), (also special character <=)
    Greater than ($x>y$), (also special character >)
    Greater than or equal to ($x\geq y$), (also special character >=)

### Binary adding operators

    Add $x+y$, (also special character +)
    Subtract $x-y$, (also special character -)
    Concatenate , $x$ & $y$, (also special character &)

### Unary adding operators

    Plus sign $+x$, (also special character +)
    Minus sign $-x$, (also special character -)

### Multiplying operator

    Multiply, $x\times y$, (also special character *)
    Divide $x/y$, (also special character /)

#### mod

    modulus (also keyword mod)

#### rem

    remainder (also keyword rem)

### Highest precedence operator

    Power $x^{y}$, (also special character **)

#### not

    logical not $\lnot x$, (also keyword not)

#### abs

    absolute value $|x|$ (also keyword abs)

## Short-circuit control forms

These are not operators and thus cannot be overloaded.

### and then

    e.g. if Y /= 0 and then X/Y > Limit then ...

### or else

    e.g. if Ptr = null or else Ptr.I = 0 then ...

## Membership tests

The Membership Tests also cannot be overloaded because they are not operators.

### in

    element of, $var\in type$, e.g. if I in Positive then, (also keyword in)

### not in

    not element of, $var\notin type$, e.g. if I not in Positive then, (also keywords not in)

### Choice list membership test

This language feature has been introduced in Ada 2012.
Ada 2012 extended the membership tests to include the union (short-circuit or) of several range or value choices.

## See also
### Wikibook

* Ada Programming

### Ada 95 Reference Manual

* 4.5 Operators and Expression Evaluation (Annotated)

### Ada 2005 Reference Manual

* 4.5 Operators and Expression Evaluation (Annotated)

### Ada Quality and Style Guide

* 2.1.3 Alignment of Operators
* 5.7.4 Overloaded Operators
* 5.7.5 Overloading the Equality Operator
Ada Operators :
| and | and then | > | + | abs | & |
| or | or else | >= | - | mod | |
| xor | = | < | * | rem | in |
| not | /= | <= | ** | / | not in |
# Ada Programming/Platform

Ada is known to be very portable, but there is sometimes a necessity of using a specific platform feature. For that matter, there are some non-standard libraries.
* Linux
* Windows
* POSIX systems
* Virtual machines
** Java
** .NET
GPRbuild can be used to make portable builds.

## See also
### Wikibook

* Ada Programming

### Ada Reference Manual

—does not apply—

### Ada Quality and Style Guide

* Chapter 7: Portability
# Ada Programming/Platform/POSIX

POSIX.5 is an IEEE (IEEE Standard 1003.5b-1996) and ISO (ISO/IEC 14519:2001) standard defining an Ada interface to the POSIX system calls. The scope for the standard is the same as in POSIX.1 (C API) but defines a thick binding for the interface, thus benefiting from Ada features. Some functionality provided by POSIX.1, but already present in Ada, is skipped.
There exists an open-source implementation for GNAT called Florist (Florida State University/Forest), originally written by the Florida State University and eventually maintained by AdaCore.
The following compilers are known to provide an implementation of the standard: ObjectAda for Linux , GNAT , MAXAda and PowerAda . There is an implementation for GNAT over Windows called wPOSIX (formerly Win32POSIX).

## Florist links
### Author

    Formerly Florida State University, now Adacore

### Project Info

    https://github.com/AdaCore/florist/

### Download

    https://github.com/AdaCore/florist/releases

## wPOSIX links
### Author

    Pascal Obry and AdaCore.

### Project Info

    https://github.com/AdaCore/wposix/

### Download

    https://github.com/AdaCore/wposix/releases

## POSIX.5 links
### Standards

* ISO catalogue
* IEEE Standards Description

### Tutorial

* POSIX in Ada — Appendix to “Understanding Unix/Linux Programming”. Includes complete examples.

### ISO Working Group

* The ISO standard was considered for revision in 2006 . A list of POSIX functions (including XSI functions, also known as SysV IPC) not currently supported by the Ada standard was identified as possible expansion .
* In 2013, the working group states that the update effort has been cancelled due to low adoption.

### Historical and background information

* Ada POSIX binding. A focused Ada investigation — NASA Technical Report.
* Available Ada Bindings - POSIX
* A Prototype Implementation of the POSIX/Ada Realtime Extension
* POSIX.5b Validation Test Suite
# Ada Programming/Platform/Linux

The following libraries help you when you target the Linux Platform.

## Florist

    POSIX.5 binding. It will let you perform Linux system calls in the POSIX subset.

## Ncurses

    text terminal library.

## Texttools

    ncurses-based library for the Linux console.

## GtkAda

    GUI library (actually multiplatform).

## See also
### Wikibook

* Ada Programming
* Ada Programming/Libraries

### Ada Reference Manual

—does not apply—

### External resources

* The Big Online Book of Linux Ada Programming
* Ada in Debian GNU/Linux, slides suitable for a 50minute presentation, by Ludovic Brenta.
# Ada Programming/Platform/Ncurses

ncurses is a programming library providing an API, allowing the programmer to write text user interfaces in a terminal-independent manner. ncurses provides an official Ada interface.

## See also

* ncurses Homepage
** Ada 95 binding