Version 1.167 of ais/ai-summary.txt

This is a summary of all Ada Issues, except for the presentation issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.

AI95-00001-01/07 2000-07-11 -- Ada.Streams.Stream_IO.Stream can raise Status_Error

AI95-00002-01/04 1999-10-08 -- Subunits of a preelaborated subprogram

AI95-00003-01/02 1999-09-15 -- Access types declared in shared passive generic packages

AI95-00004-01/06 1999-08-31 -- Conversions to types derived from remote access types

AI95-00006-01/02 1999-05-27 -- private child in with_clause

AI95-00007-01/02 2000-07-11 -- Enumeration_IO does not allow instantiation for a float type

AI95-00012-01/04 1999-10-07 -- The first subtype of a type defined by an access[_type]_definition

AI95-00014-01/02 1999-05-27 -- ... and {its calling convention} shall not be Intrinsic.

AI95-00018-01/05 2000-01-24 -- Inconsistency with Ada 83 in the definition of exponentiation

AI95-00025-01/05 2000-07-12 -- Matching rules for generic formal access-to-constant types

AI95-00026-01/06 2000-09-26 -- Stream_IO.Read and Stream_IO.Write advance the current index

AI95-00027-01/02 1999-07-08 -- Typo: is access all {Ada.}Streams.Root_Stream_Type'Class

AI95-00028-01/01 1999-08-31 -- Should "pragma" be in boldface?

AI95-00029-01/03 2000-04-11 -- Does Complex_IO handle extended real literals?

AI95-00030-01/01 1999-08-31 -- The word "prefix" should be in sans serif font

AI95-00031-01/05 2000-07-07 -- Unpacking a record type with primitive subprograms

AI95-00032-01/02 1999-05-27 -- visible part of a renaming

AI95-00033-01/07 1999-10-07 -- Delayed declaration of inherited primitive subprograms

AI95-00034-01/05 2000-07-13 -- Unconstrained formal types

AI95-00035-01/06 2000-01-25 -- Type descriptors can be laid out at compile time

AI95-00036-01/06 2000-04-11 -- What are the rules for named notation in pragmas?

AI95-00037-01/07 1999-08-31 -- In Interfaces.C, nul and wide_nul represent zero

AI95-00038-01/05 2000-01-25 -- Mapping between Interfaces.C.char and Standard.Character

AI95-00039-01/03 1999-08-31 -- Effect of Update(Null_Ptr,...)

AI95-00040-01/07 2000-07-12 -- A box for a formal subprogram_default freezes the actual

AI95-00041-01/14 2000-07-13 -- Program unit pragmas in generic units

AI95-00042-01/03 1999-07-08 -- use of incomplete types

AI95-00043-01/05 2000-04-11 -- Predefined operators for generic formal array types

AI95-00044-01/06 1999-10-07 -- Overriding by implicit declarations

AI95-00045-01/03 1999-07-08 -- Servicing of entry calls is part of a protected action

AI95-00046-01/05 2000-07-07 -- Intent of "only"

AI95-00047-01/05 2000-04-11 -- {User-defined} Read and Write attributes

AI95-00048-01/10 2000-04-11 -- An RCI unit can be a library subprogram

AI95-00049-01/03 1999-05-27 -- Reserved_128, etc.

AI95-00050-01/03 1999-08-31 -- External files of Standard_Input and Standard_Output

AI95-00051-01/15 2004-12-08 -- Size and Alignment clauses

AI95-00051-02/03 2005-04-03 -- Size and Alignment clauses

AI95-00053-01/06 2000-08-29 -- Case sensitivity of Wide_Value and Value attributes

AI95-00054-01/03 1999-08-31 -- When is a Small clause allowed?

AI95-00055-01/02 1999-07-08 -- Overflow for Adjacent, Machine, and Model attributes

AI95-00056-01/02 1999-07-08 -- Create(Mode => Append_File)

AI95-00057-01/03 1999-08-31 -- Text_IO.Flush should use mode 'in'

AI95-00058-01/08 1999-09-26 -- Accessibility Rules for Shared_Passive Packages

AI95-00059-01/02 1999-07-08 -- Specifying Storage size for tasks

AI95-00060-01/05 1999-05-27 -- No predefined 'Truncate Attribute on Fixed-Point Types

AI95-00062-01/06 1999-10-07 -- Derived access types share the same pool

AI95-00063-01/07 2000-07-13 -- Erroneous execution for closing default files

AI95-00064-01/10 2000-04-20 -- Elaboration checks for renamings-as-body

AI95-00065-01/01 1995-09-05 -- (Deleted)

AI95-00066-01/01 1999-08-31 -- Incorrect syntax in example -- remove "limited"

AI95-00067-01/05 2000-04-11 -- Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting)

AI95-00068-01/02 1999-09-15 -- Number of queuing policies defined

AI95-00069-01/03 2000-01-25 -- One queuing policy per partition

AI95-00070-01/02 2000-06-19 -- Incorrect picture string example

AI95-00071-01/04 2000-06-19 -- Correction to the Valid function in COBOL interface

