public void checkWordPDATest_passWrongAutomaton_throwsException() { Automaton inputAutomaton = automatons[1]; List <Transition> inputTransitions = new List <Transition>(); bool testResult = StackChecker.checkWordPDA("a", inputAutomaton, inputAutomaton.States[0].Name, "", ref inputTransitions); }
public void checkWordPDATest_passStateAndStackAndWordAndAutomaton_returnsBool (string inputWord, bool expectedResult) { Automaton inputAutomaton = automatons[0]; List <Transition> inputTransitions = new List <Transition>(); Trace.WriteLine(inputWord); //inputAutomaton.Transitions.ForEach(x => Trace.WriteLine(x.ToString())); Trace.WriteLine("Check!"); bool testResult = StackChecker.checkWordPDA(inputWord, inputAutomaton, inputAutomaton.States[0].Name, "", ref inputTransitions); Assert.AreEqual(expectedResult, testResult); }
private void checkWords(Automaton inputAutomaton) { lbWords.Items.Clear(); inputAutomaton.Words?.ForEach(x => { bool check; if (inputAutomaton.Stack == null) { check = WordChecker.checkWord(x, inputAutomaton); } else { check = StackChecker.checkWordPDA(x, inputAutomaton); } string text = x + (check ? "✔" : "✘"); lbWords.Items.Add(text); }); }