org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.markup.StringContent
@Override
    public int charCount() {
        return RawHtml.charCount(this.stringContent.toString());
    }
 -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int
 [CALL] -> java.lang.StringBuilder.toString(): java.lang.String [CALL] -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.length(): int [EXIT] [EXIT]