public bool PushTransition(TerminalPattern inputChar, out RGGTransition transition) { RGGTransition tempTransition; if (_pushTransitions.TryGetValue(inputChar.ToString(), out tempTransition)) { transition = tempTransition; return(true); } else { transition = null; return(false); } }
private string AddQuotationMarks(TerminalPattern characters) { return(AddQuotationMarks(string.Format("{0}", characters.ToString()))); }