About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
*/
27
void
TestRenQNumberOfStates
();
28
29
/**
30
* Test if all stack symbols were renamed correctly
31
*/
32
void
TestRenGRenamingStackSymbols
();
33
34
/**
35
* Test if the number of stack symbols did not change.
36
*/
37
void
TestRenGNumberOfStackSymbols
();
38
39
/**
40
* Test if the stack symbols in pop and push of transitions were changed correctly
41
*/
42
void
TestRenGRenamingTransitions
();
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
*/
53
void
TestRep0AllExpectingTransition
();
54
55
/**
56
* Test for the right number of transitions and states in the generator after
57
* applying Rep2
58
*/
59
void
TestRep2NumberOfStatesTransitions
();
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
*/
69
void
TestRppReadPopPushOnly
();
70
71
/**
72
* Test if the number of transitions and states is correct after calling Rpp
73
*/
74
void
TestRppNumberStatesTransitions
();
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
*/
80
void
TestNdaActivePassive
();
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page