pd_alg_nb_sub_b_test.h
Go to the documentation of this file.
1 /** @file pd_alg_nb_sub_b_test.h Unit Tests */
2 
3 
4 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
5 
6  Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
7 
8 */
9 
10 #ifndef FAUDES_PD_ALG_NB_SUB_B_TEST_H
11 #define FAUDES_PD_ALG_NB_SUB_B_TEST_H
12 
13 #include "corefaudes.h"
14 #include "pd_include.h"
15 #include "pd_test_util.h"
16 
17 namespace faudes {
18 
19 /**
20  * Test if all states were renamed correctly (merge attribute is set correctly).
21  */
22 void TestRenQRenaming();
23 
24 /**
25  * Test if the number of states did not change.
26  */
28 
29 /**
30  * Test if all stack symbols were renamed correctly
31  */
33 
34 /**
35  * Test if the number of stack symbols did not change.
36  */
38 
39 /**
40  * Test if the stack symbols in pop and push of transitions were changed correctly
41  */
43 
44 /**
45  * Tests if there are any lambda popping edges left
46  */
47 void TestRep0NoLambdaPop();
48 
49 /**
50  * Test if resulting generator has a transition able to pop all stack symbols,
51  * but only if the orignal generator had at least one lambda transition
52  */
54 
55 /**
56  * Test for the right number of transitions and states in the generator after
57  * applying Rep2
58  */
60 
61 /**
62  * Tests if the MergeStateAnnotations have all been set to "old".
63  */
64 void TestRep2Renaming();
65 
66 /**
67  * Test if all transitions are either read only, pop only or push only
68  */
70 
71 /**
72  * Test if the number of transitions and states is correct after calling Rpp
73  */
75 
76 /**
77  * Test if the states are split into active and passive states and if the number of
78  * states has been doubled.
79  */
81 
82 /**
83  * Test if transition start and end states are set as expected
84  */
85 void TestNdaTransitions();
86 
87 /**
88  * All RenQ Tests
89  */
90 void TestRenQ();
91 
92 /**
93  * All RenG tests.
94  */
95 void TestRenG();
96 
97 /**
98  * All Rep0 tests
99  */
100 void TestRep0();
101 
102 /**
103  * All Rpp tests
104  */
105 void TestRpp();
106 
107 /**
108  * All Rep2 tests
109  */
110 void TestRep2();
111 
112 /**
113  * All Nda tests
114  */
115 void TestNda();
116 
117 
118 } // namespace faudes
119 
120 #endif

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen