import (
	"fmt"
	"text/template/parse"
)

// context describes the state an HTML parser must be in when it reaches the
// portion of HTML produced by evaluating a particular template node.
//
// The zero value of type context is the start context for a template that
// produces an HTML fragment as defined at
// https://www.w3.org/TR/html5/syntax.html#the-end
// where the context element is null.
type context struct {
	state   state

        hasReport(':buildDashboard', 'html')
        unavailableReports.size() == 2
        hasUnavailableReport(':test', 'html')
        hasUnavailableReport(':test', 'junitXml')

        when:
        run('test')
        executedAndNotSkipped(':buildDashboard')

        then:
        reports.size() == 3
        hasReport(':buildDashboard', 'html')
        hasReport(':test', 'html')

        String url;

        url = "http://hoge.com/http/fuga.html";
        assertEquals("http://hoge.com/http/fuga.html", urlConvertHelper.convert(url));

        url = "tp://hoge.com/http/fuga.html";
        assertEquals("tp://hoge.com/http/fuga.html", urlConvertHelper.convert(url));

        urlConvertHelper.add("^tp:", "http:");

        url = "http://hoge.com/http/fuga.html";

link:{javadocPath}/org/gradle/api/file/RegularFileProperty.html[RegularFileProperty] and link:{javadocPath}/org/gradle/api/file/DirectoryProperty.html[DirectoryProperty]. link:{javadocPath}/org/gradle/api/model/ObjectFactory.html[ObjectFactory] has methods to create these: link:{javadocPath}/org/gradle/api/model/ObjectFactory.html#fileProperty--[ObjectFactory.fileProperty()] and link:{javadocPath}/org/gradle/api/model/ObjectFactory.html#directoryProperty--[ObjectFactory.directoryProperty()].

    })"""

    if init_oauth:
        html += f"""
        ui.initOAuth({json.dumps(jsonable_encoder(init_oauth))})
        """

    html += """
    </script>
    </body>
    </html>
    """
    return HTMLResponse(html)


def get_redoc_html(
    *,
    openapi_url: Annotated[
        str,
        Doc(
            """
            The OpenAPI URL that ReDoc should load and use.

            buf.append("<url>").append('\n');
            buf.append("<loc>http://localhost:7070/index.html</loc>").append('\n');
            buf.append("<loc>http://localhost:7070/file").append(count).append("-1.html").append("</loc>").append('\n');
            buf.append("</url>").append('\n');
            buf.append("</urlset>").append('\n');

This is an link:sample_java_modules_multi_project.html[extension of this sample] that adds blackbox integration tests.

//   - android: see linux
//   - darwin: https://github.com/apple/darwin-xnu/blob/main/bsd/man/man2/open.2
//   - hurd: who knows if it works at all (https://www.gnu.org/software/hurd/open_issues/open_symlink.html)
//   - illumos: https://illumos.org/man/2/open
//   - ios: see darwin
//   - linux: https://man7.org/linux/man-pages/man2/openat.2.html
//   - openbsd: https://man.openbsd.org/open.2

import java.util.Map;

class NavigationDocinfoProcessor extends DocinfoProcessor {
    private final String html;

    NavigationDocinfoProcessor(Map<String, Object> config, String html) {
        super(config);
        this.html = html;
    }

    @Override
    public String process(Document document) {
        return html;
    }

      <item name="Introduction" href="index.html"/>
      <item name="Javadocs" href="apidocs/index.html"/>
      <item name="Source Xref" href="xref/index.html"/>
      <!--item name="FAQ" href="faq.html"/-->
    </menu>
    <menu name="Reference">
      <item name="META-INF/maven/lifecycle.xml" href="lifecycle-mappings.html"/>
      <item name="META-INF/maven/plugin.xml" href="plugin.html"/>
    </menu>
  </body>