AI95-00072-01/04 2000-04-11 -- Clarification of result length for conversions in COBOL interface

AI95-00073-01/01 1999-05-28 -- Pragmas are allowed in generic_formal_parts.

AI95-00074-01/02 1999-05-28 -- Pragma Inline Requires an Argument

AI95-00076-01/03 1999-07-08 -- String literal constraint ramification is correct.

AI95-00077-01/04 2000-01-25 -- Separate compilation of generic bodies

AI95-00078-01/03 1999-07-08 -- semantic dependence on illegal or obsolete units

AI95-00081-01/02 2000-04-11 -- Integer_Text_IO, etc. not listed in A(2)

AI95-00082-01/03 2000-04-11 -- The PCS may be defined by the user

AI95-00083-01/07 2000-07-13 -- Aggregates of a controlled type

AI95-00084-01/03 1999-07-08 -- Questions about Generic_Elementary_Functions

AI95-00085-01/09 2005-01-25 -- Append_File, Reset, and positioning for Stream_IO

AI95-00086-01/07 2004-06-10 -- (Deleted)

AI95-00087-01/04 2000-01-25 -- Saving and restoring Current_Output

AI95-00089-01/06 2000-04-11 -- Float_Random.Value, Discrete_Random.Value

AI95-00090-01/04 1996-02-06 -- (Deleted)

AI95-00091-01/02 1999-08-31 -- Pragma Locking_Policy cannot be in a program unit

AI95-00092-01/08 1999-09-15 -- Priority changes due to Set_Priority and Hold are not transitive

AI95-00093-01/06 2000-07-31 -- Float_Type'Small

AI95-00094-01/01 1999-07-08 -- Exponentiation: 0.0 ** 0.0 raises Argument_Error.

AI95-00095-01/05 2000-07-13 -- Modular types on one's complement machines

AI95-00096-01/03 1999-07-08 -- sparse case statements

AI95-00097-01/07 2000-01-25 -- Conversions between access types with different representations

AI95-00098-01/02 1999-08-31 -- unknown_discriminant_parts on generic formal types

AI95-00099-01/02 1999-07-08 -- Accuracy requirements for elementary functions

AI95-00100-01/05 2004-04-22 -- Truncation required for static expressions if Machine_Rounds is false

AI95-00101-01/06 1999-09-15 -- Abort_Task has a parameter of mode 'in'

AI95-00102-01/02 1999-05-28 -- A generic formal limited private type can have an access discriminant.

AI95-00103-01/04 2000-01-25 -- Storage pools and access types designating task types

AI95-00104-01/08 1999-09-15 -- Version and Body_Version attributes

AI95-00105-01/04 1999-05-27 -- extra negative value

AI95-00106-01/10 2000-07-11 -- Freezing rules

AI95-00107-01/06 1999-05-28 -- Base attribute for non-scalar subtypes?

AI95-00108-01/08 2000-07-31 -- Inheritance of stream attributes for type extensions

AI95-00109-01/08 2004-04-20 -- (Deleted)

AI95-00110-01/04 1999-05-27 -- No Constraint Check on 'out' Parameter of an Access Type

AI95-00111-01/03 2000-04-11 -- Accept body not defined

AI95-00112-01/04 1999-05-27 -- Wide_String file names

AI95-00113-01/04 1999-09-13 -- Exception raised by Month, Day, Seconds in Ada.Calendar?

AI95-00114-01/00 2000-08-31 -- Editorial Comments on AARM

AI95-00115-01/03 2000-07-13 -- Controlled types in language-defined generic packages

AI95-00116-01/05 2000-06-21 -- Elaboration of a task with no task_definition

AI95-00117-01/08 2000-04-11 -- Calling conventions

AI95-00118-01/05 2000-04-11 -- Termination signals query of Terminate attribute

AI95-00119-01/05 2000-07-13 -- Is normal termination an "external interaction"?

AI95-00120-01/05 1999-05-28 -- What is the minimal upper bound of type Integer?

AI95-00121-01/06 2000-04-11 -- Pragma Attach_Handler on nested objects

AI95-00122-01/03 1999-05-28 -- Use_type_clause where First Subtype is not Directly Visible

AI95-00123-01/12 2000-08-17 -- Equality for composite types

AI95-00124-01/04 1999-08-31 -- The AE characters are allowed in identifiers

AI95-00125-01/04 2000-07-12 -- Order of Size and Small clauses for fixed point types

AI95-00126-01/11 2000-07-13 -- Classification of language-defined packages

AI95-00127-01/10 2000-07-31 -- Expected type of a 'Access attribute

AI95-00128-01/08 2000-07-31 -- String packages

AI95-00129-01/03 1999-05-28 -- Discriminant Inheritance for Private Extensions

AI95-00130-01/07 2000-04-11 -- Enforcing Restrictions might violate the generic contract model

AI95-00131-01/11 2000-04-11 -- Interface to C -- passing records as parameters of mode 'in'

AI95-00132-01/06 2000-07-12 -- Exception raised at end of stream

AI95-00133-01/05 2004-09-28 -- Controlling bit ordering

