text: public String toString() {if ( isEmpty() ) return "[]";StringBuilder buf = new StringBuilder();buf.append("[");for (int i=0; i<returnStates.length; i++) {if ( i>0 ) buf.append(", ");if ( returnStates[i]==EMPTY_RETURN_STATE ) {buf.append("$");continue;}buf.append(returnStates[i]);if ( parents[i]!=null ) {buf.append(' ');buf.append(parents[i].toString());}else {buf.append("null");}}buf.append("]");return buf.toString();}