CVS difference for ai12s/cor15con.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2014/01/05 04:25:25	1.2
+++ ai12s/cor15con.txt	2014/07/24 04:20:02	1.3
@@ -5,6 +5,17 @@
 !comment be changed for a new Corrigendum or Amendment.
 !comment The paragraphs must be in sorted order!!
 
+!corrigendum 3.2.4(4/3)
+!AI-0071-1
+!AI-0099-1
+
+@drepl
+@xbullet<For a (first) subtype defined by a derived type declaration,
+the predicates of the parent subtype and the progenitor subtypes apply.>
+@dby
+@xbullet<For a (first) subtype defined by a type declaration, any
+predicates of parent or progenitor subtypes apply.>
+
 !corrigendum 3.2.4(31/3)
 !AI-0054-2
 !AI-0071-1
@@ -177,6 +188,30 @@
 constraints of the named subtype, the value satisfies the predicates of the named
 subtype, and:>
 
+!corrigendum 5.5.2(6/3)
+!AI-0047-1
+!AI-0120-1
+
+@dinsa
+In a container element iterator whose @i<iterable_>@fa<name> has
+type @i<T>, if the @i<iterable_>@fa<name> denotes a
+constant or the Variable_Indexing aspect is not specified for @i<T>,
+then the Constant_Indexing aspect shall be specified for @i<T>.
+@dinss
+The @i<iterator_>@fa<name> or @i<iterable_>@fa<name> of an
+@fa<iterator_specification> shall not denote a subcomponent that
+depends on discriminants of an object whose nominal subtype is
+unconstrained, unless the object is known to be constrained.
+
+A container element iterator is illegal if the call of the default iterator
+function that creates the loop iterator (see below) is illegal.
+
+A generalized iterator is illegal if the iteration cursor subtype of the
+@i<iterator_>@fa<name> is a limited type at the point of the generalized iterator.
+A container element iterator is illegal if the default cursor subtype 
+of the type of the @i<iterable_>@fa<name> is a limited type at the point of the
+container element iterator.
+
 !corrigendum 7.3.2(19/3)
 !AI-0042-1
 !AI-0044-1
@@ -206,10 +241,10 @@
 overrides an inherited operation that is visible outside the
 immediate scope of @i<T>, or>
 
-@xi2bull<@i<T> is a record extension and the subprogram or entry is a
-primitive operation that corresponds to a visible operation of a private
-or private extension ancestor to which the same (class-wide)
-invariant applies.>
+@xi2bull<@i<T> is a record extension, and the subprogram or entry is a
+primitive operation visible outside the immediate scope of type @i<T> or
+overrides an inherited operation that is visible outside the immediate
+scope of @i<T>.>
 
 
 !corrigendum 11.3(4/2)
@@ -238,6 +273,93 @@
 1  If the evaluation of a @i<string_>@fa<expression> raises an exception, that
 exception is propagated rather than the one denoted by the @i<exception_>@fa<name>
 of the @fa<raise_statement> or @fa<raise_expression>.>>
+
+!corrigendum A(3)
+!AI-0052-1
+!AI-0114-1
+
+@drepl
+The implementation shall ensure that each language-defined subprogram is
+reentrant in the sense that concurrent calls on the same subprogram perform as
+specified, so long as all parameters that could be passed by reference denote
+nonoverlapping objects.
+@dby
+The implementation shall ensure that each language-defined subprogram
+is reentrant in the sense that concurrent calls on any language-defined
+subprogram perform as specified, so long as all objects that are denoted by
+parameters that could be passed by reference or designated by parameters of
+an access type are nonoverlapping.
+
+For the purpose of determining whether concurrent calls on text input-output
+subprograms are required to perform as specified above, when calling a
+subprogram within Text_IO or its children that implicitly operates on one of the
+default input/output files, the subprogram is considered to have a
+parameter of Current_Input or Current_Output (as appropriate).
+
+!corrigendum D.13(6/3)
+!AI-0055-1
+!AI-0073-1
+
+@drepl
+@xcode<@b<pragma> Task_Dispatching_Policy (FIFO_Within_Priorities);
+@b<pragma> Locking_Policy (Ceiling_Locking);
+@b<pragma> Detect_Blocking;
+@b<pragma> Restrictions (
+                No_Abort_Statements,
+                No_Dynamic_Attachment,
+                No_Dynamic_Priorities,
+                No_Implicit_Heap_Allocations,
+                No_Local_Protected_Objects,
+                No_Local_Timing_Events,
+                No_Protected_Type_Allocators,
+                No_Relative_Delay,
+                No_Requeue_Statements,
+                No_Select_Statements,
+                No_Specific_Termination_Handlers,
+                No_Task_Allocators,
+                No_Task_Hierarchy,
+                No_Task_Termination,
+                Simple_Barriers,
+                Max_Entry_Queue_Length =@> 1,
+                Max_Protected_Entries =@> 1,
+                Max_Task_Entries =@> 0,
+                No_Dependence =@> Ada.Asynchronous_Task_Control,
+                No_Dependence =@> Ada.Calendar,
+                No_Dependence =@> Ada.Execution_Time.Group_Budgets,
+                No_Dependence =@> Ada.Execution_Time.Timers,
+                No_Dependence =@> Ada.Task_Attributes,
+                No_Dependence =@> System.Multiprocessors.Dispatching_Domains);>
+@dby
+@xcode<@b<pragma> Task_Dispatching_Policy (FIFO_Within_Priorities);
+@b<pragma> Locking_Policy (Ceiling_Locking);
+@b<pragma> Detect_Blocking;
+@b<pragma> Restrictions (
+                No_Abort_Statements,
+                No_Dynamic_Attachment,
+                No_Dynamic_CPU_Assignment,
+                No_Dynamic_Priorities,
+                No_Implicit_Heap_Allocations,
+                No_Local_Protected_Objects,
+                No_Local_Timing_Events,
+                No_Protected_Type_Allocators,
+                No_Relative_Delay,
+                No_Requeue_Statements,
+                No_Select_Statements,
+                No_Specific_Termination_Handlers,
+                No_Task_Allocators,
+                No_Task_Hierarchy,
+                No_Task_Termination,
+                Simple_Barriers,
+                Max_Entry_Queue_Length =@> 1,
+                Max_Protected_Entries =@> 1,
+                Max_Task_Entries =@> 0,
+                No_Dependence =@> Ada.Asynchronous_Task_Control,
+                No_Dependence =@> Ada.Calendar,
+                No_Dependence =@> Ada.Execution_Time.Group_Budgets,
+                No_Dependence =@> Ada.Execution_Time.Timers,
+                No_Dependence =@> Ada.Synchronous_Barriers,
+                No_Dependence =@> Ada.Task_Attributes,
+                No_Dependence =@> System.Multiprocessors.Dispatching_Domains);>
 
 
 !corrigendum E.2.2(17/2)

Questions? Ask the ACAA Technical Agent