-- FILE: dff.adb
-- DATE: 7/98
-- AUTHOR: SY WONG

package body DFF is
  procedure update (d: in out device) is
  begin
    if not d.state.clock and then d.clock then
      d.data_out:= d.data_in;
    end if;
    d.state.clock:= d.clock;
  end update;
end DFF;