org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.HtmlDocletWriter
public HtmlDocletWriter(HtmlConfiguration configuration, DocPath path) {
        this.configuration = configuration;
        this.contents = configuration.contents;
        this.messages = configuration.messages;
        this.resources = configuration.resources;
        this.links = new Links(path);
        this.utils = configuration.utils;
        this.path = path;
        this.pathToRoot = path.parent().invert();
        this.filename = path.basename();
        this.docPaths = configuration.docPaths;
        this.mainBodyScript = new Script();
        this.messages.notice("doclet.Generating_0", DocFile.createFileForOutput(configuration, path).getPath());
    }
 -> java.lang.CharSequence.length(): int -> java.util.BitSet.set(int,int): void -> java.util.BitSet.set(int,int): void -> java.util.BitSet.set(int,int): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String -> 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.Objects.requireNonNull(java.lang.Object): java.lang.Object -> java.lang.String.lastIndexOf(java.lang.String): int -> java.lang.String.replaceAll(java.lang.String,java.lang.String): java.lang.String -> java.lang.String.endsWith(java.lang.String): boolean -> java.lang.String.lastIndexOf(java.lang.String): int -> java.util.Objects.requireNonNull(java.lang.Object,java.lang.String): java.lang.Object -> java.nio.file.Path.resolve(java.lang.String): java.nio.file.Path -> java.nio.file.Path.toString(): java.lang.String -> java.util.ResourceBundle.containsKey(java.lang.String): boolean -> java.util.ResourceBundle.getString(java.lang.String): java.lang.String -> java.text.MessageFormat.format(java.lang.String,java.lang.Object[]): java.lang.String -> java.io.PrintWriter.flush(): void
 [CALL] [CALL] [CALL] [CALL] -> java.lang.CharSequence.length(): int [EXIT] [EXIT] [EXIT] [CALL] -> java.util.BitSet.set(int,int): void [EXIT] [CALL] -> java.util.BitSet.set(int,int): void [EXIT] [CALL] -> java.util.BitSet.set(int,int): void [EXIT] [CALL] -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int [EXIT] [CALL] -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int [EXIT] [CALL] -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int [EXIT] [CALL] -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.util.BitSet.set(int): void -> java.lang.String.length(): int [EXIT] [CALL] -> java.util.BitSet.or(java.util.BitSet): void -> java.util.BitSet.or(java.util.BitSet): void [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [CALL] -> java.lang.String.toLowerCase(java.util.Locale): java.lang.String [EXIT] [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] [CALL] -> java.util.Objects.requireNonNull(java.lang.Object): java.lang.Object [EXIT] [EXIT] [CALL] [EXIT] [CALL] -> java.lang.String.lastIndexOf(java.lang.String): int [EXIT] [CALL] -> java.lang.String.replaceAll(java.lang.String,java.lang.String): java.lang.String [CALL] -> java.lang.String.endsWith(java.lang.String): boolean [EXIT] [EXIT] [CALL] -> java.lang.String.lastIndexOf(java.lang.String): int [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] -> java.util.Objects.requireNonNull(java.lang.Object,java.lang.String): java.lang.Object [EXIT] [CALL] [EXIT] [CALL] -> java.nio.file.Path.resolve(java.lang.String): java.nio.file.Path [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.nio.file.Path.toString(): java.lang.String [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] -> java.util.ResourceBundle.containsKey(java.lang.String): boolean -> java.util.ResourceBundle.getString(java.lang.String): java.lang.String [EXIT] -> java.text.MessageFormat.format(java.lang.String,java.lang.Object[]): java.lang.String [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] -> java.io.PrintWriter.flush(): void [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT]