--- ais/ai-20302.txt 2005/01/07 03:05:14 1.14 +++ ais/ai-20302.txt 2005/01/28 02:10:54 1.15 @@ -4200,8 +4200,8 @@ The language-defined generic package Containers.Indefinite_Vectors provides a private type Vector and a set of operations. It provides the same -operations as the package Vectors does, with the difference that the -generic formal Element_Type is indefinite. +operations as the package Containers.Vectors (see A.18.2) does, with the +difference that the generic formal Element_Type is indefinite. Static Semantics @@ -4218,7 +4218,8 @@ The language-defined generic package Containers.Indefinite_Doubly_Linked_Lists provides private types List and Cursor, and a set of operations for each -type. It provides the same operations as the package Doubly_Linked_Lists +type. It provides the same operations as the package +Containers.Doubly_Linked_Lists (see A.18.3) does, with the difference that the generic formal Element_Type is indefinite. @@ -4253,8 +4254,8 @@ A.18.12 The Package Containers.Indefinite_Hashed_Maps The language-defined generic package Containers.Indefinite_Hashed_Maps provides -a map with the same operations as the package Hashed_Maps, with the -difference that the generic formal types Key_Type and Element_Type are +a map with the same operations as the package Containers.Hashed_Maps (see A.18.5), +with the difference that the generic formal types Key_Type and Element_Type are indefinite. Static Semantics @@ -4290,7 +4291,8 @@ A.18.13 The Package Containers.Indefinite_Ordered_Maps The language-defined generic package Containers.Indefinite_Ordered_Maps -provides a map with the same operations as the package Ordered, with the +provides a map with the same operations as the package Containers.Ordered +(see A.18.6), with the difference that the generic formal types Key_Type and Element_Type are indefinite. @@ -4327,8 +4329,9 @@ A.18.14 The Package Containers.Indefinite_Hashed_Sets The language-defined generic package Containers.Indefinite_Hashed_Sets provides -a set with the same operations as the package Hashed_Sets, with the -difference that the generic formal type Element_Type is indefinite. +a set with the same operations as the package Containers.Hashed_Sets (see +A.18.8), with the difference that the generic formal type Element_Type is +indefinite. Static Semantics @@ -4345,8 +4348,9 @@ A.18.15 The Package Containers.Indefinite_Ordered_Sets The language-defined generic package Containers.Indefinite_Ordered_Sets provides -a set with the same operations as the package Ordered_Sets, with the -difference that the generic formal type Element_Type is indefinite. +a set with the same operations as the package Containers.Ordered_Sets (see +A.18.9), with the difference that the generic formal type Element_Type is +indefinite. Static Semantics @@ -8940,14 +8944,14 @@ @b<function> Union (Left, Right : Set) @b<return> Set; - @b<function> "or" (Left, Right : Set) @b<return> Set @b<renames> Union; + @b<function> "@b<or>" (Left, Right : Set) @b<return> Set @b<renames> Union; @b<procedure> Intersection (Target : @b<in out> Set; Source : @b<in> Set); @b<function> Intersection (Left, Right : Set) @b<return> Set; - @b<function> "and" (Left, Right : Set) @b<return> Set @b<renames> Intersection; + @b<function> "@b<and>" (Left, Right : Set) @b<return> Set @b<renames> Intersection; @b<procedure> Difference (Target : @b<in out> Set; Source : @b<in> Set); @@ -8961,7 +8965,7 @@ @b<function> Symmetric_Difference (Left, Right : Set) @b<return> Set; - @b<function> "xor" (Left, Right : Set) @b<return> Set + @b<function> "@b<xor>" (Left, Right : Set) @b<return> Set @b<renames> Symmetric_Difference; @b<function> Overlap (Left, Right : Set) @b<return> Boolean; @@ -9156,7 +9160,7 @@ @b<package> Ada.Containers.Ordered_Sets @b<is> @b<pragma> Preelaborate (Ordered_Sets); - @b<type> Set @b<is tagged private;> + @b<type> Set @b<is tagged private>; @b<type> Cursor @b<is private>; @@ -9219,14 +9223,14 @@ @b<function> Union (Left, Right : Set) @b<return> Set; - @b<function> "or" (Left, Right : Set) @b<return> Set @b<renames> Union; + @b<function> "@b<or>" (Left, Right : Set) @b<return> Set @b<renames> Union; @b<procedure> Intersection (Target : @b<in out> Set; Source : @b<in> Set); @b<function> Intersection (Left, Right : Set) @b<return> Set; - @b<function> "and" (Left, Right : Set) @b<return> Set @b<renames> Intersection; + @b<function> "@b<and>" (Left, Right : Set) @b<return> Set @b<renames> Intersection; @b<procedure> Difference (Target : @b<in out> Set; Source : @b<in> Set); @@ -9240,7 +9244,7 @@ @b<function> Symmetric_Difference (Left, Right : Set) @b<return> Set; - @b<function> "xor" (Left, Right : Set) @b<return> Set @b<renames> + @b<function> "@b<xor>" (Left, Right : Set) @b<return> Set @b<renames> Symmetric_Difference; @b<function> Overlap (Left, Right : Set) @b<return> Boolean; @@ -9503,8 +9507,8 @@ The language-defined generic package Containers.Indefinite_Vectors provides a private type Vector and a set of operations. It provides the same -operations as the package Vectors does, with the difference that the -generic formal Element_Type is indefinite. +operations as the package Containers.Vectors (see A.18.2) does, with the +difference that the generic formal Element_Type is indefinite. @i<@s8<Static Semantics>> @@ -9522,9 +9526,9 @@ The language-defined generic package Containers.Indefinite_Doubly_Linked_Lists provides private types List and Cursor, and a set of operations for each -type. It provides the same operations as the package Doubly_Linked_Lists -does, with the difference that the generic formal Element_Type is -indefinite. +type. It provides the same operations as the package +Containers.Doubly_Linked_Lists (see A.18.3) does, with the difference that the +generic formal Element_Type is indefinite. @i<@s8<Static Semantics>> @@ -9549,9 +9553,9 @@ @dinsc The language-defined generic package Containers.Indefinite_Hashed_Maps provides -a map with the same operations as the package Hashed_Maps, with the -difference that the generic formal types Key_Type and Element_Type are -indefinite. +a map with the same operations as the package Containers.Hashed_Maps (see +A.18.5), with the difference that the generic formal types Key_Type and +Element_Type are indefinite. @i<@s8<Static Semantics>> @@ -9577,9 +9581,9 @@ @dinsc The language-defined generic package Containers.Indefinite_Ordered_Maps -provides a map with the same operations as the package Ordered, with the -difference that the generic formal types Key_Type and Element_Type are -indefinite. +provides a map with the same operations as the package Containers.Ordered_Maps +(see A.18.6), with the difference that the generic formal types Key_Type and +Element_Type are indefinite. @i<@s8<Static Semantics>> @@ -9606,8 +9610,9 @@ @dinsc The language-defined generic package Containers.Indefinite_Hashed_Sets provides -a set with the same operations as the package Hashed_Sets, with the -difference that the generic formal type Element_Type is indefinite. +a set with the same operations as the package Containers.Hashed_Sets (see +A.18.8), with the difference that the generic formal type Element_Type is +indefinite. @i<@s8<Static Semantics>> @@ -9626,8 +9631,9 @@ @dinsc The language-defined generic package Containers.Indefinite_Ordered_Sets -provides a set with the same operations as the package Ordered_Sets, with the -difference that the generic formal type Element_Type is indefinite. +provides a set with the same operations as the package Containers.Ordered_Sets +(see A.18.9), with the difference that the generic formal type Element_Type is +indefinite. @i<@s8<Static Semantics>>

Questions? Ask the ACAA Technical Agent