About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
*/
22
void
TestGeneratorGotoOneSuccessor
();
23
24
/**
25
* Test if GeneratorGoto finds no successor when none is to be found.
26
*/
27
void
TestGeneratorGotoNoSuccessor
();
28
29
/**
30
* Test if a word fully matches a sequence of states when a match is possible
31
*/
32
void
TestGeneratorGotoSeqFull
();
33
34
/**
35
* Test if a partial state sequence is generated when no full match for the word
36
* is possible.
37
*/
38
void
TestGeneratorGotoSeqPartial
();
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
*/
44
void
TestLrpShiftRulesNumberAndTerminals
();
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
*/
50
void
TestLrpReduceRulesNumberAndTerminals
();
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
*/
62
void
TestLrpNonterminalsTerminals
();
63
64
/**
65
* Test if all states are set correctly and whether the correct ones are used in
66
* transitions.
67
*/
68
void
TestLrParser2EPDAStates
();
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
*/
74
void
TestLrParser2EPDATransitions
();
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
*/
85
void
TestDimNewFinalStates
();
86
87
/**
88
* All GeneratorGoto Tests
89
*/
90
void
TestGeneratorGoto
();
91
92
/**
93
* All GeneratorGotoSeq Tests
94
*/
95
void
TestGeneratorGotoSeq
();
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 LrParser2EPDA Tests
114
*/
115
void
TestLrParser2EPDA
();
116
117
/**
118
* All Dim Tests
119
*/
120
void
TestDim
();
121
122
}
// namespace faudes
123
124
#endif
libFAUDES 2.26g
--- 2015.08.17 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page