public override string ToString() { return type.ToString() + "|" + text + "|" + pos.ToString(); } public string SourcePos()