File: stack-test.ads

package info (click to toggle)
libaunit 25.0.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 1,360 kB
  • sloc: ada: 5,615; python: 243; makefile: 223; sh: 92; xml: 13
file content (27 lines) | stat: -rw-r--r-- 583 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
--
--  Copyright (C) 2008, AdaCore
--
with AUnit.Test_Fixtures;

package Stack.Test is

   type Test is new AUnit.Test_Fixtures.Test_Fixture with null record;

   procedure Tear_Down (T : in out Test);

   procedure Test_Push (T : in out Test);
   --  Test for Stack.Push

   procedure Test_Pop (T : in out Test);
   --  Test for Stack.Pop

   procedure Test_Length (T : in out Test);
   --  Test for Stack.Length

   procedure Test_Top (T : in out Test);
   --  Test for Stack.Top

   procedure Test_Next_To_Top (T : in out Test);
   --  Test for Stack.Next_To_Top

end Stack.Test;