AI95-00134-01/02 1999-05-27 -- Source Representation

AI95-00135-01/05 2000-07-13 -- Circular renamings as body

AI95-00136-01/06 1999-08-31 -- Placement of program unit pragmas in generic packages

AI95-00137-01/08 2000-08-31 -- Attribute definition clause for stream attributes

AI95-00138-01/03 1999-05-28 -- Null String Literals when the Index Type is Modular

AI95-00139-01/03 1999-08-31 -- Interfaces.C.Strings.Value raises Constraint_Error when Length is 0

AI95-00140-01/06 2000-07-11 -- Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False

AI95-00141-01/07 1999-05-27 -- Exceptions in Interfaces.C and its Children

AI95-00142-01/01 1999-08-31 -- Incorrect example for Interfaces.C.Pointers

AI95-00143-01/04 1999-05-27 -- Distinct Names for Compilation Units

AI95-00144-01/01 1997-11-14 -- Pragma List

AI95-00145-01/04 2000-07-13 -- Profile of predefined operators for scalar types

AI95-00146-01/00 1997-11-14 -- Controlled Components are Finalized

AI95-00147-01/12 2002-11-23 -- Optimization of controlled types

AI95-00148-01/03 2004-05-21 -- Requeue of protected entry calls

AI95-00149-01/04 2000-10-04 -- Miscellaneous confirmations

AI95-00150-01/07 1999-10-07 -- Uniqueness of component names

AI95-00151-01/03 1999-08-31 -- Bounds of string returned by Ada.Strings.Maps.To_Range

AI95-00152-01/06 2000-01-25 -- Operators not inherited from root numeric types

AI95-00153-01/03 1999-09-15 -- Picture string grammar or composition rules need tightening

AI95-00155-01/02 1996-09-15 -- (Deleted)

AI95-00156-01/07 2000-07-31 -- Polar implementation of complex exponentiation for negative exponents

AI95-00157-01/06 2000-07-13 -- Visibility of inherited private components

AI95-00158-01/06 2005-03-07 -- Primitives of a class-wide generic actual type

AI95-00159-01/07 2000-05-30 -- Shared variables in Shared_Passive?

AI95-00160-01/04 2000-07-12 -- Daylight savings and Ada.Calendar

AI95-00161-01/10 2005-06-08 -- Default-initialized objects

AI95-00162-01/08 2005-06-15 -- Anonymous access types and task termination/controlled type finalization

AI95-00163-01/05 2000-07-07 -- User-defined fixed,fixed multiplying op

AI95-00164-01/07 2000-09-26 -- Definition of remote access type

AI95-00165-01/08 2000-06-19 -- Recursive use of task attributes

AI95-00166-01/05 2000-04-11 -- Parameterless_Handler values designating default treatment

AI95-00167-01/04 2003-05-03 -- Scalar unchecked conversion can be used with 'Valid to prevent erroneousness

AI95-00168-01/09 2000-09-25 -- Aliased objects cannot have discriminants modified

AI95-00169-01/06 2000-08-18 -- Exceptions raised by Adjust/Finalize -- missing cases

AI95-00170-01/02 1999-07-27 -- Can an attribute defined in an annex be set in an attribute definition clause?

AI95-00171-01/09 2000-07-13 -- Elaboration of subtype_indications with per-object constraints

AI95-00172-01/05 2004-03-23 -- Questions about main subprograms

AI95-00173-01/01 2003-08-01 -- Optimizations and the use of 'Address

AI95-00174-01/01 2000-11-28 -- (Deleted)

AI95-00175-01/04 2000-07-31 -- Full conformance of expressions with attributes

AI95-00176-01/05 1999-08-31 -- Access_Check is performed for access discriminants

AI95-00177-01/04 1999-09-15 -- Interfaces.C.Strings.Value with Length returning String

AI95-00178-01/04 2003-05-03 -- Which I/O operations are potentially blocking?

AI95-00179-01/05 2000-07-12 -- Finalization and Unchecked_Deallocation

AI95-00180-01/06 2000-07-12 -- Pragma Elaborate for child units

AI95-00181-01/03 1999-08-31 -- Components of Stream_Element_Array should be aliased

AI95-00182-01/05 1999-10-07 -- Extension aggregates with controlled subcomponents

AI95-00183-01/04 2000-01-25 -- Primitive operations declared before it is known if the type is tagged

AI95-00184-01/08 2000-07-13 -- Definiteness and type derivation

AI95-00185-01/04 2001-09-11 -- Branch cuts of inverse trigonometric and hyperbolic functions

AI95-00186-01/04 2004-04-01 -- Range of root_integer

AI95-00187-01/00 1997-08-19 -- Task attribute operations are atomic but not sequential

AI95-00188-01/07 2004-11-08 -- Setting a task base priority is vague

AI95-00188-02/02 2004-12-02 -- Setting a task base priority is immediate

AI95-00189-01/01 2000-11-17 -- The meaning of the terms "processor", "multiprocessor", and "processing node"

