public String toString() {if ( text==null ) {return "<DeleteOp@"+tokens.get(index)+".."+tokens.get(lastIndex)+">";}return "<ReplaceOp@"+tokens.get(index)+".."+tokens.get(lastIndex)+":\""+text+"\">";}

public override string ToString(){string opName = GetType().FullName;int index = opName.IndexOf('$');opName = Sharpen.Runtime.Substring(opName, index + 1, opName.Length);return "<" + opName + "@" + tokens.Get(this.index) + ":\"" + text + "\">";}
