/* *************************************
 * User Model #1 
 * Holly Hildreth
 * August 21, 1996
 *************************************************************************/

module User_Module_1() return user_interface is
   web_pages : var integer;
   max_pages : integer is 1;
   default_id : integer is 99;
initial
   web_pages := 0;
-- serial  -- this modules simulates a human being--one thing at a time.
parallel   -- because "serial" is not implemented yet.
   when start() do 
      UIL.start_java(default_id); 
   end;
||
   when PB.JavaStartup() do 
      UIL.join_discussion_session_1(default_id);
      Animation_Show("Join Discussion 1", 2, "black");
   end;
||
   when PB.Response(List_Of_Titles) do 
      UIL.join_discussion_session_2(23, default_id);
      Animation_Show("Join Discussion 2", 2, "black");
   end;
||
   when PB.Response(List_Of_Objects) do 
      UIL.start_browser(default_id);
   end;
||
   when PB.WebStartup() do 
      UIL.browse_information(default_id);
      Animation_Show("Browse Info", 2, "black");
   end;
||
   when PB.HTMLPage() do 
      if $web_pages < max_pages then
         web_pages := $web_pages + 1;
         UIL.CD.FD.PSROI.record_pointer_to_online_info(default_id);
         UIL.browse_information(default_id);
	 Animation_Show("Browse & Refer", 2, "black");
      else
         UIL.CD.FD.PSROI.post_info_as_formal_statement(default_id);
	 Animation_Show("Post Formal Statement", 2, "black");
      end if;
   end;
||
   when PB.Response(Node_Added) do 
      UIL.CD.FD.relate_formal_statement_to_discussion(default_id);
      Animation_Show("Relate Formal Statement", 2, "black");
   end;
||
   when PB.Response(Edge_Added) do 
      UIL.AAFD.unspecified_request_for_help(default_id);
      Animation_Show("Request Help", 2, "black");
   end;
||
   when PB.Advice() do 
      UIL.CD.FD.revise_formal_statement(default_id);
      Animation_Show("Revise Formal Statement", 2, "black");
   end;
end;