-- File: dff.ads
-- Date: 7/98
-- Author: SY Wong
-- Aim: Specification of a dual ranked flipflop (D-FlipFlop) device

with HDL;
package DFF is
  type device_state is limited private;
  type device is
  record
    data_in, clock: HDL.input:= FALSE;
    data_out      : HDL.output:= FALSE;
    state : device_state;
  end record;
  procedure update (d: in out device);
private
  type device_state is
  record
    clock: boolean:= FALSE;
  end record;
end DFF;