pd_alg_lrp_test.cpp
Go to the documentation of this file.
30 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
64 std::set<Idx> successorStates = GeneratorGoto(gotoGen, gotoGen.StateIndex(startState), ptrtdollar);
70 errstr << "number of successor states was expected to be 1, but was " << successorStates.size() << "." << std::endl;
77 errstr << "number of configurations in successor state " << *successorStates.begin() << " was expected to be 1, but was " << gotoGen.ConfigSet(*successorStates.begin()).size() << "." << std::endl;
84 errstr << "configuration contained in successor state " << *successorStates.begin() << " was expected to be (" << expectedConfig.Str() << "), but was (" << gotoGen.ConfigSet(*successorStates.begin()).begin()->Str() << ")." << std::endl;
109 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
136 std::set<Idx> successorStates = GeneratorGoto(gotoGen, gotoGen.StateIndex(startState), ptrtdollar);
143 errstr << "number of successor states was expected to be 0, because state with configuration (" << config.Str() << ") does not exist , but was " << successorStates.size() << "." << std::endl;
169 errstr << "number of successor states was expected to be 0, because state with configuration (" << config2.Str() << ") and symbol a does not exist, but was " << successorStates.size() << "." << std::endl;
194 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
235 std::vector<Idx> stateSequence = GeneratorGotoSeq(gotoGen, gotoGen.StateIndex(startState), word);
242 errstr << "number of successor states was expected to be 3, but was " << stateSequence.size() << "." << std::endl;
249 errstr << "number of configurations in the last state of the sequence was expected to be 1, but was " << gotoGen.ConfigSet(stateSequence.back()).size() << "." << std::endl;
256 errstr << "state at the end of the sequence was expected to contain the configuration (" << expectedEndConfig.Str() << "), but was (" << gotoGen.ConfigSet(stateSequence.back()).begin()->Str() << ")." << std::endl;
281 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
321 std::vector<Idx> stateSequence = GeneratorGotoSeq(gotoGen, gotoGen.StateIndex(startState), word);
328 errstr << "number of successor states was expected to be 2, but was " << stateSequence.size() << "." << std::endl;
335 errstr << "number of configurations in the last state of the sequence was expected to be 1, but was " << gotoGen.ConfigSet(stateSequence.back()).size() << "." << std::endl;
342 errstr << "state at the end of the sequence was expected to contain the configuration (" << expectedEndConfig.Str() << "), but was (" << gotoGen.ConfigSet(stateSequence.back()).begin()->Str() << ")." << std::endl;
367 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
391 errstr << "number of shift actions was expected to be 4, but was " << actions.size() << "." << std::endl;
404 errstr << "number of shift actions for symbol a of the form (x | a) -> (xy | lambda) was expected to be 2, but was " << i << "." << std::endl;
417 errstr << "number of shift actions for symbol b of the form (x | b) -> (xy | lambda) was expected to be 2, but was " << i << "." << std::endl;
442 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
466 errstr << "number of shift actions was expected to be 4, but was " << actions.size() << "." << std::endl;
479 errstr << "number of shift actions for symbol a of the form (x | $) -> (xy | $) was expected to be 4, but was " << i << "." << std::endl;
504 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
529 errstr << "number of actions was expected to be 8, but was " << actions.size() << "." << std::endl;
551 errstr << "number of actions for symbol $ of the form (x | $) -> (xy | $) was expected to be 4, but was " << dollarCount << "." << std::endl;
556 errstr << "number of actions for symbol a of the form (x | a) -> (xy | lambda) was expected to be 2, but was " << aCount << "." << std::endl;
561 errstr << "number of actions for symbol b of the form (x | b) -> (xy | $) was expected to be 2, but was " << bCount << "." << std::endl;
586 Terminal* tlambda = new Terminal(PushdownGenerator::GlobalEventSymbolTablep()->Index(FAUDES_PD_LAMBDA));
611 errstr << "number of nonterminals was expected to be 5, but was " << nonterminals.size() << "." << std::endl;
619 errstr << "number of terminals was expected to be 4, but was " << terminals.size() << "." << std::endl;
626 errstr << "the parser's augment symbol was expected to be " << tdollar->Str() << ", but was " << parser.AugSymbol().Str() << "." << std::endl;
707 const MergeStateEvent* mse = dynamic_cast<const MergeStateEvent*>(pd.StateAttribute(*stateit).Merge());
723 errstr << "state with MergeStateEvent (" << mse->State() << ", " << PushdownGenerator::GlobalEventSymbolTablep()->Symbol(mse->Event()) << ") was not expected to be in the set of used states." << std::endl;
829 errstr << "number of transitions was expected to be 8, but was " << transCount << "." << std::endl;
835 errstr << "number of transitions with the event a was expected to be 2, but was " << aCount << "." << std::endl;
841 errstr << "number of transitions with the event b was expected to be 2, but was " << bCount << "." << std::endl;
847 errstr << "number of transitions with the event $ was expected to be 0, but was " << dollarCount << "." << std::endl;
853 errstr << "number of transitions with the event lambda was expected to be 4, but was " << lambdaCount << "." << std::endl;
859 errstr << "number of transitions that push 6 was expected to be 0, but was " << push6Count << "." << std::endl;
865 errstr << "number of transitions that push 7 was expected to be 0, but was " << push7Count << "." << std::endl;
871 errstr << "number of transitions that pop 2 stack symbols was expected to be 0, but was " << popSize2 << "." << std::endl;
877 errstr << "number of transitions that pop 1 stack symbol was expected to be 8, but was " << popSize1 << "." << std::endl;
883 errstr << "number of transitions that pop lambda was expected to be 8, but was " << popLambdaCount << "." << std::endl;
955 errstr << "number of transitions was expected to be 8, but was " << transCount << "." << std::endl;
962 errstr << "transition "<< trans.Str() << " with event $ was found, but not expected." << std::endl;
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |