public override string ToString() { StringBuilder sb = new StringBuilder(); foreach (Token tok in this) sb.AppendLine(tok.ToString()); return sb.ToString(); } }