public override String ToString()
{
GrammarAST decisionASTNode = probe.Dfa.DecisionASTNode;
line = decisionASTNode.Line;
charPositionInLine = decisionASTNode.CharPositionInLine;
String fileName = probe.Dfa.Nfa.Grammar.FileName;
if (fileName != null)
{
file = fileName;
}
StringTemplate st = GetMessageTemplate();
st.SetAttribute("targetRules", targetRules);
st.SetAttribute("alt", alt);
st.SetAttribute("callSiteStates", callSiteStates);
var labels = probe.GetSampleNonDeterministicInputSequence(sampleBadState);
String input = probe.GetInputSequenceDisplay(labels);
st.SetAttribute("input", input);
return(base.ToString(st));
}
