org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder
@Override
    public void add(CharSequence text) {
        StringContent sc;
        Content c;
        if (text.length() == 0) {
            return;
        }
        this.ensureMutableContents();
        Content content = c = this.contents.isEmpty() ? null : this.contents.get(this.contents.size() - 1);
        if (c != null && c instanceof StringContent) {
            sc = (StringContent)c;
        } else {
            sc = new StringContent();
            this.contents.add(sc);
        }
        sc.add(text);
    }
 -> java.lang.CharSequence.length(): int -> java.util.List.isEmpty(): boolean -> java.util.List.isEmpty(): boolean -> java.util.List.add(java.lang.Object): boolean -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int
 [CALL] -> java.lang.CharSequence.length(): int [CALL] -> java.util.List.isEmpty(): boolean [EXIT] -> java.util.List.isEmpty(): boolean [CALL] [EXIT] -> java.util.List.add(java.lang.Object): boolean [CALL] [CALL] [CALL] -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.CharSequence.length(): int [EXIT] [EXIT] [EXIT] [EXIT]