== Changes to ASIS 2005 proposal ==

Asis for Ada 2005 described in [http://www.ada-auth.org/SI99-SUMMARY.HTML the proposal], but still draft and has errors.
We make some changes to it to be able implement Ada 2005:

 * SI99-0006-1 (Interface types)
   * remove A_Private_Type_Declaration from Asis.Declarations.Progenitor_List appropriate Declaration_Kinds
   * correct typo in parameter specification of this function to (Declaration : Asis.Declaration)
   * add An_Interface_Type_Definition and A_Formal_Interface_Type_Definition to appropriate elements of Asis.Definitions.Implicit_Inherited_Subprograms
 * SI99-0004-1 (anonymous access types)
   * Add An_Access_Definition to return Definition_Kinds of Asis.Definitions.Component_Subtype_Indication. I this this function will be marked obsolete and another will be added (something like Component_Subtype), till that we return access_definition through Component_Subtype_Indication.
 * Add ''universal_access_type'' [wiki:Ada/ada-comment-1 (See comment)]
 * Syntax corrections
   * Add '''mod''' to ''attribute_designator'' [wiki:Ada/ada-comment-2 (See comment)]
   * Lost '|' in ''formal_object_declaration'' [wiki:Ada/ada-comment-3 (See comment)]
 * SI99-0022-1 (Add boolean queries to ease use of trait_kinds)
   * Change expected Definition_Kinds [wiki:Ada/ada-comment-4 (See comment)]
 * ''The implicit declaration of the limited view of a library package forms an (implicit) compilation unit''
   * Unit_Kind for limited view should be added, till this use An_Unknown_Unit
   * Separate list of units for limited views, besides Library_Unit_Declarations and Compilation_Unit_Bodies
   * Corresponding_Declaration of a package returns limited view unit
   * Corresponding_Declaration of a limited view returns package unit
   * the same for A_Package_Declaration elements in Asis.Declarations
 * New null default for formal subprogram (not implemented, send [wiki:Ada/ada-comment-5 comment])