public String toString() {String opName = getClass().getName();int index = opName.indexOf('$');opName = opName.substring(index+1, opName.length());return "<"+opName+"@"+tokens.get(index)+":\""+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 + "\">";}