Honeywell PML
Idle State


CASE current_state IS
  WHEN idle =>
    IF (s(i).state /=idle) THEN
      current_driver := i;
      current_state : = s(i).state;
    END IF;

Copyright Honeywell, Inc. Reprinted with permission.