AI95-00190-01/05 1999-10-08 -- Compile-time enforcement of pragma Restrictions

AI95-00191-01/02 2001-01-29 -- Are formal parameters passed by reference objects or views?

AI95-00192-01/06 2000-04-11 -- A library subprogram_body should replace, not complete, an instance

AI95-00193-01/06 1999-09-15 -- Initialize, Adjust, and exceptions

AI95-00194-01/02 1999-08-31 -- Error in Standard_Error definition

AI95-00195-01/16 2005-05-05 -- Streams

AI95-00196-01/04 2004-11-15 -- Assignment and tag-indeterminate calls with controlling results

AI95-00197-01/04 1999-11-18 -- (Deleted)

AI95-00198-01/02 1999-07-28 -- pragma Convention(Intrinsic) is not a completion

AI95-00199-01/07 2000-04-13 -- (Deleted)

AI95-00200-01/03 2004-05-21 -- Generic formal subprograms as dispatching operations

AI95-00201-01/01 1998-04-01 -- object subtype must statically match designated subtype

AI95-00202-01/05 2000-07-13 -- Primitives of formal type derived from another formal type

AI95-00203-01/04 1999-10-06 -- S'Digits when T'Machine_Radix is 10

AI95-00204-01/06 2004-11-08 -- Language interfacing support is optional

AI95-00205-01/02 1999-08-31 -- Priority changes in abortable part

AI95-00206-01/05 2000-07-07 -- Ada.Task_Identification.Is_Callable for the environment task

AI95-00207-01/05 2000-07-10 -- Only the current unit is affected by pragma Inspection_Point

AI95-00208-01/05 1999-08-31 -- What is the meaning of "same representation" in all partitions?

AI95-00209-01/04 2004-05-21 -- pragma Reviewable; can objects become uninitialized?

AI95-00210-01/03 1999-07-28 -- Questions on pragma Restriction No_Recursion and No_Reentrancy

AI95-00211-01/06 2000-07-12 -- Can an abstract subprogram be renamed?

AI95-00212-01/04 2004-09-16 -- Restrictions on configuration pragmas

AI95-00213-01/06 2000-07-12 -- Formal object matching for formal packages

AI95-00214-01/04 2004-11-08 -- Distinct Names for Compilation Units (again)

AI95-00215-01/02 1999-08-31 -- Returning remote class-wide values

AI95-00216-01/16 2005-02-28 -- Unchecked unions -- variant records with no run-time discriminant

AI95-00217-01/03 2000-04-13 -- Handling Mutually Dependent Type Definitions that Cross Packages

AI95-00217-02/02 2001-09-03 -- Handling mutually recursive types via package "abstracts"

AI95-00217-03/01 2001-09-21 -- Handling mutually recursive types via separate incomplete types

AI95-00217-04/04 2002-12-02 -- Type stubs with package specifiers

AI95-00217-05/02 2003-03-18 -- Type stubs with limited context clauses

AI95-00217-06/14 2005-06-07 -- Limited With Clauses

AI95-00217-07/02 2003-05-16 -- Incomplete type completed in a child

AI95-00218-01/06 2001-09-11 -- Accidental overloading when overriding

AI95-00218-02/04 2003-04-28 -- Accidental overloading when overriding

AI95-00218-03/09 2005-05-27 -- Accidental overloading when overriding

AI95-00219-01/01 1999-05-14 -- (Deleted)

AI95-00220-01/03 2002-11-27 -- Subprograms withing private compilation units

AI95-00221-01/03 2001-09-07 -- Default_Bit_Order is static

AI95-00222-01/01 1999-06-25 -- Feature control

AI95-00223-01/03 2001-09-07 -- Line terminators are skipped by Get.

AI95-00224-01/11 2005-06-10 -- pragma Unsuppress

AI95-00225-01/04 2002-06-07 -- Aliased current instance for limited types

AI95-00226-01/03 2004-11-30 -- Cyclic Elaboration Dependences

AI95-00227-01/05 2001-09-11 -- Behavior of Ada.Streams.Read when at the end of stream

AI95-00228-01/05 2003-05-03 -- Premature use of "shall be overridden" subprograms

AI95-00229-01/07 2004-11-24 -- Accessibility rules and generics

AI95-00230-01/17 2005-05-16 -- Generalized use of anonymous access types

7) 4.05.02 (09) 4.06 (13) 4.06 (18) 4.06 (49) 4.06 (61) 8.05.01 (02) 8.05.01 (03) 8.05.01 (06) 8.06 (25) 13.11 (25)

AI95-00231-01/15 2005-05-10 -- Access-to-constant parameters and null-excluding access subtypes

AI95-00232-01/01 2000-04-13 -- Dispatching operation visibility and ambiguity

AI95-00233-01/03 2002-05-09 -- Inheritance of components of generic formal derived types

AI95-00234-01/02 2000-11-28 -- Unsigned integer types

AI95-00235-01/08 2005-02-05 -- Resolving 'Access

AI95-00236-01/02 2000-11-19 -- Minimum criteria for metrics documentation

AI95-00237-01/08 2005-02-28 -- Finalization of task attributes

AI95-00238-01/03 2002-05-09 -- What is the lower bound of Ada.Strings.Bounded.Slice?

AI95-00239-01/04 2004-11-08 -- Controlling inherited default expressions

AI95-00240-01/04 2002-05-09 -- Stream attributes for limited types in Annex E

AI95-00241-01/03 2001-09-11 -- Testing for Null_Occurrence

AI95-00242-01/02 2001-10-18 -- Surprise behavior of Update

AI95-00243-01/03 2005-06-08 -- Is a subunit of a subunit of L also a subunit of L?

AI95-00244-01/01 2000-10-30 -- Legal units which depend on illegal units

AI95-00245-01/03 2004-05-24 -- Consistency of inlined calls

AI95-00246-01/06 2004-12-29 -- View conversions between arrays of a by-reference type

AI95-00247-01/03 2005-04-04 -- Alignment of composite types

AI95-00248-01/13 2005-05-05 -- Directory Operations

AI95-00249-01/11 2005-02-25 -- Ravenscar profile for high-integrity systems

AI95-00250-01/03 2001-04-29 -- Protected Types, Extensible, Tagged, Abstract

AI95-00251-01/21 2005-06-04 -- Abstract Interfaces to provide multiple inheritance

/1) 4.06 (12/1) 4.06 (12.1/1) 4.06 (13-24) 7.03 (02) 8.03 (12) 8.03 (26/1) 12.05 (03) 12.05.01 (03) 12.05.01 (15) 12.05.05 (01) 13.14 (07)

AI95-00252-01/10 2005-02-05 -- Object.Operation notation

AI95-00253-01/03 2001-09-07 -- The legality rules for pragmas Attach_Handler and Interrupt_Handler are similar

AI95-00254-01/13 2005-05-15 -- Anonymous access to subprogram types

AI95-00255-01/03 2002-10-25 -- Object renaming of subcomponents of generic in out objects

AI95-00256-01/09 2004-11-07 -- Various wording changes to the standard

AI95-00257-01/04 2002-05-10 -- Restrictions for implementation-defined entities

AI95-00258-01/03 2001-09-11 -- Behavior of Interfaces.C.To_C when the result is null

AI95-00259-01/05 2003-05-02 -- Can accesses to volatile objects be combined?

AI95-00260-01/04 2002-05-10 -- How to control the tag representation in a stream

AI95-00260-02/05 2005-02-25 -- Abstract formal subprograms and dispatching constuctors

AI95-00261-01/01 2001-02-15 -- Extending enumeration types

AI95-00262-01/08 2005-06-08 -- Access to private units in the private part

AI95-00263-01/03 2002-11-27 -- Scalar formal derived types are never static

AI95-00264-01/01 2001-05-09 -- Exceptions as Types

AI95-00265-01/08 2003-05-02 -- Partition Elaboration Policy for High-Integrity Systems

AI95-00266-01/05 2002-03-09 -- Task Termination procedure

AI95-00266-02/10 2005-03-21 -- Task termination procedure

AI95-00267-01/05 2002-06-07 -- Fast float-to-integer conversions

AI95-00268-01/04 2005-05-16 -- Rounding of real static expressions

AI95-00269-01/07 2005-05-16 -- Generic formal objects can be static in the instance

AI95-00270-01/08 2005-05-09 -- Stream item size control

AI95-00271-01/03 2002-01-04 -- (Deleted)

AI95-00272-01/02 2002-05-10 -- Pragma Atomic and slices

AI95-00273-01/02 2002-05-09 -- Use of PCS should not be normative

AI95-00274-01/00 2001-09-19 -- Requiring complete record representation clauses

AI95-00275-01/01 2001-09-20 -- Aliased components and generic formal arrays

AI95-00276-01/02 2001-11-27 -- Interfaces.C.Strings.Chars_Ptr_Array has aliased components

AI95-00277-01/02 2002-01-04 -- (Deleted)

AI95-00278-01/01 2001-10-17 -- Task Entry without Accept Statement

AI95-00279-01/08 2005-02-03 -- Tag read by T'Class'Input

AI95-00280-01/06 2005-05-16 -- Allocation, deallocation, and use of objects after finalization

AI95-00281-01/01 2001-12-26 -- Representation of enumeration type image attribute

AI95-00282-01/01 2001-12-26 -- Ada unit information symbols

AI95-00283-01/03 2003-05-03 -- Truncation of stream files by Close and Reset

AI95-00284-01/04 2002-11-27 -- Nonreserved keywords

AI95-00284-02/03 2004-11-09 -- New reserved words

AI95-00285-01/16 2005-05-05 -- Support for 16-bit and 32-bit characters

2.02 (04) 2.02 (05) 2.02 (08) 2.02 (09) 2.03 (02) 2.03 (03) 2.03 (05) 2.03 (06) 2.04.01 (05) 2.06 (07) 3.05 (27) 3.05 (30-34) 3.05 (37) 3.05 (39) 3.05 (43-51) 3.05 (55) 3.05 (56) 3.05 (59) 3.05.02 (2) 3.05.02 (3) 3.0 5.02 (4) 3.05.02 (5) 3.06.03 (2) 3.06.03 (4) A.01 (36) A.01 (42) A.01 (49) A.03 (1) A.03.02 (13) A.03.02 (14) A.03.02 (16) A.03.02 (18) A.03.02 (42) A.03.02 (43) A.03.02 (44) A.03.02 (45) A.03.02 (46) A.03.02 (47) A.03.0 2 (48) A.03.02 (49) A.04 (1) A.04.01 (4) A.04.07 (46) A.04.08 (1) A.06 (1) A.07 (4) A.07 (10) A.07 (13) A.07 (15) A.11 (00) A.11 (01) A.11 (02) A.11 (03) A.12 (01) A.12.04 (01) B.03 (39) B.03 (43) B.03 (60) B.03 (62. 1) C.05 (07) F (04) F.03 (01) F.03 (06) F.03 (19) F.03 (20) F.03.05 (01) G.01.05 (01) H.04 (20)

AI95-00286-01/10 2005-06-10 -- Assert pragma

AI95-00287-01/12 2005-04-18 -- Limited aggregates allowed

(05) 5.02 (04) 5.02 (05) 7.03.01 (12) 7.05 (01) 7.05 (02) 7.05 (08) 7.05 (09) 7.05 (10) 7.05 (11) 7.05 (12) 7.05 (13) 7.05 (14) 7.05 (15) 9.01 (21) 9.04 (23) 12.04 (08) 13.04 (06)

AI95-00288-01/02 2004-02-29 -- Pre- and Postconditions

AI95-00289-01/03 2002-03-19 -- Truncation of real static expressions

AI95-00290-01/01 2004-02-29 -- Declaring functions Pure

AI95-00291-01/06 2004-12-07 -- By-reference types and the recommended level of support for representation item

AI95-00291-02/05 2005-05-05 -- By-reference types and the recommended level of support for representation item

AI95-00292-01/00 2002-04-23 -- Sockets operations

AI95-00293-01/00 2002-04-23 -- Built-in hash function

AI95-00294-01/04 2004-04-22 -- Instantiating with abstract operations

AI95-00295-01/02 2002-09-27 -- Another violation of constrained access subtypes

AI95-00296-01/10 2005-03-10 -- Vector and matrix operations

AI95-00297-01/13 2005-05-05 -- Timing events

AI95-00298-01/05 2004-05-24 -- Non-Preemptive Dispatching

AI95-00299-01/02 2002-09-25 -- Defaults for generic formal parameters

AI95-00300-01/01 2002-06-13 -- The standard storage pool

AI95-00301-01/13 2005-05-05 -- Operations on language-defined string types

44) A.10.01 (48) A.10.07 (17) A.10.12 (00) A.11 (03)

AI95-00302-01/07 2003-09-25 -- Data structure components for Ada

AI95-00302-02/02 2003-09-29 -- Container library

AI95-00302-03/13 2005-05-13 -- Container library

AI95-00302-04/00 2004-02-13 -- Container library (mail container)

AI95-00303-01/03 2004-12-02 -- Removal of library-level requirement for interrupt handler objects

AI95-00304-01/01 2003-09-30 -- Reemergence of "=" in generics.

AI95-00305-01/10 2005-05-05 -- New pragma and additional restriction identifiers for real-time systems

AI95-00306-01/03 2003-05-22 -- Class-wide extension aggregate expressions

AI95-00307-01/12 2005-05-05 -- Execution-time clocks

AI95-00308-01/01 2002-08-30 -- Private generic children are private

AI95-00309-01/02 2004-11-30 -- Pragma Inline compatibility

AI95-00310-01/04 2003-05-22 -- Ignore abstract nondispatching subprograms during overloading

AI95-00311-01/03 2004-12-02 -- Static matching of scalar formal subtypes

AI95-00312-01/02 2004-11-30 -- Environment-level visibility rules and generic children

AI95-00313-01/01 2002-09-27 -- Self-reference in subprogram access

AI95-00314-01/00 2002-09-30 -- Standardize Discard_Names

AI95-00315-01/02 2004-02-27 -- Full support for IEC 559:1989

AI95-00316-01/02 2003-05-22 -- Return accessibility checks and value conversions

AI95-00317-01/10 2004-11-09 -- Partial parameter lists for formal packages

AI95-00318-01/03 2004-02-28 -- Returning [limited] objects without copying

AI95-00318-02/09 2005-05-16 -- Limited and anonymous access return types

5 (08) 7.05 (09) 7.06 (17.1) 7.06.01 (02) 7.06.01 (18) 8.01 (4) 9.05.02 (29) 13.08 (10)

AI95-00319-01/02 2003-09-19 -- Object_Size attribute

AI95-00320-01/04 2004-11-09 -- Violating Ada semantics with an interfacing pragma

AI95-00321-01/05 2003-12-03 -- Definition of dispatching policies

AI95-00322-01/00 2003-01-22 -- User-defined operator symbols

AI95-00323-01/01 2003-01-22 -- Allow in out parameters for functions.

