From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8ee36bc9f5f21359,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!f14g2000cwb.googlegroups.com!not-for-mail
From: "autstspe" <ati@san.rr.com>
Newsgroups: comp.lang.ada
Subject: Need a Sanity Check
Date: 10 May 2005 17:49:15 -0700
Organization: http://groups.google.com
Message-ID: <1115772555.000422.205200@f14g2000cwb.googlegroups.com>
NNTP-Posting-Host: 199.46.200.232
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1115772560 14274 127.0.0.1 (11 May 2005 00:49:20
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 11 May 2005 00:49:20 +0000 (UTC)
User-Agent: G2/0.2
Complaints-To: groups-abuse@google.com
Injection-Info: f14g2000cwb.googlegroups.com; posting-host=199.46.200.232;
   posting-account=ZpK9OQ0AAAA-KMwv4NasH8UHTNEQgW0q
Xref: g2news1.google.com comp.lang.ada:10989
Date: 2005-05-10T17:49:15-07:00
List-Id: <comp.lang.ada>

Hello.  I'm seeing some strange behavior from an Ada95 program.  I've
spoken to several people I work with and we all agree it should not
behave the way it does.  Its a simple program so I was wondering if
someone could take a look at the following an tell me what the output
should be.  It should take just a minute.  Unfortunately, due to
restrictions, I can't say much more. Thanks.

==========================================================================
package T123_Pack is

   task type  Three_Entries_Type is
     entry Start ;
     entry One ;
     entry Two ;
     entry Three ;
   end Three_Entries_Type ;

   Three_Entries : Three_Entries_Type ;

   procedure Start ;

end T123_Pack ;
--------------------------------------
with Text_Io ;
package body T123_Pack is

   task body Three_Entries_Type is

   begin

        accept Start ;

          Text_Io.Put_Line("Start");

        loop

        select

          accept One do

           Text_Io.Put_Line("One");

          end ;

        or

          accept Two do

           Text_Io.Put_Line("Two");

          end ;

        or

          accept Three do

           Text_Io.Put_Line("Three");

          end ;

          loop
             null ;
             delay(0.02);
          end loop ;

        end select ; -- select

       end loop ;

  end Three_Entries_Type ;

  procedure Start is

          begin
               Three_Entries.Start ;
          end ;

end T123_Pack ;

--------------------------------------
-- main procedure
--------------------------------------
with T123_Pack ;

procedure T123 is

begin

   T123_Pack.Three_Entries.Start ;
   T123_Pack.Three_Entries.Three ;
   T123_Pack.Three_Entries.One ;

   loop
         T123_Pack.Three_Entries.Three ;
         T123_Pack.Three_Entries.Two ;
         delay(0.02) ;
   end loop ;

end T123 ;