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 doesNotGoFinalePDATest_passRefPassedTransitionsAndStateAndStackAndRefResultAndAutomaton_returnsBool()
{
Automaton inputAutomaton = automatons[0];
List <Transition> inputTransitions = new List <Transition>();
bool testResult = true;
testResult =
StackChecker.doesNotGoFinalePDA(ref inputTransitions, "1", "", ref testResult, inputAutomaton);
Assert.IsFalse(testResult);
}
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);
});
}
