queue.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

generic
	type T_Data is limited private;
package Queue is

	type T_Queue is record
		front: T_List;
		back:  T_List;
	end record;

	type T_List_Cell;
	type T_List is access T_List_Cell;
	type T_List_Cell is record
		data: T_Data;
		next: T_List;
	end record;

	procedure Enqueue(queue: T_Queue;
		              data: T_Data);
	procedure Dequeue(queue: T_Queue);

end Queue;