pd_alg_lrp_test.h
Go to the documentation of this file.
1 /** @file pd_alg_lrp_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_LRP_TEST_H
11 #define FAUDES_PD_ALG_LRP_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 GeneratorGoto finds the right successor.
21  */
23 
24 /**
25  * Test if GeneratorGoto finds no successor when none is to be found.
26  */
28 
29 /**
30  * Test if a word fully matches a sequence of states when a match is possible
31  */
33 
34 /**
35  * Test if a partial state sequence is generated when no full match for the word
36  * is possible.
37  */
39 
40 /**
41  * Test if the number of shift rules is correct and test for the correct number of
42  * occurences of terminals and each action's left-hand side element's right-hand side.
43  */
45 
46 /**
47  * Test if the number of reduce rules is correct and test for the correct number of
48  * occurences of terminals and each action element's right-hand side.
49  */
51 
52 /**
53  * Test if Lrp generates a parser with the correct rules.
54  */
55 void TestLrpActions();
56 
57 
58 /**
59  * Test if Lrp generates a parser with the correct number of nonterminals and terminals
60  * for a certain grammar
61  */
63 
64 /**
65  * Test if all states are set correctly and whether the correct ones are used in
66  * transitions.
67  */
68 void TestGp2PpStates();
69 
70 /**
71  * Test if the number of transitions is correct and test if the number of transitions
72  * per event is as expected.
73  */
75 
76 /**
77  * Test if the augment symbol transitions were successfully removed from the generator
78  * and the new number of transitions is correct.
79  */
80 void TestDimNoAugment();
81 
82 /**
83  * Test if final states are set correctly after the removal auf the augment symbol
84  */
86 
87 /**
88  * All GeneratorGoto Tests
89  */
90 void TestGeneratorGoto();
91 
92 /**
93  * All GeneratorGotoSeq Tests
94  */
96 
97 /**
98  * All LrpShiftRules Tests
99  */
100 void TestLrpShiftRules();
101 
102 /**
103  * All LrpReduceRules Tests
104  */
105 void TestLrpReduceRules();
106 
107 /**
108  * All Lrp Tests
109  */
110 void TestLrp();
111 
112 /**
113  * All Gp2Pp Tests
114  */
115 void TestGp2Pp();
116 
117 /**
118  * All Dim Tests
119  */
120 void TestDim();
121 
122 } // namespace faudes
123 
124 #endif

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