WITH Spider;
WITH Spider.My_Stuff;
PROCEDURE Tour_Room IS
------------------------------------------------------------------
--| Spider takes a tour around the edges of its room.
--| Author: Michael B. Feldman, The George Washington University
--| Last Modified: July 1995
------------------------------------------------------------------

BEGIN -- Tour_Room

  Spider.Start;

  -- first get to a wall
  WHILE NOT Spider.AtWall LOOP
    Spider.Step;
  END LOOP;

  -- now turn and tour the four walls
  FOR Wall IN 1..4 LOOP
    Spider.My_Stuff.Left;
    
    -- walk the length of this wall
    WHILE NOT Spider.AtWall LOOP
      Spider.Step;
    END LOOP;
  END LOOP;

  Spider.Quit;

END Tour_Room;