public override string ToString() { StringBuilder stbuilder = new StringBuilder(); stbuilder.Append(this.prefixSpan.startAt + " " + this.prefixSpan.len); return stbuilder.ToString(); } #endif