pd_alg_lrm_test.cpp
Go to the documentation of this file.
28 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
49 errstr << "descendant set of (" << config.Str() << ") was expected to be of size 1, but was of size " << descSet.size() << "." << std::endl;
55 errstr << "descendant set of (" << config.Str() << ") was expected to contain the configuration (" << config.Str() << "), but the configuration was not found." << std::endl;
82 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
126 errstr << "descendant set of (" << config.Str() << ") was expected to be of size 3, but was of size " << descSet.size() << "." << std::endl;
132 errstr << "descendant set of (" << config.Str() << ") was expected to contain the configuration (" << config.Str() << "), but the configuration was not found." << std::endl;
138 errstr << "descendant set of (" << config.Str() << ") was expected to contain the configuration (" << descConfig1.Str() << "), but the configuration was not found." << std::endl;
144 errstr << "descendant set of (" << config.Str() << ") was expected to contain the configuration (" << descConfig2.Str() << "), but the configuration was not found." << std::endl;
171 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
246 errstr << "descendant set was expected to be of size 5, but was of size " << descSet.size() << "." << std::endl;
252 errstr << "descendant set was expected to contain the configuration (" << config1.Str() << "), but the configuration was not found." << std::endl;
258 errstr << "descendant set was expected to contain the configuration (" << config2.Str() << "), but the configuration was not found." << std::endl;
264 errstr << "descendant set was expected to contain the configuration (" << config3.Str() << "), but the configuration was not found." << std::endl;
270 errstr << "descendant set was expected to contain the configuration (" << descConfig1.Str() << "), but the configuration was not found." << std::endl;
276 errstr << "descendant set was expected to contain the configuration (" << descConfig2.Str() << "), but the configuration was not found." << std::endl;
282 errstr << "descendant set was expected to contain the configuration (" << descConfig3.Str() << "), but the configuration was not found." << std::endl;
341 errstr << "shift set of (" << config.Str() << ") to be shifted over symbol " << ptrnt1square->Str() << " was expected to be of size 1, but was of size " << shiftSet.size() << "." << std::endl;
347 errstr << "Shift of the configuration (" << config.Str() << ") over the symbol " << ptrnt1square->Str() << " was expected to result in the configuration (" << expectedConfig.Str() << "), but resulted in " << shiftSet.begin()->Str() << "." << std::endl;
374 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
401 errstr << "shift set of (" << config.Str() << ") to be shifted over symbol " << ptrta->Str() << " was expected to be of size 1, but was of size " << shiftSet.size() << "." << std::endl;
407 errstr << "Shift of the configuration (" << config.Str() << ") over the symbol " << ptrta->Str() << " was expected to result in the configuration (" << expectedConfig.Str() << "), but resulted in " << shiftSet.begin()->Str() << "." << std::endl;
434 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
460 errstr << "shift set of (" << config1.Str() << ") to be shifted over symbol " << ptrnt1square->Str() << " was expected to be empty, but was of size " << shiftSet.size() << "." << std::endl;
480 errstr << "shift set of (" << config2.Str() << ") to be shifted over symbol " << ptrnt1square->Str() << " was expected to be empty, but was of size " << shiftSet.size() << "." << std::endl;
506 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
565 errstr << "number of successor config sets of config set (" << ConfigSetToStr(configSet) << ") was expected to be 1, but there were " << transitionMap.size() << "." << std::endl;
572 errstr << "event to transition out of config set (" << ConfigSetToStr(configSet) << ") was expected $, but was not found." << std::endl;
579 errstr << "config set \n" << ConfigSetToStr(configSet) << "\n has the successor config set \n" << ConfigSetToStr(transitionMap.begin()->second) << ",\n which was expected to be of size 3, but was of size " << transitionMap.begin()->second.size() << "." << std::endl;
588 errstr << "config set \n" << ConfigSetToStr(configSet) << "\n has the successor config set \n" << ConfigSetToStr(transitionMap.begin()->second) << ",\n which was expected to contain configuration " << configit->Str() << ", but was not found." << std::endl;
615 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
680 errstr << "number of successor config sets of config set (" << ConfigSetToStr(configSet) << ") was expected to be 3, but there were " << transitionMap.size() << "." << std::endl;
706 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
734 std::pair<LrmTransitionMap,Lr1ConfigurationSetSet> transitionStates = LrmLoop(gr, 1, LrmTransitionMap(), Lr1ConfigurationSetSet(), configSetSet);
743 errstr << "number of transitions was expected to be 8, but was " << transitionMap.size() << "." << std::endl;
750 errstr << "number of states was expected to be 7, but there were " << states.size() << "." << std::endl;
773 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
812 errstr << "number of configurations was expected to be " << expectedConfigSet.size() << ", but was " << configSet.size() << "." << std::endl;
821 errstr << "configurations " << configit->Str() << " was expected to be in the initial configuration set, but was not found" << std::endl;
847 errstr << "number of transitions was expected to be 8, but was " << gotoGen.TransRelSize() << "." << std::endl;
854 errstr << "number of states was expected to be 7, but there were " << gotoGen.Size() << "." << std::endl;
878 // std::cout << "transitions: " << transitions.size() << ", states: " << states.size() << std::endl;
888 // errstr << "number of transitions was expected to be 31, but was " << transitions.size() << "." << std::endl;
895 // errstr << "number of states was expected to be 25, but there were " << states.size() << "." << std::endl;
943 errstr << "number of grammar productions was expected to be " << gr.GrammarProductions().size() + 1 << ", but was " << rGr.GrammarProductions().size() << "." << std::endl;
957 errstr << "number of grammar productions with " << nt0dot->Str() << " as right-hand side was expected to be 1, but was " << i << "." << std::endl;
964 errstr << "grammar production " << gp.Str() << " was expected to be in the grammar, but was not found." << std::endl;
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |