org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.HtmlDocletWriter$2
@Override
    public Boolean visitText(TextTree node, Content c) {
        String text = node.getBody();
        this.val$result.add(new RawHtml(this.textCleanup(text, this.val$isLastNode, HtmlDocletWriter.this.commentRemoved)));
        return false;
    }
 -> java.lang.String.contains(java.lang.CharSequence): boolean -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(java.lang.CharSequence,int,int): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(java.lang.CharSequence,int,int): java.lang.StringBuilder -> java.lang.CharSequence.toString(): java.lang.String -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object -> java.util.List.isEmpty(): boolean -> java.util.List.add(java.lang.Object): boolean -> java.lang.Boolean.valueOf(boolean): java.lang.Boolean
 [CALL] [CALL] [CALL] [CALL] -> java.lang.String.contains(java.lang.CharSequence): boolean [EXIT] [CALL] -> java.lang.CharSequence.length(): int -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(java.lang.CharSequence,int,int): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.CharSequence.charAt(int): char -> java.lang.StringBuilder.append(java.lang.CharSequence,int,int): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.CharSequence.toString(): java.lang.String [EXIT] [CALL] [CALL] -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object [EXIT] [CALL] -> java.util.List.isEmpty(): boolean [EXIT] -> java.util.List.add(java.lang.Object): boolean [EXIT] -> java.lang.Boolean.valueOf(boolean): java.lang.Boolean [EXIT] [EXIT]