1.1.2 Conformity of an Implementation with the Standard (paragraph 2)1.1.2 Conformity of an Implementation with the Standard (paragraph 2)1.1.2 Conformity of an Implementation with the Standard (paragraph 2)
(a) Correctly translates and executes legal program units written in Ada, provided that they are
not so large as to exceed the capacity of the implementation.
1.1.2 Conformity of An Implementation with the Standard (paragraph 4)1.1.2 Conformity of An Implementation with the Standard (paragraph 4)1.1.2 Conformity of An Implementation with the Standard (paragraph 4)
(c) Rejects all program units that contain errors whose detection is required by the standard.
1.4 Language Summary (paragraph 4 5)1.4 Language Summary (paragraph 4 5)1.4 Language Summary (paragraph 4 5)
Program_______ Units_____
A subprogram is the basic unit for expressing an algorithm. There are two kinds of subprograms:
procedures and functions. A procedure is the means of invoking a series of actions. For example,
it may read data, update variables, or produce some output. It may have parameters, to provide a
controlled means of passing information between the procedure and the point of call.
1.4 Language Summary (paragraph 15)1.4 Language Summary (paragraph 15)1.4 Language Summary (paragraph 15)
The loop statement provides the basic iterative mechanism in the language. A loop statement
specifies that a sequence of statements is to be executed repeatedly as directed by an iteration
scheme, or until an exit statement is encountered.
1.4 Language Summary (paragraph 29)1.4 Language Summary (paragraph 29)1.4 Language Summary (paragraph 29)
Representation clauses can be used to specify the mapping between types and features of an
underlying machine. For example, the user can specify that objects of a given type must be
represented with a given number of bits, or that the components of a record are to be represented
using a given storage layout. Other features allow the controlled use of low level, nonportable,
or implementation-dependent aspects, including the direct insertion of machine code.
1.6 Classification of Errors (paragraphs 6 7)1.6 Classification of Errors (paragraphs 6 7)1.6 Classification of Errors (paragraphs 6 7)
-1 Language Summary (paragraph 29) 1.4
(c) Erroneous execution.
The language rules specify certain rules to be obeyed by Ada programs, although there is no
requirement on Ada compilers to provide either a compilation-time or a run-time detection of
the violation of such rules. The errors of this category are indicated by the use of the
word erroneous_________ to qualify the execution of the corresponding constructs. The effect of