org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree
public static HtmlTree A(String ref, Content body) {
        HtmlTree htmltree = new HtmlTree(HtmlTag.A, HtmlTree.nullCheck(body));
        htmltree.put(HtmlAttr.HREF, HtmlTree.encodeURL(ref));
        return htmltree;
    }
 -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object -> java.util.Collections.emptyMap(): java.util.Map -> java.util.Collections.emptyList(): java.util.List -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.lang.StringBuilder.length(): int -> java.util.List.isEmpty(): boolean -> java.util.List.add(java.lang.Object): boolean -> java.util.Iterator.hasNext(): boolean -> java.nio.charset.Charset.forName(java.lang.String): java.nio.charset.Charset -> java.lang.String.getBytes(java.nio.charset.Charset): byte[] -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.util.Map.isEmpty(): boolean -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object -> 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 -> 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 -> java.lang.CharSequence.toString(): java.lang.String -> java.util.Map.put(java.lang.Object,java.lang.Object): java.lang.Object
 [CALL] [CALL] -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object [EXIT] [CALL] [CALL] -> java.util.Collections.emptyMap(): java.util.Map -> java.util.Collections.emptyList(): java.util.List [CALL] -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object [EXIT] [EXIT] [CALL] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [CALL] -> java.lang.StringBuilder.length(): int [EXIT] [EXIT] -> java.util.List.isEmpty(): boolean -> java.util.List.add(java.lang.Object): boolean [EXIT] -> java.util.Iterator.hasNext(): boolean [EXIT] [EXIT] [CALL] -> java.nio.charset.Charset.forName(java.lang.String): java.nio.charset.Charset -> java.lang.String.getBytes(java.nio.charset.Charset): byte[] -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.BitSet.get(int): boolean -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [EXIT] [CALL] -> java.util.Map.isEmpty(): boolean [CALL] -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object [EXIT] [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 -> 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 -> java.lang.CharSequence.toString(): java.lang.String [EXIT] -> java.util.Map.put(java.lang.Object,java.lang.Object): java.lang.Object [EXIT] [EXIT]