pd_alg_nb_sub_a_test.h
Go to the documentation of this file.
1 /** @file pd_alg_nb_sub_a_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_A_TEST_H
11 #define FAUDES_PD_ALG_NB_SUB_A_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  * Filter a nonterminal from a vector of terminals and nonterminals.
21  */
23 
24 /**
25  * filter from an empty word
26  */
27 void TestFilterNothing();
28 
29 /**
30  * Find an eliminable symbol with Rnpp1 and an empty set of nonterminals
31  */
33 
34 /**
35  * Find an eliminable symbol with Rnpp1 and a nonempty set of nonterminals
36  */
38 
39 /**
40  * Find all eliminable symbols with Rnppl and an empty set of nonterminals
41  */
43 
44 /**
45  * Find all eliminable symbolswith Rnppl and a nonempty set of nonterminals
46  */
48 
49 /**
50  * Find all eliminable symbols with Rnppl and a set already containing all
51  * eliminable symbols
52  */
54 
55 /**
56  * Remove all noneliminable nonterminals and all productions containing
57  * noneliminable nonterminals
58  */
59 void TestRnppGrammar1();
60 
61 /**
62  * Remove all noneliminable nonterminals and all productions containing
63  * noneliminable nonterminals
64  */
65 void TestRnppGrammar2();
66 
67 /**
68  * Try to remove all noneliminable nonterminals and all productions containing
69  * noneliminable nonterminals from an empty grammar.
70  */
72 
73 /**
74  * Test if all terminals have been set correctly and match the generator's events.
75  */
76 void TestSp2LrTerminals();
77 
78 /**
79  * Test if all possible nonterminals were generated.
80  */
82 
83 /**
84  * Test if all expected productions for read, pop and push transitions and for the final
85  * states were generated.
86  */
88 
89 /**
90  * Test if all expected productions for read, pop and push transitions and for the final
91  * states were generated.
92  */
94 
95 /**
96  *
97  */
98 void TestRupProductions();
99 
100 /**
101  *
102  */
103 void TestRupNonterminals();
104 
105 /**
106  * All Filter tests
107  */
108 void TestFilter();
109 
110 /**
111  * All Rnpp1 tests
112  */
113 void TestRnpp1();
114 
115 /**
116  * All Rnppl tests
117  */
118 void TestRnppl();
119 
120 /**
121  * All Rnpp tests
122  */
123 void TestRnpp();
124 
125 /**
126  * All Sp2Lr tests
127  */
128 void TestSp2Lr();
129 
130 /**
131  * All Sp2Lr tests
132  */
133 void TestSp2Lr2();
134 
135 /**
136  * All Rup tests
137  */
138 void TestRup();
139 
140 } // namespace faudes
141 
142 #endif

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