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/07 2000-07-11 -- Ada.Streams.Stream_IO.Stream can raise Status_Error Class: Binding Interpretation Status: Corrigendum 2000 99-06-02 RM References: A.12.01 (29) A.12.01 (36) 13.13.01 (08-09) AI95-00002/04 1999-10-08 -- Subunits of a preelaborated subprogram Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: 10.02.01 (11) AI95-00003/02 1999-09-15 -- Access types declared in shared passive generic packages Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: E.02.01 (07) AI95-00004/06 1999-08-31 -- Conversions to types derived from remote access types Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: E.02.02 (09) AI95-00006/02 1999-05-27 -- private child in with_clause Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 10.01.02 (08) AI95-00007/02 2000-07-11 -- Enumeration_IO does not allow instantiation for a float type Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: A.10.10 (17) AI95-00012/04 1999-10-07 -- The first subtype of a type defined by an access[_type]_definition Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: 3.10 (14) AI95-00014/02 1999-05-27 -- ... and {its calling convention} shall not be Intrinsic. Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 3.10.02 (32) AI95-00018/05 2000-01-24 -- Inconsistency with Ada 83 in the definition of exponentiation Priority: Low Difficulty: Easy Class: Confirmation Status: Records of Response 2000 00-01-24 RM References: 4.05.06 (11) AI95-00025/05 2000-07-12 -- Matching rules for generic formal access-to-constant types Priority: Low Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 12.05.04 (04) AI95-00026/06 2000-09-26 -- Stream_IO.Read and Stream_IO.Write advance the current index Class: Binding Interpretation Status: Corrigendum 2000 99-08-13 RM References: A.12.01 (28-35) AI95-00027/02 1999-07-08 -- Typo: is access all {Ada.}Streams.Root_Stream_Type'Class Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.12.02 (03) AI95-00028/01 1999-08-31 -- Should "pragma" be in boldface? Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: G.01.01 (02) AI95-00029/03 2000-04-11 -- Does Complex_IO handle extended real literals? Class: Binding Interpretation Status: Corrigendum 2000 99-08-13 RM References: G.01.03 (12) AI95-00030/01 1999-08-31 -- The word "prefix" should be in sans serif font Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: 3.06.02 (02) AI95-00031/05 2000-07-07 -- Unpacking a record type with primitive subprograms Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 13.06 (02) AI95-00032/02 1999-05-27 -- visible part of a renaming Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 8.02 (05) AI95-00033/07 1999-10-07 -- Delayed declaration of inherited primitive subprograms Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 7.03.01 (03) 7.03.01 (04) 7.03.01 (05) 7.03.01 (06) AI95-00034/05 2000-07-13 -- Unconstrained formal types Priority: Medium Difficulty: Hard Class: Ramification Status: Records of Response 2000 00-01-24 RM References: 3.02 (09) AI95-00035/06 2000-01-25 -- Type descriptors can be laid out at compile time Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 7.03.01 (07) AI95-00036/06 2000-04-11 -- What are the rules for named notation in pragmas? Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 2.08 (04) B.01 (09) AI95-00037/07 1999-08-31 -- In Interfaces.C, nul and wide_nul represent zero Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: B.03 (20) B.03 (30-31) B.03 (63) AI95-00038/05 2000-01-25 -- Mapping between Interfaces.C.char and Standard.Character Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: B.03 (46) AI95-00039/03 1999-08-31 -- Effect of Update(Null_Ptr,...) Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: B.03.01 (44) AI95-00040/07 2000-07-12 -- A box for a formal subprogram_default freezes the actual Priority: Low Difficulty: Easy Class: Ramification Status: Records of Response 2000 00-01-24 RM References: 13.14 (05) AI95-00041/14 2000-07-13 -- Program unit pragmas in generic units Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: 8.03 (16) 8.03 (18) 10.01.05 (07) 12.03 (13) 12.03 (14) AI95-00042/03 1999-07-08 -- use of incomplete types Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 3.10.01 (09) AI95-00043/05 2000-04-11 -- Predefined operators for generic formal array types Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 12.05 (08) AI95-00044/06 1999-10-07 -- Overriding by implicit declarations Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: 8.03 (09-10) 8.03 (26) AI95-00045/03 1999-07-08 -- Servicing of entry calls is part of a protected action Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 9.05.03 (00) AI95-00046/05 2000-07-07 -- Intent of "only" Class: Confirmation Status: WG9_Approved 95-06-14 RM References: E.02.02 (14) AI95-00047/05 2000-04-11 -- {User-defined} Read and Write attributes Class: Binding Interpretation Status: Corrigendum 2000 99-08-17 RM References: E.02.02 (14) AI95-00048/10 2000-04-11 -- An RCI unit can be a library subprogram Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: E.02.03 (07) E.02.03 (09-14) E.02.03 (19) E.02 (04) AI95-00049/03 1999-05-27 -- Reserved_128, etc. Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.01 (35) AI95-00050/03 1999-08-31 -- External files of Standard_Input and Standard_Output Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: A.10.03 (25) A.14 (03) A.10 (05) AI95-00051/10 1999-11-29 -- Size and Alignment Clauses for Objects Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-01 RM References: 13.03 (42) AI95-00053/06 2000-08-29 -- Case sensitivity of Wide_Value and Value attributes Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 3.05 (43) AI95-00054/03 1999-08-31 -- When is a Small clause allowed? Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-08-17 RM References: 3.05.10 (02) AI95-00055/02 1999-07-08 -- Overflow for Adjacent, Machine, and Model attributes Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 97-11-14 RM References: A.05.03 (50) AI95-00056/02 1999-07-08 -- Create(Mode => Append_File) Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.08.02 (02) AI95-00057/03 1999-08-31 -- Text_IO.Flush should use mode 'in' Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: A.10.01 (21) A.10.03 (20) A.12.01 (25) AI95-00058/08 1999-09-26 -- Accessibility Rules for Shared_Passive Packages Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 95-06-25 RM References: E.02.01 (08) AI95-00059/02 1999-07-08 -- Specifying Storage size for tasks Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 13.03 (61) AI95-00060/05 1999-05-27 -- No predefined 'Truncate Attribute on Fixed-Point Types Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.04 (00) AI95-00062/06 1999-10-07 -- Derived access types share the same pool Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: 3.04 (31) 3.10 (07) AI95-00063/07 2000-07-13 -- Erroneous execution for closing default files Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: A.10.03 (23) AI95-00064/10 2000-04-20 -- Elaboration checks for renamings-as-body Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-24 RM References: 3.11 (10) 3.11.01 (01) 8.05.04 (08) AI95-00065/01 1995-09-05 -- (Deleted) Class: Ramification Status: Deleted 96-09-05 RM References: 3.09.02 (01) AI95-00066/01 1999-08-31 -- Incorrect syntax in example -- remove "limited" Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: 13.11 (39) AI95-00067/05 2000-04-11 -- Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting) Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: D.07 (15) D.07 (17-19) AI95-00068/02 1999-09-15 -- Number of queuing policies defined Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: D.04 (01) AI95-00069/03 2000-01-25 -- One queuing policy per partition Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: D.04 (15) AI95-00070/02 2000-06-19 -- Incorrect picture string example Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: F.03.02 (74) AI95-00071/04 2000-06-19 -- Correction to the Valid function in COBOL interface Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: B.04 (63-65) AI95-00072/04 2000-04-11 -- Clarification of result length for conversions in COBOL interface Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: B.04 (71) B.04 (79) B.04 (87) AI95-00073/01 1999-05-28 -- Pragmas are allowed in generic_formal_parts. Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 2.08 (05) AI95-00074/02 1999-05-28 -- Pragma Inline Requires an Argument Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 6.03.02 (02) AI95-00076/03 1999-07-08 -- String literal constraint ramification is correct. Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 4.02 (11) AI95-00077/04 2000-01-25 -- Separate compilation of generic bodies Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 10.01.04 (03) AI95-00078/03 1999-07-08 -- semantic dependence on illegal or obsolete units Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 10.01.04 (05) AI95-00081/02 2000-04-11 -- Integer_Text_IO, etc. not listed in A(2) Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: A (02) AI95-00082/03 2000-04-11 -- The PCS may be defined by the user Class: Binding Interpretation Status: Corrigendum 2000 99-07-08 RM References: E.04 (20) E.05 (24) AI95-00083/07 2000-07-13 -- Aggregates of a controlled type Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 7.06 (17) 7.06 (21) AI95-00084/03 1999-07-08 -- Questions about Generic_Elementary_Functions Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: A.05.01 (00) AI95-00085/05 1998-04-04 -- Append_File, Reset and positioning Priority: High Difficulty: Hard Class: Confirmation Status: Work Item 98-10-09 RM References: A.08.02 (16) A.12.01 (33) AI95-00086/06 2000-07-07 -- Passing generic formal packages with (<>) Priority: Medium Difficulty: Hard Class: Confirmation Status: Work Item 00-07-07 RM References: 12.07 (0) (00) AI95-00087/04 2000-01-25 -- Saving and restoring Current_Output Priority: Low Difficulty: Easy Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: A.10.03 (00) AI95-00089/06 2000-04-11 -- Float_Random.Value, Discrete_Random.Value Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: A.05.02 (40) AI95-00090/04 1996-02-06 -- (Deleted) Class: Ramification Status: Deleted 96-02-06 RM References: D.01 (22) AI95-00091/02 1999-08-31 -- Pragma Locking_Policy cannot be in a program unit Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: D.03 (06) AI95-00092/08 1999-09-15 -- Priority changes due to Set_Priority and Hold are not transitive Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: D.11 (05) D.01 (21) D.01 (22) AI95-00093/06 2000-07-31 -- Float_Type'Small Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 4.01.04 (12) AI95-00094/01 1999-07-08 -- Exponentiation: 0.0 ** 0.0 raises Argument_Error. Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.01 (42) AI95-00095/05 2000-07-13 -- Modular types on one's complement machines Priority: High Difficulty: Medium Class: Ramification Status: Corrigendum 2000 99-05-25 RM References: 3.05.04 (07) 3.05.04 (27) AI95-00096/03 1999-07-08 -- sparse case statements Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 5.04 (00) AI95-00097/07 2000-01-25 -- Conversions between access types with different representations Priority: High Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 4.06 (47) AI95-00098/02 1999-08-31 -- unknown_discriminant_parts on generic formal types Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: 3.07 (08) 12.05 (10) AI95-00099/02 1999-07-08 -- Accuracy requirements for elementary functions Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.01 (01) AI95-00100/03 2001-01-29 -- Truncation required for static expressions if Machine_Rounds is Priority: Low Difficulty: Medium Class: Confirmation Status: Work Item 95-10-21 RM References: 4.09 (38) AI95-00101/06 1999-09-15 -- Abort_Task has a parameter of mode 'in' Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: C.07.01 (03) AI95-00102/02 1999-05-28 -- A generic formal limited private type can have an access discriminant. Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 97-11-14 RM References: 3.07 (10) AI95-00103/04 2000-01-25 -- Storage pools and access types designating task types Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 13.11 (00) AI95-00104/08 1999-09-15 -- Version and Body_Version attributes Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: E.03 (05) AI95-00105/04 1999-05-27 -- extra negative value Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 3.05.04 (09) AI95-00106/10 2000-07-11 -- Freezing rules Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: 13.14 (06) 13.14 (08) 13.14 (11) 13.14 (04) AI95-00107/06 1999-05-28 -- Base attribute for non-scalar subtypes? Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 4.01.04 (12) AI95-00108/08 2000-07-31 -- Inheritance of stream attributes for type extensions Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-06-02 RM References: 13.13.02 (09) 13.13.02 (27) 13.13.02 (36) AI95-00109/07 1999-11-29 -- Size and Alignment Attributes for Subtypes Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-01 RM References: 13.03 (55) AI95-00110/04 1999-05-27 -- No Constraint Check on 'out' Parameter of an Access Type Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 6.04.01 (13) AI95-00111/03 2000-04-11 -- Accept body not defined Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: D.11 (18) J.07.01 (16) J.07.01 (20) AI95-00112/04 1999-05-27 -- Wide_String file names Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: A.11 (00) AI95-00113/04 1999-09-13 -- Exception raised by Month, Day, Seconds in Ada.Calendar? Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: 9.06 (26) AI95-00114/00 2000-08-31 -- Editorial Comments on AARM Priority: Low Difficulty: Hard Class: Confirmation Status: Work Item 96-04-10 RM References: 12.03 (11) AI95-00115/03 2000-07-13 -- Controlled types in language-defined generic packages Priority: High Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-24 RM References: 3.09.01 (03) 7.06 (04) A (00) AI95-00116/05 2000-06-21 -- Elaboration of a task with no task_definition Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 9.01 (09) AI95-00117/08 2000-04-11 -- Calling conventions Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 3.09.02 (10) 6.03.01 (13) 13.01 (11) B.01 (28) AI95-00118/05 2000-04-11 -- Termination signals query of Terminate attribute Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 9.10 (06) AI95-00119/05 2000-07-13 -- Is normal termination an "external interaction"? Priority: Low Difficulty: Hard Class: Ramification Status: Records of Response 2000 00-01-24 RM References: 1.01.03 (15) AI95-00120/05 1999-05-28 -- What is the minimal upper bound of type Integer? Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 3.05.02 (03) AI95-00121/06 2000-04-11 -- Pragma Attach_Handler on nested objects Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: C.03.01 (07) C.03.01 (12) C.03.01 (14) AI95-00122/03 1999-05-28 -- Use_type_clause where First Subtype is not Directly Visible Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 8.04 (08) AI95-00123/12 2000-08-17 -- Equality for composite types Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 4.05.02 (24) 4.05.02 (32) AI95-00124/04 1999-08-31 -- The AE characters are allowed in identifiers Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 1.02 (08) 2.01 (08) AI95-00125/04 2000-07-12 -- Order of Size and Small clauses for fixed point types Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 13.03 (55) AI95-00126/11 2000-07-13 -- Classification of language-defined packages Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: E.02.02 (08) 7.06 (04) A.05.01 (09) G.01.01 (25) G.01.02 (09) AI95-00127/10 2000-07-31 -- Expected type of a 'Access attribute Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-25 RM References: 3.09.02 (07) 3.09.02 (09) 3.10.02 (24) 3.10.02 (27) 4.08 (03) AI95-00128/08 2000-07-31 -- String packages Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-08-13 RM References: A.04.03 (68) A.04.04 (101) A.04.04 (102-105) A.04.05 (86-87) A.04.03 (2,74) AI95-00129/03 1999-05-28 -- Discriminant Inheritance for Private Extensions Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 7.03 (10) AI95-00130/07 2000-04-11 -- Enforcing Restrictions might violate the generic contract model Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: 13.12 (08) 13.12 (09) D.07 (04) H.04 (08) AI95-00131/11 2000-04-11 -- Interface to C -- passing records as parameters of mode 'in' Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: B.01 (01) B.01 (13-18) B.01 (60-61) B.01 (68-69) AI95-00132/06 2000-07-12 -- Exception raised at end of stream Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 13.13.01 (08) 13.13.02 (35) A.13 (13) AI95-00133/02 1998-03-27 -- controlling bit ordering Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 96-05-07 RM References: 13.05.03 (00) AI95-00134/02 1999-05-27 -- Source Representation Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 2.01 (18) AI95-00135/05 2000-07-13 -- Circular renamings as body Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-08-13 RM References: 8.05.04 (05) 8.05.04 (08) AI95-00136/06 1999-08-31 -- Placement of program unit pragmas in generic packages Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: 10.01.05 (05) AI95-00137/08 2000-08-31 -- Attribute definition clause for stream attributes Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 13.01 (10-11) AI95-00138/03 1999-05-28 -- Null String Literals when the Index Type is Modular Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 4.02 (10) AI95-00139/03 1999-08-31 -- Interfaces.C.Strings.Value raises Constraint_Error when Length is 0 Priority: Medium Difficulty: Easy Class: Ramification Status: Corrigendum 2000 99-06-02 RM References: B.03.01 (36) AI95-00140/06 2000-07-11 -- Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: B.03.01 (24) AI95-00141/07 1999-05-27 -- Exceptions in Interfaces.C and its Children Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved 97-11-14 RM References: B.03 (00) AI95-00142/01 1999-08-31 -- Incorrect example for Interfaces.C.Pointers Class: Presentation Status: Corrigendum 2000 99-07-28 RM References: B.03.02 (49) AI95-00143/04 1999-05-27 -- Distinct Names for Compilation Units Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 8.03 (25) AI95-00144/01 1997-11-14 -- Pragma List Priority: Low Difficulty: Medium Class: Confirmation Status: No_Action 11-1-0 97-11-14 RM References: 2.08 (25) AI95-00145/04 2000-07-13 -- Profile of predefined operators for scalar types Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 3.05 (15) 8.05.04 (05) A.01 (07) A.01 (09-10) AI95-00146/00 1997-11-14 -- Controlled Components are Finalized Priority: Low Difficulty: Easy Class: Confirmation Status: No_Action 10-0-2 97-11-14 RM References: 7.06.01 (04) AI95-00147/07 1999-07-27 -- Optimization of Controlled Types Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 99-04-20 RM References: 7.06 (21) AI95-00148/01 2000-02-14 -- Requeue of protected entry calls Priority: Low Difficulty: Easy Class: Confirmation Status: Work Item 00-02-14 RM References: 9.05.04 (07) AI95-00149/04 2000-10-04 -- Miscellaneous Confirmations Priority: Low Difficulty: Easy Class: Confirmation Status: Received 96-09-04 RM References: 8.06 (12) AI95-00150/07 1999-10-07 -- Uniqueness of component names Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-08-13 RM References: 8.03 (26) AI95-00151/03 1999-08-31 -- Bounds of string returned by Ada.Strings.Maps.To_Range Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: A.04.02 (63) AI95-00152/06 2000-01-25 -- Operators not inherited from root numeric types Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 4.05.05 (17) AI95-00153/03 1999-09-15 -- Picture string grammar or composition rules need tightening Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: F.03.01 (04-38) F.03.01 (01) F.03.01 (43) AI95-00155/02 1996-09-15 -- (Deleted) Class: Ramification Status: Deleted 96-09-15 RM References: 13.13.02 (00) AI95-00156/07 2000-07-31 -- Polar implementation of complex exponentiation for negative exponents Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: G.01.01 (55) AI95-00157/06 2000-07-13 -- Visibility of inherited private components Priority: High Difficulty: Hard Class: Ramification Status: Records of Response 2000 00-01-24 RM References: 7.03 (15) AI95-00158/01 1997-08-19 -- T'Class as generic actual type Priority: High Difficulty: Hard Class: Binding Interpretation Status: Received 96-09-04 RM References: 12.05 (06) AI95-00159/07 2000-05-30 -- Shared variables in Shared_Passive? Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-20 RM References: 9.10 (00) E.04 (20) AI95-00160/04 2000-07-12 -- Daylight savings and Ada.Calendar Priority: Medium Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 9.06 (24) AI95-00161/05 1999-09-23 -- Default-initialized objects Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-16 RM References: 10.02.01 (09) AI95-00162/02 1998-10-02 -- Anonymous access types and tasks termination/controlled type finalization Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-10-02 RM References: 3.10.02 (13) AI95-00163/05 2000-07-07 -- User-defined fixed,fixed multiplying op Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 4.05.05 (18) AI95-00164/07 2000-09-26 -- Definition of remote access type Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: E.02.02 (09) AI95-00165/08 2000-06-19 -- Recursive use of task attributes Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: C.07.02 (13) C.07.02 (15) C.07.02 (16) AI95-00166/05 2000-04-11 -- Parameterless_Handler values designating default treatment Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: C.03.02 (16) C.03.02 (18) AI95-00167/01 2001-01-29 -- Scalar unchecked conversion is never erroneous Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-03-18 RM References: 13.09.01 (12) AI95-00168/09 2000-09-25 -- Aliased objects cannot have discriminants modified Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 4.06 (12) 3.07.01 (07) AI95-00169/06 2000-08-18 -- Exceptions raised by Adjust/Finalize -- missing cases Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 7.06.01 (13) 7.06.01 (14) 7.06.01 (17) AI95-00170/02 1999-07-27 -- Can an attribute defined in an annex be set in an attribute definition clause? Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 99-06-12 RM References: 13.03 (05) AI95-00171/09 2000-07-13 -- Elaboration of subtype_indications with per-object constraints Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-08-17 RM References: 3.08 (18) 3.03.01 (18) 3.06 (22) 4.03.01 (19) 4.08 (10) 9.04 (14) 9.05.02 (22) AI95-00172/04 2001-01-29 -- Questions about main subprograms Priority: Low Difficulty: Easy Class: Confirmation Status: Work Item 97-03-19 RM References: 10.02 (07) AI95-00173/01 2001-01-29 -- Optimizations and the use of 'Address Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-03-17 RM References: 13.03 (16) AI95-00174/01 2000-11-28 -- Are 'Read and 'Write guaranteed to be "inverses" for predefined types? Priority: Low Difficulty: Easy Class: Confirmation Status: Deleted 00-11-28 RM References: 13.13.02 (09) AI95-00175/04 2000-07-31 -- Full conformance of expressions with attributes Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-06-25 RM References: 6.03.01 (19) 6.03.01 (21) AI95-00176/05 1999-08-31 -- Access_Check is performed for access discriminants Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: 11.05 (11) AI95-00177/04 1999-09-15 -- Interfaces.C.Strings.Value with Length returning String Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: B.03.01 (40) AI95-00178/01 1999-09-18 -- Which I/O operations are potentially blocking? Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-09-18 RM References: 9.05.01 (18) AI95-00179/05 2000-07-12 -- Finalization and Unchecked_Deallocation Priority: High Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-24 RM References: 7.06.01 (17) AI95-00180/06 2000-07-12 -- Pragma Elaborate for child units Priority: Medium Difficulty: Easy Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 10.01.02 (06) AI95-00181/03 1999-08-31 -- Components of Stream_Element_Array should be aliased Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-05-27 RM References: 13.13.01 (04) 13.13.01 (09) AI95-00182/05 1999-10-07 -- Extension aggregates with controlled subcomponents Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 7.06 (11) 7.06.01 (13) AI95-00183/04 2000-01-25 -- Primitive operations declared before it is known if the type is tagged Priority: High Difficulty: Medium Class: Confirmation Status: Records of Response 2000 00-01-25 RM References: 3.09.02 (01) AI95-00184/08 2000-07-13 -- Definiteness and type derivation Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 4.06 (05) 4.06 (54) 8.05.01 (05) AI95-00185/04 2001-09-11 -- Branch cuts of inverse trigonometric and hyperbolic functions Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved 5-0-3 01-05-20 RM References: G.01.02 (15) G.01.02 (16) G.01.02 (17) G.01.02 (20) AI95-00186/02 1999-03-21 -- Range of root_integer Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 97-03-19 RM References: 3.05.04 (14) 3.04 (9) AI95-00187/00 1997-08-19 -- Task attribute operations are atomic but not sequential Priority: Low Difficulty: Medium Class: Confirmation Status: Received 97-08-19 RM References: C.07.02 (16) AI95-00188/03 1999-03-21 -- The definition of setting a task base priority is too vague Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-02 RM References: D.05 (10) AI95-00189/01 2000-11-17 -- The meaning of the terms "processor", "multiprocessor", and "processing node" Priority: Medium Difficulty: Medium Class: Confirmation Status: No_Action 00-11-17 RM References: E (02) AI95-00190/05 1999-10-08 -- Compile-time enforcement of pragma Restrictions Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 13.12 (09) D.07 (15) AI95-00191/02 2001-01-29 -- Are formal parameters passed by reference objects or views? Priority: Low Difficulty: Easy Class: Ramification Status: Received 97-08-19 RM References: 3.03 (04) AI95-00192/06 2000-04-11 -- A library subprogram_body should replace, not complete, an instance Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-08 RM References: 6.03 (04) 10.01.04 (04) AI95-00193/06 1999-09-15 -- Initialize, Adjust, and exceptions Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 7.06.01 (04) 7.06.01 (16) AI95-00194/02 1999-08-31 -- Error in Standard_Error definition Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: A.10.03 (12) AI95-00195/09 2001-09-10 -- Streams Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-04 RM References: 13.13.01 (09) 13.13.01 (27) 13.13.01 (35) 13.13.01 (36) 13.13.01 (36.1) AI95-00196/00 1998-03-27 -- assignment and tag-indeterminate calls with controlling results Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Received 98-03-27 RM References: 3.09.02 (17) AI95-00197/04 1999-11-18 -- (Deleted) Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Deleted 99-11-18 RM References: 7.06 (21) AI95-00198/02 1999-07-28 -- pragma Convention(Intrinsic) is not a completion Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 99-06-12 RM References: 6.03.01 (11) AI95-00199/07 2000-04-13 -- (Deleted) Priority: High Difficulty: Hard Class: Binding Interpretation Status: Deleted 00-04-13 RM References: 10.01.05 (07) AI95-00200/01 1999-03-14 -- Generic formal subprograms as dispatching operations Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-03-14 RM References: 3.02.03 (07) AI95-00201/01 1998-04-01 -- object subtype must statically match designated subtype Priority: Medium Difficulty: Medium Class: Confirmation Status: No_Action 10-0-2 98-04-01 RM References: 4.06 (16) AI95-00202/05 2000-07-13 -- Primitives of formal type derived from another formal type Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: 12.05.01 (21) AI95-00203/04 1999-10-06 -- S'Digits when T'Machine_Radix is 10 Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 3.05.08 (02) AI95-00204/02 1999-09-24 -- Interfaces.Fortran must be absent, right? Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-02-02 RM References: B.05 (00) AI95-00205/02 1999-08-31 -- Priority changes in abortable part Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: D.04 (10) D.04 (11) AI95-00206/05 2000-07-07 -- Ada.Task_Identification.Is_Callable for the environment task Priority: Medium Difficulty: Easy Class: Ramification Status: Records of Response 2000 00-01-24 RM References: C.07.01 (10) AI95-00207/05 2000-07-10 -- Only the current unit is affected by pragma Inspection_Point Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-28 RM References: H.03.02 (5) H.03.02 (8) AI95-00208/05 1999-08-31 -- What is the meaning of "same representation" in all partitions? Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: E.02 (13) AI95-00209/02 2000-11-13 -- pragma Reviewable; can objects become uninitialized? Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-02-05 RM References: H.03.01 (8) AI95-00210/03 1999-07-28 -- Questions on pragma Restriction No_Recursion and No_Reentrancy Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 99-06-12 RM References: H.04 (24) H.04 (27) AI95-00211/06 2000-07-12 -- Can an abstract subprogram be renamed? Priority: Medium Difficulty: Easy Class: Ramification Status: Records of Response 2000 00-01-24 RM References: 8.05.04 (7) AI95-00212/01 2000-11-13 -- Restrictions on configuration pragmas. Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-11-13 RM References: 10.01.05 (09) AI95-00213/06 2000-07-12 -- Formal object matching for formal packages Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: 12.07 (05) 12.07 (06) AI95-00214/01 1999-01-29 -- Distinct Names for Compilation Units (again). Priority: High Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-01-29 RM References: 10.02 (19) 10.01.04 (07) AI95-00215/02 1999-08-31 -- Returning remote class-wide values Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2000 99-07-27 RM References: E.04 (18) AI95-00216/03 2000-11-15 -- Unchecked Unions -- Variant Records With No Run-Time Discriminant Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 99-03-23 RM References: 3.08.01 (01) AI95-00217/03 2000-04-13 -- Handling Mutually Dependent Type Definitions that Cross Packages Priority: High Difficulty: Hard Class: Amendment Status: Work Item 99-03-23 RM References: 10.01.02 (01) 3.10.01 (02) AI95-00218/06 2001-09-11 -- Accidental overloading when overriding Priority: Medium Difficulty: Medium Class: Amendment Status: ARG_Approved 7-0-1 01-05-18 RM References: 8.03 (9-13) 6.01 (1) AI95-00219/01 1999-05-14 -- Conversions between related types. Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-05-14 RM References: 4.06 (8-23) AI95-00220/01 1999-05-27 -- Subprograms withing private compilation units Priority: High Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-05-27 RM References: 10.01.02 (8) AI95-00221/03 2001-09-07 -- Default_Bit_Order is static Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 8-0-0 00-03-31 RM References: 13.07 (15) 13.07 (35) AI95-00222/01 1999-06-25 -- Feature control Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 99-06-25 RM References: 13.12 (1-11) AI95-00223/03 2001-09-07 -- Line terminators are skipped by Get. Priority: Low Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 5-0-2 00-03-31 RM References: A.10.06 (05) AI95-00224/04 2000-11-03 -- pragma Unsuppress Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 99-11-19 RM References: 11.05 (1-8) 11.05 (27) AI95-00225/01 1999-12-09 -- Aliased current instance for limited types Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-12-09 RM References: 3.10 (09) AI95-00226/01 1999-12-09 -- Cyclic Elaboration Dependences Priority: Low Difficulty: Medium Class: Ramification Status: Work Item 99-12-09 RM References: E.01 (10) AI95-00227/05 2001-09-11 -- Behavior of Ada.Streams.Read when at the end of stream Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 6-0-1 00-11-19 RM References: 13.13.01 (4) 13.13.01 (5) 13.13.01 (8) AI95-00228/00 2000-04-10 -- Premature use of "must be overridden" subprograms Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Received 00-04-10 RM References: 3.09.03 (6) AI95-00229/03 2001-08-31 -- Accessibility rules and generics Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 6-0-2 01-05-20 RM References: 3.10.02 (32) AI95-00230/01 2000-04-13 -- Implicit conversions between access types Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 00-04-13 RM References: 10.01.02 (01) AI95-00231/01 2000-04-13 -- Access-to-constant parameters Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 00-04-13 RM References: 3.10 (06) 3.10 (12) 4.06 (49) 8.06 (25) AI95-00232/01 2000-04-13 -- Dispatching operation visibility and ambiguity Priority: Low Difficulty: Hard Class: Amendment Status: Work Item 00-04-13 RM References: 10.01.02 (01) AI95-00233/01 2000-10-03 -- Inheritance of components of generic formal derived types Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-04-27 RM References: 12.05 (08) 12.05.01 (20) 12.05.01 (21) AI95-00234/02 2000-11-28 -- Unsigned integer types Priority: Low Difficulty: Hard Class: Amendment Status: No_Action (9-0-1) 00-11-18 RM References: 3.05.04 (00) AI95-00235/05 2001-09-11 -- Resolving 'Access Priority: High Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 8-0-2 00-11-19 RM References: 3.10.02 (02) AI95-00236/02 2000-11-19 -- Minimum criteria for metrics documentation Priority: Low Difficulty: Medium Class: Confirmation Status: ARG_Approved 8-1-0 00-11-19 RM References: D (02) AI95-00237/05 2001-09-11 -- Finalization of task attributes Priority: Low Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 8-0-0 01-05-20 RM References: C.07.02 (17) AI95-00238/00 2000-07-10 -- What is the lower bound of Ada.Strings.Bounded.Slice? Priority: Low Difficulty: Medium Class: Confirmation Status: Work Item 00-07-10 RM References: D (02) AI95-00239/01 2000-07-20 -- Controlling inherited default expressions Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-07-20 RM References: 3.09.02 (18) AI95-00240/02 2001-09-12 -- Stream attributes for limited types in Annex E Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-10-04 RM References: E.02.02 (8) E.02.02 (14) E.02.03 (14) AI95-00241/03 2001-09-11 -- Testing for Null_Occurrence Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 9-0-1 00-11-19 RM References: 11.04.01 (14) AI95-00242/01 2000-10-04 -- Surprise behavior of Update Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-10-04 RM References: B.03.01 (18) B.03.01 (19) B.03.01 (43) B.03.01 (45) B.03.01 (46) B.03.01 (47) B.03.01 (48) B.03.01 (49) B.03.01 (50) AI95-00243/01 2000-10-04 -- Is a subunit of a subunit of L also a subunit of L? Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-10-04 RM References: 10.01.03 (8) AI95-00244/01 2000-10-30 -- Legal units which depend on illegal units Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Received 00-10-30 RM References: 10.01.04 (05) 10.01.04 (06) AI95-00245/01 2000-10-30 -- Consistency of inlined calls Priority: Low Difficulty: Medium Class: Confirmation Status: Work Item 00-10-30 RM References: 10.01.04 (07) AI95-00246/02 2000-11-07 -- View conversions between arrays of a by-reference type Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-10-31 RM References: 4.06 (12) AI95-00247/00 2000-11-01 -- Alignment of composite types Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 00-11-01 RM References: 13.03 (26) AI95-00248/01 2000-11-28 -- Directory Operations Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 00-11-28 RM References: A.15 (00) AI95-00249/03 2001-06-04 -- Ravenscar Profile for High-Integrity Systems Priority: High Difficulty: Medium Class: Amendment Status: Work Item 00-12-04 RM References: D.02.02 (5) D.07 (00) AI95-00250/03 2001-04-29 -- Protected Types, Extensible, Tagged, Abstract Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 00-12-04 RM References: 9.04 (05) 9.05.02 (02) 9.05.03 (02) AI95-00251/01 2000-12-04 -- Tagged Types, Abstract Interface, Multiple Inheritance Priority: High Difficulty: Hard Class: Amendment Status: Work Item 00-12-04 RM References: 3.04 (02) 3.09.01 (02) AI95-00252/01 2000-12-04 -- Tagged Types, Object.Operation Notation, Object-Oriented Programming Priority: High Difficulty: Hard Class: Amendment Status: Work Item 00-12-04 RM References: 4.01.03 (05) AI95-00253/03 2001-09-07 -- The legality rules for pragmas Attach_Handler and Interrupt_Handler are similar Priority: Low Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 8-0-0 01-05-20 RM References: C.03.01 (08) AI95-00254/01 2001-08-29 -- Downward closures for access to subprogram types Priority: Low Difficulty: Hard Class: Amendment Status: Work Item 01-08-29 RM References: 3.10 (11) AI95-00255/02 2001-08-31 -- Object renaming of subcomponents of generic in out objects Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 01-02-09 RM References: 8.05.01 (05) 12.04 (09) AI95-00256/03 2001-03-22 -- Various wording changes to the standard Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 01-02-12 RM References: 13.11.01 (01) A.12.01 (30) G.02.02 (03) AI95-00257/02 2001-06-04 -- Restrictions for implementation-defined entities Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 01-02-12 RM References: 13.12 (07) AI95-00258/03 2001-09-11 -- Behavior of Interfaces.C.To_C when the result is null Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 7-0-1 01-05-20 RM References: B.03 (50) AI95-00259/00 2001-02-12 -- Can accesses to atomic objects be combined? Priority: Medium Difficulty: Medium Class: Ramification Status: Received 01-02-12 RM References: C.06 (20) AI95-00260/01 2001-06-02 -- How to replace S'Class'Input with custom versions Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 01-06-02 RM References: 13.13.02 (31) 13.13.02 (34) AI95-00261/01 2001-02-15 -- Extending enumeration types Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 01-02-15 RM References: 13.13.02 (31) 13.13.02 (34) AI95-00262/02 2001-06-04 -- Access to private units in the private part Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 01-02-15 RM References: 10.01.02 (04) 10.01.02 (08) AI95-00263/01 2001-02-23 -- Scalar formal derived types are never static Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 01-02-22 RM References: 4.09 (29) AI95-00264/01 2001-05-09 -- Exceptions as Types Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 01-05-09 RM References: 11.01 (02) 11.03 (02) AI95-00265/02 2001-06-06 -- Partition Elaboration Policy for High-Integrity Systems Priority: High Difficulty: Medium Class: Amendment Status: Work Item 01-05-10 RM References: D.02.02 (5) D.07 (00) AI95-00266/01 2001-05-10 -- Task Termination procedure Priority: High Difficulty: Medium Class: Amendment Status: Work Item 01-05-10 RM References: D.02.02 (5) D.07 (00) AI95-00267/02 2001-05-25 -- Fast float to integer conversions Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 01-05-14 RM References: 4.06 (33) A.05.03 (00) AI95-00268/03 2001-09-07 -- Rounding of real static expressions Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 8-0-0 01-05-20 RM References: 4.09 (38) AI95-00269/01 2001-05-25 -- Generic formal objects can be static in the instance Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 01-05-25 RM References: 4.09 (29) AI95-00270/01 2001-05-25 -- Stream item size control Priority: High Difficulty: Hard Class: Amendment Status: Work Item 01-05-25 RM References: 13.13.01 (00) AI95-00271/02 2001-09-03 -- Handling mutually recursive types via package "abstracts" Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 01-06-02 RM References: 7.01 (02) AI95-00272/00 2001-09-05 -- Pragma Atomic and slices Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Received 01-08-21 RM References: C.06 (07) AI95-00273/00 2001-09-05 -- Use of PCS should not be normative Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Received 01-08-23 RM References: E.05 (01)