Re: On quitting an Iterator Prematurely

Re: On quitting an Iterator Prematurely

[Mike Feldman]

In article <7050@fy.sei.cmu.edu> rsd@sei.cmu.edu (Richard S D'Ippolito) writes:
>
>(*) Yes, you can define one as an ADT, and at least one inplementation of
>Pascal has the first as successor to last, but this means the bar is now the
>exception!  Isn't it better to aviod philosophical arguments as to which is
>fundamental, more useful, or prevalent, and define them both as natural
>components?
This is a nice idea. Does anyone know if there was an Ada9x suggestion to
provide this?
---------------------------------------------------------------------------
Prof. Michael Feldman
Department of Electrical Engineering and Computer Science
The George Washington University
Washington, DC 20052
+1-202-994-5253
mfeldman@seas.gwu.edu
---------------------------------------------------------------------------

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

[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.