CVS difference for ai05s/ai05-0179-1.txt

--- ai05s/ai05-0179-1.txt	2012/03/27 01:55:20	1.8
+++ ai05s/ai05-0179-1.txt	2012/11/20 05:22:58	1.9
@@ -255,3 +255,40 @@
    end if;
 
 ****************************************************************
+
+From: Maxim Reznik
+Sent: Sunday, July  1, 2012  3:43 AM
+
+!topic ASIS: An_Implicit_Null_Statement isn't in spirit of standard
+!reference Ada 2012 5.1(12.1)
+!from Author Name 12-07-01
+!keywords ASIS implicit null statement
+!discussion
+
+AI05-0179-1.TXT proposes:
+
+> In 3.7.22, replace the line:
+>   A_Null_Statement,     -- 5.1
+>with
+>   An_Explicit_Null_Statement,     -- 5.1
+>   An_Implicit_Null_Statement,     -- 5.1
+
+But no others elements kinds in ASIS have Implicit_* literals.
+Instead function Is_Part_Of_Implicit is used to distinguish implicit elements.
+
+I propose to stay with A_Null_Statement and use Is_Part_Of_Implicit to mark implicit
+null statements.
+
+****************************************************************
+
+From: Jean-Pierre Rosen
+Sent: Wednesday, July  4, 2012  3:27 AM
+
+This is somehow different; others are implicit declarations, this is an implicit statement.
+Speaking from a user point of view, I prefer adding a branch in a case statement over
+adding if's into every place where I deal with A_Null_Statement, plus the benefit of the
+coverage checking.
+
+Now, if you want a different name...
+
+****************************************************************