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)); }