AI95-00324-01/01 2003-02-01 -- Physical Units Checking

AI95-00325-01/01 2003-02-05 -- Anonymous access types as function result types

AI95-00326-01/10 2005-05-24 -- Incomplete types

AI95-00327-01/09 2005-05-05 -- Dynamic ceiling priorities

AI95-00328-01/03 2003-12-03 -- Preinstantiations of Complex_IO

AI95-00329-01/06 2004-11-04 -- pragma No_Return -- procedures that never return

AI95-00330-01/02 2004-12-03 -- Generic actual parameters are always value conversions

AI95-00331-01/02 2004-11-30 -- 10.1.1(19) doesn't handle multiple nesting?

AI95-00332-01/04 2004-12-02 -- Resolution of qualified expressions and object renamings

AI95-00333-01/06 2004-11-09 -- Other Locking_Policies can be used with FIFO_Within_Priorities

AI95-00334-01/03 2004-11-08 -- Is overriding of abstract equality required?

AI95-00335-01/03 2004-11-08 -- Stream attributes may be dispatching subprograms

AI95-00336-01/00 2003-07-31 -- (Deleted)

AI95-00337-01/03 2005-02-28 -- Applicability of C interfacing advice to private types

AI95-00338-01/00 2003-07-31 -- Constrained attribute for generic formal private types

AI95-00339-01/01 2003-07-31 -- Add use clauses to protected types

AI95-00340-01/04 2004-05-29 -- Mod attribute

AI95-00341-01/02 2003-11-08 -- Primitive subprograms are frozen with a tagged type

AI95-00342-01/00 2003-08-04 -- Requirement for freeing task storage on unchecked deallocation

AI95-00343-01/01 2003-08-04 -- C_Pass_By_Copy convention is required

AI95-00344-01/11 2005-05-05 -- Allow nested type extensions

AI95-00345-01/09 2005-06-05 -- Protected and task interfaces

AI95-00346-01/02 2003-10-23 -- Roots of polynomials

AI95-00347-01/03 2003-12-03 -- Title of Annex H

AI95-00348-01/08 2005-05-23 -- Null procedures

AI95-00349-01/02 2003-11-07 -- Equality on private extensions

AI95-00350-01/01 2003-09-16 -- Allocating and comparing zero-size objects

AI95-00351-01/08 2005-06-06 -- Time operations

AI95-00352-01/01 2003-09-24 -- ARINC_653_Processes Profile

AI95-00353-01/03 2003-12-04 -- New Restrictions identifier No_Synchronous_Control

AI95-00354-01/09 2005-05-05 -- Group execution-time budgets

AI95-00355-01/08 2005-03-10 -- Priority Specific Dispatching including Round Robin

AI95-00356-01/01 2003-09-27 -- Support for Preemption Level Locking Policy

AI95-00357-01/09 2005-03-13 -- Support for Deadlines and Earliest Deadline First Scheduling

AI95-00358-01/01 2003-09-27 -- Application-defined scheduling

AI95-00359-01/03 2004-06-07 -- Deferring Freezing of a Generic Instantiation

AI95-00359-02/02 2004-07-02 -- Deferring Freezing of a Generic Instantiation

AI95-00359-03/01 2004-07-29 -- Delayed completion of a generic instantation

AI95-00359-04/05 2004-11-21 -- Partial view of generic instantiations

AI95-00360-01/07 2005-03-17 -- Types that need finalization

AI95-00361-01/03 2004-05-27 -- Raise with message

AI95-00362-01/06 2005-02-02 -- Some predefined packages should be recategorized

AI95-00363-01/09 2005-05-19 -- Eliminating access subtype problems

AI95-00364-01/06 2004-12-30 -- Fixed-point multiply/divide

AI95-00365-01/02 2004-01-09 -- Permissions to create grandchildren of Ada

AI95-00366-01/09 2005-06-08 -- More liberal rules for Pure units

AI95-00367-01/01 2004-04-02 -- Add subtype declarations for Natural_n and Positive_n in package Interfaces

AI95-00368-01/04 2004-11-09 -- Restrictions for obsolescent features

AI95-00369-01/00 2004-02-05 -- Completions and renaming

AI95-00370-01/05 2004-12-05 -- Environment variables

AI95-00371-01/01 2004-02-05 -- New hierarchy for OS-dependent services

AI95-00372-01/01 2004-02-05 -- Restrictions for default stream attributes of elementary types

AI95-00373-01/06 2005-05-18 -- Undefined discriminants caused by loose order of init requirements

AI95-00374-01/01 2004-02-28 -- Assertions_Only pragma

AI95-00375-01/01 2004-02-29 -- Type and Package Invariants

AI95-00376-01/03 2005-03-02 -- Interfaces.C works for C++ as well

AI95-00377-01/03 2004-11-30 -- Naming of generic child packages

AI95-00378-01/02 2004-11-09 -- The bounds of Ada.Exceptions.Exception_Name

AI95-00379-01/01 2004-04-20 -- Static evaluation of numeric attributes

