Add Null_TP constant
[libxhcidbg.git] / src / hw-dbc-transfers.ads
1 --
2 -- Copyright (C) 2016-2017 secunet Security Networks AG
3 --
4 -- This program is free software; you can redistribute it and/or modify
5 -- it under the terms of the GNU General Public License as published by
6 -- the Free Software Foundation; either version 2 of the License, or
7 -- (at your option) any later version.
8 --
9 -- This program is distributed in the hope that it will be useful,
10 -- but WITHOUT ANY WARRANTY; without even the implied warranty of
11 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 -- GNU General Public License for more details.
13 --
14
15 private package HW.DbC.Transfers is
16
17    procedure Reset (Initial_Reset : Boolean);
18
19    procedure Start;
20
21    ----------------------------------------------------------------------------
22
23    procedure Receive
24      (Buf : in out Buffer;
25       Len : in out Natural)
26    with
27       Post => Len <= Len'Old;
28
29    procedure Send
30      (Buf         : in     Buffer;
31       Len         : in out Natural;
32       Start_Now   : in     Boolean;
33       Success     :    out Boolean)
34    with
35       Post => Len <= Len'Old;
36
37 end HW.DbC.Transfers;
38
39 --  vim: set ts=8 sts=3 sw=3 et: