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

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0294-1.txt

--- ai05s/ai05-0294-1.txt	2012/02/19 04:54:06	1.2
+++ ai05s/ai05-0294-1.txt	2012/03/15 05:59:59	1.3
@@ -1,5 +1,6 @@
-!standard  N(1/2)                               12-02-15    AI05-0294-1/01
+!standard  N(1/2)                               12-03-14    AI05-0294-1/02
 !class presentation 12-02-15
+!status ARG Approved 9-0-1  12-02-25
 !status work item 12-02-15
 !status received 12-02-10
 !priority Low
@@ -20,42 +21,54 @@
 
 Add the following terms to the Glossary:
 
-Predicate. A predicate is an assertion that gives a boolean expression that is
+Predicate. A predicate is an assertion that is
 expected to be True for all objects of a given subtype.
 
-Precondition. A precondition is an assertion that gives a boolean expression
+Precondition. A precondition is an assertion 
 that is expected to be True when a given subprogram is called.
 
-Postcondition. A postcondition is an assertion that gives a boolean expression
+Postcondition. A postcondition is an assertion 
 that is expected to be True when a given subprogram returns normally.
 
-Invariant. A invariant is an assertion that gives a boolean expression that is
-expected to be True for all objects of a given private type when viewed from
-outside the enclosing package.
-
-Assertion. An assertion is any of the following: a pragma Assert, a predicate, a
-precondition, a postcondition, an invariant, a constraint, or a null exclusion.
-Assertions may be used to specify boolean expressions that are expected to be
-True at run time at certain places.
-
-Aspect. An aspect is any of a miscellaneous set of
-properties of entities. An aspect may be specified by an aspect_specification on
-the declaration of the entity. Some aspects may be queried via attributes.
-
-Iterator. An iterator may be used to loop over the
-elements of an array or container. Generalized iterators may be user defined,
-and may perform arbitrary computations.
-
-Container. A container type is one whose objects contain
-other objects. Several predefined container types are provided by the children
-of package Ada.Containers (see A.18.1).
+Invariant. A invariant is an assertion that is expected to be True for all objects
+of a given private type when viewed from outside the defining package.
 
+Assertion. An assertion is a boolean expression that appears in any of the following:
+a pragma Assert, a predicate, a precondition, a postcondition, an invariant, a constraint,
+or a null exclusion. An assertion is expected to be True at run time at certain
+specified places.
+
+Aspect. An aspect is a specifiable property of an entity. An aspect may be
+specified by an aspect_specification on the declaration of the entity. Some aspects
+may be queried via attributes.
+
+Iterator. An iterator is a construct that is used to loop over the elements of an
+array or container. Iterators may be user defined, and may perform arbitrary
+computations to access elements from a container. 
+
+Container. A container is an object that contain other objects all of the same
+type, which could be class-wide. Several predefined container types are provided
+by the children of package Ada.Containers (see A.18.1).
+
 Reference type. A reference type is one that has user-defined
-semantics for ".all", defined by the Implicit_Dereference aspect.
+behavior for ".all", defined by the Implicit_Dereference aspect.
 
-Indexable type. An indexable type is one that has user-defined
-semantics for indexing, via the Constant_Indexing or Variable_Indexing
+Indexable container type. An indexable container type is one that has user-defined
+behavior for indexing, via the Constant_Indexing or Variable_Indexing
 aspects.
+
+Iterable container type. An iterable container type is one that has user-defined
+behavior for iteration, via the Default_Iterator and Iterator_Element aspects.
+
+Storage pool. Each access-to-object type has an associated storage pool object.
+The storage for an object created by an allocator comes from the storage pool of
+the type of the allocator. Some storage pools may be partitioned into subpools in
+order to support finer-grained storage management.
+
+Stream. A stream is a sequence of elements that can be used, along with the
+stream-oriented attributes, to support marshalling and unmarshalling of values
+of most types.
+
 
 !discussion
 

Questions? Ask the ACAA Technical Agent