text: public FailedPredicateException(Parser recognizer, string predicate, string message): base(FormatMessage(predicate, message), recognizer, ((ITokenStream)recognizer.InputStream), recognizer.RuleContext){ATNState s = recognizer.Interpreter.atn.states[recognizer.State];AbstractPredicateTransition trans = (AbstractPredicateTransition)s.Transition(0);if (trans is PredicateTransition){this.ruleIndex = ((PredicateTransition)trans).ruleIndex;this.predicateIndex = ((PredicateTransition)trans).predIndex;}else{this.ruleIndex = 0;this.predicateIndex = 0;}this.predicate = predicate;this.OffendingToken = recognizer.CurrentToken;}