-- (C) Copyright International Business Machines Corporation 23 January 
-- 1990.  All Rights Reserved. 
--  
-- See the file USERAGREEMENT distributed with this software for full 
-- terms and conditions of use. 
-- definitions for procedure to generate useraccess callmessage
usermonitor: using (terminalio, rManager, master_monitor, umain)
  definitions
    
    usermonitor: callmessage (
      username: charstring, -- name of user
      terminal: terminalFunctions, -- ability to read and write from a terminal device
      resource: rManager, -- ability to get and post resources
      callsite:  useraccessIn, -- where to send callmessage
      notify: master_monitorOut -- whom to notify on termination
      )
      constant (username, terminal, resource, callsite, notify)
      exit {full};
    usermonitorIn: inport of usermonitor {full};
    usermonitorOut: outport of usermonitorIn;
    
  end definitions
