First as Successor to Last (was On quitting an Iterator Prematurely)

[karl@grebyn.com (Karl A. Nyberg)]

In article <1823@sparko.gwu.edu> mfeldman@seas.gwu.edu () writes:
>This is a nice idea. Does anyone know if there was an Ada9x suggestion to
>provide this?

Asode from all the requests dealing with unsigned integers, RR-0389 starts
off as:

DATE:     25 September 1989

NAME:      Stephen J. Wersan, Ph.D.
 
ADDRESS: 
     Code 3561
     NAVWPNCEN
     China Lake, CA 93555
     WERSAN%356VAX.DECNET2NWC.NAVY.MIL 

TELEPHONE:     619/939-3120, Autovon 437-3120

 
ANSI/MIL-STD-1815A REFERENCE:      3.5
 
 
PROBLEM:  Inconvenient handling of scalar types that are cyclic in nature.
 
 
IMPORTANCE: 

     5    

     Cyclic types arise in many areas.  Two important examples are types
     used to deal with time and compass direction (azimuth).  Some of the
     messy trivia arising in the embedded world concerns handling such
     types represented by roll-over counters, and the like.  This is
     probably closely related to unsigned integer types, and anything
     done in this area should mesh with what Ada 9X does there.

 
CURRENT WORKAROUNDS: 

          The use of the pred and succ attributes must be avoided. 
          Special functions must be written to replace them.