org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree
public HtmlTree put(HtmlAttr attrName, String attrValue) {
        if (this.attrs.isEmpty()) {
            this.attrs = new LinkedHashMap<HtmlAttr, String>(3);
        }
        this.attrs.put(HtmlTree.nullCheck(attrName), Entity.escapeHtmlChars(attrValue));
        return this;
    }
 -> 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.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] -> 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.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]