String () { StringBuilder result = new StringBuilder(); appendLines(result, 0, myStart); result.append("<-----------------------------\n"); appendLines(result, myStart, myEnd); result.append("----------------------------->\n"); appendLines(result, myEnd, mySource.length); return result.toString(); }