home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / ada / 3321 < prev    next >
Encoding:
Text File  |  1992-11-20  |  2.5 KB  |  78 lines
  1. Newsgroups: comp.lang.ada
  2. Path: sparky!uunet!noc.near.net!inmet!spock!stt
  3. From: stt@spock.camb.inmet.com (Tucker Taft)
  4. Subject: Re: [null arrays]
  5. Message-ID: <1992Nov20.204935.27016@inmet.camb.inmet.com>
  6. Sender: news@inmet.camb.inmet.com
  7. Nntp-Posting-Host: spock
  8. Organization: Intermetrics Inc, Cambridge MA
  9. References: <Bxz5M0.AxC@dale.cts.com>
  10. Date: Fri, 20 Nov 1992 20:49:35 GMT
  11. Lines: 65
  12.  
  13. In article <Bxz5M0.AxC@dale.cts.com> 
  14.   jhb@dale.cts.com (John Bollenbacher) writes:
  15.  
  16. >Thanks to all that responded to my initial mail on this thread.  I have a
  17. >followup question.  Is there a more straightforward way to code the function 
  18. >(REMOVE) below, given the restriction on sliding in aggregate creation?
  19. >
  20. >package TEST is
  21. >  subtype T is NATURAL range 0 .. 10;
  22. >
  23. >  type ARR is array (T range <>) of BOOLEAN;
  24. >  
  25. >  type A(N : T := 0) is record 
  26. >    DATA : ARR(1..N);
  27. >  end record;  
  28. > 
  29. >  function REMOVE(ELEMENT : BOOLEAN;
  30. >                  FROM    : A) return A;
  31. >  
  32. >end TEST; 
  33. >package body TEST is
  34. >  function REMOVE(ELEMENT : BOOLEAN;
  35. >                  FROM    : A) return A is
  36. >    RESULT : ARR(1..FROM.N-1);
  37. >  begin
  38. >    for I in FROM.DATA'RANGE loop
  39. >      if FROM.DATA(I) = ELEMENT then
  40. >        RESULT := FROM.DATA(1..I-1) & FROM.DATA(I+1..FROM.N);
  41. >        return (FROM.N - 1, RESULT);
  42. >      end if;
  43. >    end loop;    
  44. >    return FROM;
  45. >  end REMOVE; 
  46. >  
  47. >end TEST;
  48.  
  49. Yes, this is a little more efficient as it avoids the extra assignment,
  50. by using explicit array subtype conversion to achieve the "sliding.":
  51.  
  52.     function Remove(Element : Boolean;
  53.                     From : A) return A is
  54.       subtype Result_Subtype is Arr(1..From.N-1);
  55.     begin
  56.       for I in From.Data'Range loop
  57.         if From.Data(I) = Element then
  58.           return(From.N-1, Result_Subtype(
  59.             From.Data(1..I-1) & From.Data(I+1..From.N));
  60.         end if;
  61.       end loop;
  62.       return From;
  63.     end Remove;
  64.  
  65. If you expect it is common for Remove to have no effect, then you
  66. could save a few more cycles by moving the declaration of the
  67. Result_Subtype into a nested block statement surrounding the
  68. statement returning the aggregate.
  69.  
  70. >- John Bollenbacher                                        jhb@dale.cts.com -
  71. >- Titan Linkabit Corp.                                       (619) 552-9963 -
  72. >- 3033 Sience Park Rd.                                                      -
  73. >- San Diego, Ca. 92121                                                      -
  74.  
  75. S. Tucker Taft  stt@inmet.com
  76. Intermetrics, Inc.
  77. Cambridge, MA  02138
  78.