Skip to content

Commit

Permalink
fix(docs): autogenerate docs (#4652)
Browse files Browse the repository at this point in the history
* docs: auto-generated property docs

* docs: generate and add javadocs
  • Loading branch information
mo-auto authored Apr 18, 2023
1 parent b38d384 commit e353874
Show file tree
Hide file tree
Showing 6,186 changed files with 27,761 additions and 24,902 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>All Classes (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>All Classes (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Classes (agama-engine 1.0.11 API)";
parent.document.title="All Classes (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>All Classes (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>All Classes (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>All Packages (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>All Packages (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Packages (agama-engine 1.0.11 API)";
parent.document.title="All Packages (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Constant Field Values (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Constant Field Values (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Constant Field Values (agama-engine 1.0.11 API)";
parent.document.title="Constant Field Values (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Deprecated List (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Deprecated List (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Deprecated List (agama-engine 1.0.11 API)";
parent.document.title="Deprecated List (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>API Help (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>API Help (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="API Help (agama-engine 1.0.11 API)";
parent.document.title="API Help (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Index (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Index (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Index (agama-engine 1.0.11 API)";
parent.document.title="Index (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Overview (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Overview (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Overview (agama-engine 1.0.11 API)";
parent.document.title="Overview (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -95,7 +95,7 @@
</header>
<main role="main">
<div class="header">
<h1 class="title">agama-engine 1.0.11 API</h1>
<h1 class="title">agama-engine 1.0.12 API</h1>
</div>
<div class="contentContainer">
<table class="overviewSummary">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Deployer (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Deployer (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Deployer (agama-engine 1.0.11 API)";
parent.document.title="Deployer (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Uses of Class io.jans.ads.Deployer (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Uses of Class io.jans.ads.Deployer (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Uses of Class io.jans.ads.Deployer (agama-engine 1.0.11 API)";
parent.document.title="Uses of Class io.jans.ads.Deployer (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>io.jans.ads (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>io.jans.ads (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="io.jans.ads (agama-engine 1.0.11 API)";
parent.document.title="io.jans.ads (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>io.jans.ads Class Hierarchy (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>io.jans.ads Class Hierarchy (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="io.jans.ads Class Hierarchy (agama-engine 1.0.11 API)";
parent.document.title="io.jans.ads Class Hierarchy (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Uses of Package io.jans.ads (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Uses of Package io.jans.ads (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Uses of Package io.jans.ads (agama-engine 1.0.11 API)";
parent.document.title="Uses of Package io.jans.ads (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>DeployerTimer (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>DeployerTimer (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="DeployerTimer (agama-engine 1.0.11 API)";
parent.document.title="DeployerTimer (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>DeploymentEvent (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>DeploymentEvent (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="DeploymentEvent (agama-engine 1.0.11 API)";
parent.document.title="DeploymentEvent (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Uses of Class io.jans.ads.timer.DeployerTimer (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Uses of Class io.jans.ads.timer.DeployerTimer (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Uses of Class io.jans.ads.timer.DeployerTimer (agama-engine 1.0.11 API)";
parent.document.title="Uses of Class io.jans.ads.timer.DeployerTimer (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.18) on Wed Apr 05 09:47:51 UTC 2023 -->
<title>Uses of Class io.jans.ads.timer.DeploymentEvent (agama-engine 1.0.11 API)</title>
<!-- Generated by javadoc (11.0.18) on Tue Apr 18 10:48:19 UTC 2023 -->
<title>Uses of Class io.jans.ads.timer.DeploymentEvent (agama-engine 1.0.12 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-04-05">
<meta name="dc.created" content="2023-04-18">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Uses of Class io.jans.ads.timer.DeploymentEvent (agama-engine 1.0.11 API)";
parent.document.title="Uses of Class io.jans.ads.timer.DeploymentEvent (agama-engine 1.0.12 API)";
}
}
catch(err) {
Expand Down
Loading

0 comments on commit e353874

Please sign in to comment.