Viewbehav
Dynamic Behavior of file: www9


Test Case: www_GET

   1 top        < N ! Connect [ NumTimes < 2]    >Cref> CONNECTC
   2            <    +GetOneRequest(N)
   3            <       GOTO top
   4            < N ! StopGet    >Cref> STOPGETC             >>> PASS

Test Step: GetOneRequest(thePCO:LOWER_PCO)

   1            < thePCO ! SendGet    >Cref> SGETC
   2            <    thePCO ! HostName    >Cref> SENDHOSTNAME
   3            <       +DoReceive
   4            <       thePCO ? ReceiveError    >Cref> RERRORC             >>> FAIL
   5            <       thePCO ? OTHERWISE             >>> FAIL

DoReceive

   6            < thePCO ? ReceiveResult  (NumTimes := NumTimes + 1)    >Cref> RRESULTC(?)             >>> (PASS)