Honeywell PML
Bus Resolution Code

-- (C) 1995 Honeywell Inc.  All rights reserved.
BEGIN
  -- If no drivers, just drive initial token
  IF (s'LENGTH <1) THEN
    RETURN init_token;
  -- If one input, default is single driver
  ELSIF (s'LENGTH = 1) THEN
    RETURN s(s'LOW);
  ELSE
    -- Ensure all drivers have the same protocol
    current_protocol := s(s'LOW).protocol;
    poll_drivers: FOR i IN s'RANGE LOOP
      CASE current_protocol IS