AI95-00380-01/00 2004-04-26 -- Sign of zero in complex values

AI95-00381-01/05 2005-05-05 -- New Restrictions identifier No_Dependence

AI95-00382-01/04 2005-06-05 -- Current instance rule and anonymous access types

AI95-00383-01/01 2005-05-23 -- Unconstrained arrays and C interfacing

AI95-00384-01/04 2004-11-09 -- Access to discriminated type conversion rules made symmetric

AI95-00385-01/04 2005-03-23 -- Stand-alone objects of anonymous access types

AI95-00386-01/03 2005-03-18 -- Further functions returning Time_Span values

AI95-00387-01/04 2005-05-23 -- Introduction to Amendment

AI95-00388-01/02 2004-12-30 -- Add Greek pi to Ada.Numerics

AI95-00389-01/03 2004-12-03 -- Allow aggregates of partial views

AI95-00390-01/02 2004-11-14 -- Defining by renaming an inherited subprogram

AI95-00391-01/04 2004-12-09 -- Functions with controlling results in null extensions

AI95-00392-01/02 2005-02-25 -- Prohibit unsafe array type conversions

AI95-00393-01/01 2004-12-15 -- Defaulted generic parameters evaluation and elaboration check

AI95-00394-01/03 2005-03-01 -- Redundant Restriction Identifiers and completing Ravenscar definition

AI95-00395-01/08 2005-05-15 -- Various clarifications regarding 16- and 32-bit characters

AI95-00396-01/03 2005-05-18 -- The "no hidden interfaces" rule

AI95-00397-01/05 2005-05-09 -- Conformance and overriding for entries and protected operations

AI95-00398-01/02 2005-03-13 -- A parameter of a formal package should be given at most once

AI95-00399-01/03 2005-06-05 -- Single task and protected objects implementing interfaces

AI95-00400-01/04 2005-06-01 -- Wide_ and Wide_Wide_ images of identifiers

AI95-00401-01/04 2005-05-05 -- Terminology for interfaces

01 (21) 12.05.05 (04)

AI95-00402-01/02 2005-03-11 -- Access discriminants of non-limited types

AI95-00403-01/03 2005-05-05 -- Preelaboration checks and formal objects

AI95-00404-01/05 2005-05-11 -- Not null and all in access parameters and types

AI95-00405-01/03 2005-03-10 -- Determining the ancestor interfaces in Ada.Tags

AI95-00406-01/02 2005-03-08 -- Aliased permitted with anonymous access types

AI95-00407-01/05 2005-05-18 -- Terminology and semantics of prefixed views

AI95-00408-01/02 2005-02-26 -- Visibility for attribute_definition_clauses

AI95-00409-01/03 2005-06-15 -- Conformance and overload resolution related to anon access types

AI95-00410-01/01 2005-02-07 -- Limited with should be allowed on bodies

AI95-00411-01/02 2005-02-26 -- Predefined equality for types derived from interfaces

AI95-00412-01/05 2005-06-15 -- Subtypes of incomplete types; renamings of limited views

AI95-00413-01/01 2005-02-07 -- Partial view, task, and protected aggregates

AI95-00414-01/03 2005-05-19 -- pragma No_Return for overriding procedures

AI95-00415-01/03 2005-06-05 -- Presentation changes to the Standard

AI95-00416-01/08 2005-05-09 -- Access results, accessibility, and return statements

08 (05) 4.08 (10) 6.05 (05) 6.05 (06) 6.05 (20) 6.05 (22) 7.06.01 (03) 7.06.01 (09) 9.02 (02) 9.02 (03) 9.02 (04) 13.11 (25) 13.11.02 (9) 13.11.02 (10) 13.11.02 (17)

AI95-00417-01/01 2005-03-09 -- Lower bound of functions in Ada.Tags and Ada.Exceptions

AI95-00418-01/03 2005-05-05 -- Vector norm

AI95-00419-01/04 2005-05-05 -- Limitedness of derived types

AI95-00420-01/02 2005-05-05 -- Resolution of universal operators in package Standard

AI95-00421-01/04 2005-05-05 -- Sequential activation and attachment

AI95-00422-01/01 2005-03-09 -- User data for timing events

AI95-00423-01/05 2005-05-05 -- Renaming, null exclusion and formal objects

AI95-00424-01/02 2005-05-15 -- List of language-defined units

AI95-00425-01/02 2005-05-05 -- Organization of Annex M

AI95-00426-01/03 2005-05-09 -- Language-defined routines returning abnormal and invalid values

AI95-00427-01/04 2005-05-05 -- Default parameters and Calendar operations

AI95-00428-01/02 2005-05-05 -- Input-output for bounded strings

AI95-00429-01/01 2005-03-15 -- Representation of minus signs

AI95-00430-01/01 2005-05-05 -- Conventions of inherited subprograms

AI95-00431-01/01 2005-05-05 -- Conversions to remote access-to-subprogram types

AI95-00432-01/01 2005-05-05 -- Out of range values in Ada.Real_Time

AI95-00433-01/02 2005-05-19 -- Examples in the RM