Skip to content

Commit 795dc5e

Browse files
github-merge-queue[bot]github-merge-queue[bot]
committed
Deploying to gh-pages from @ a5d8147 🚀
1 parent 06cd2c6 commit 795dc5e

3,863 files changed

Lines changed: 109339 additions & 72842 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎SpiNNaker-allocserv/apidocs/allclasses-index.html‎

Lines changed: 25 additions & 29 deletions
Large diffs are not rendered by default.

‎SpiNNaker-allocserv/apidocs/allpackages-index.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,14 @@
11
<!DOCTYPE HTML>
22
<html lang>
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) -->
55
<title>All Packages (SpiNNaker Allocation Server 7.4.2 API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
88
<meta name="description" content="package index">
99
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
1010
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
1111
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
1312
<script type="text/javascript" src="script.js"></script>
1413
<script type="text/javascript" src="script-dir/jquery-3.7.1.min.js"></script>
1514
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
@@ -24,7 +23,7 @@
2423
<header role="banner" class="flex-header">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
26+
<div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
2827
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2928
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3029
<li><a href="index.html">Overview</a></li>
@@ -38,9 +37,10 @@
3837
</ul>
3938
</div>
4039
<div class="sub-nav">
41-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
42-
<input type="text" id="search-input" value="search" disabled="disabled">
43-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
40+
<div id="navbar-sub-list"></div>
41+
<div class="nav-list-search"><a href="search.html">SEARCH</a>
42+
<input type="text" id="search-input" disabled placeholder="Search">
43+
<input type="reset" id="reset-button" disabled value="reset">
4444
</div>
4545
</div>
4646
<!-- ========= END OF TOP NAVBAR ========= -->

‎SpiNNaker-allocserv/apidocs/constant-values.html‎

Lines changed: 268 additions & 268 deletions
Large diffs are not rendered by default.

‎SpiNNaker-allocserv/apidocs/copy.svg‎

Lines changed: 33 additions & 0 deletions
Loading

‎SpiNNaker-allocserv/apidocs/deprecated-list.html‎

Lines changed: 28 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,14 @@
11
<!DOCTYPE HTML>
22
<html lang>
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) -->
55
<title>Deprecated List (SpiNNaker Allocation Server 7.4.2 API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
88
<meta name="description" content="deprecated elements">
99
<meta name="generator" content="javadoc/DeprecatedListWriter">
1010
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
1111
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
1312
<script type="text/javascript" src="script.js"></script>
1413
<script type="text/javascript" src="script-dir/jquery-3.7.1.min.js"></script>
1514
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
@@ -24,7 +23,7 @@
2423
<header role="banner" class="flex-header">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
26+
<div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
2827
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2928
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3029
<li><a href="index.html">Overview</a></li>
@@ -38,9 +37,10 @@
3837
</ul>
3938
</div>
4039
<div class="sub-nav">
41-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
42-
<input type="text" id="search-input" value="search" disabled="disabled">
43-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
40+
<div id="navbar-sub-list"></div>
41+
<div class="nav-list-search"><a href="search.html">SEARCH</a>
42+
<input type="text" id="search-input" disabled placeholder="Search">
43+
<input type="reset" id="reset-button" disabled value="reset">
4444
</div>
4545
</div>
4646
<!-- ========= END OF TOP NAVBAR ========= -->
@@ -50,11 +50,11 @@
5050
<main role="main">
5151
<div class="header">
5252
<h1 title="Deprecated API" class="title">Deprecated API</h1>
53+
</div>
5354
<h2 title="Contents">Contents</h2>
54-
<ul>
55-
<li><a href="#method">Methods</a></li>
55+
<ul class="contents-list">
56+
<li id="contents-method"><a href="#method">Methods</a></li>
5657
</ul>
57-
</div>
5858
<ul class="block-list">
5959
<li>
6060
<div id="method">
@@ -64,28 +64,42 @@ <h2 title="Contents">Contents</h2>
6464
<div class="table-header col-last">Description</div>
6565
<div class="col-summary-item-name even-row-color">uk.ac.manchester.spinnaker.alloc.bmp.BMPController.getTestAPI()</div>
6666
<div class="col-last even-row-color">
67-
<div class="deprecation-comment">This interface is just for testing.</div>
67+
<div class="block">This interface is just for testing.</div>
6868
</div>
6969
<div class="col-summary-item-name odd-row-color">uk.ac.manchester.spinnaker.alloc.bmp.TransceiverFactory.getTestAPI()</div>
7070
<div class="col-last odd-row-color">
71-
<div class="deprecation-comment">This interface is just for testing.</div>
71+
<div class="block">This interface is just for testing.</div>
7272
</div>
7373
<div class="col-summary-item-name even-row-color">uk.ac.manchester.spinnaker.alloc.compat.V1CompatService.getTestApi()</div>
7474
<div class="col-last even-row-color">
75-
<div class="deprecation-comment">Only for testing.</div>
75+
<div class="block">Only for testing.</div>
7676
</div>
7777
<div class="col-summary-item-name odd-row-color">uk.ac.manchester.spinnaker.alloc.security.LocalAuthenticationProvider.getTestAPI()</div>
7878
<div class="col-last odd-row-color">
79-
<div class="deprecation-comment">This interface is just for testing.</div>
79+
<div class="block">This interface is just for testing.</div>
8080
</div>
8181
<div class="col-summary-item-name even-row-color">uk.ac.manchester.spinnaker.alloc.security.LocalAuthProviderImpl.getTestAPI()</div>
8282
<div class="col-last even-row-color">
83-
<div class="deprecation-comment">This interface is just for testing.</div>
83+
<div class="block">This interface is just for testing.</div>
8484
</div>
8585
</div>
8686
</div>
8787
</li>
8888
</ul>
89+
<script type="text/javascript">document.addEventListener("DOMContentLoaded", function(e) {
90+
document.querySelectorAll('input[type="checkbox"]').forEach(
91+
function(c) {
92+
c.disabled = false;
93+
c.onclick();
94+
});
95+
});
96+
window.addEventListener("load", function(e) {
97+
document.querySelectorAll('input[type="checkbox"]').forEach(
98+
function(c) {
99+
c.onclick();
100+
});
101+
});
102+
</script>
89103
</main>
90104
<footer role="contentinfo">
91105
<hr>

‎SpiNNaker-allocserv/apidocs/help-doc.html‎

Lines changed: 23 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,14 @@
11
<!DOCTYPE HTML>
22
<html lang>
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (21) -->
55
<title>API Help (SpiNNaker Allocation Server 7.4.2 API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
88
<meta name="description" content="help">
99
<meta name="generator" content="javadoc/HelpWriter">
1010
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
1111
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
1312
<script type="text/javascript" src="script.js"></script>
1413
<script type="text/javascript" src="script-dir/jquery-3.7.1.min.js"></script>
1514
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
@@ -24,7 +23,7 @@
2423
<header role="banner" class="flex-header">
2524
<nav role="navigation">
2625
<!-- ========= START OF TOP NAVBAR ======= -->
27-
<div class="top-nav" id="navbar-top">
26+
<div class="top-nav" id="navbar-top"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button>
2827
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2928
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3029
<li><a href="index.html">Overview</a></li>
@@ -36,18 +35,27 @@
3635
<li><a href="index-all.html">Index</a></li>
3736
<li class="nav-bar-cell1-rev">Help</li>
3837
</ul>
38+
<ul class="sub-nav-list-small">
39+
<li>
40+
<p>Help:</p>
41+
<ul>
42+
<li><a href="#help-navigation">Navigation</a></li>
43+
<li><a href="#help-pages">Pages</a></li>
44+
</ul>
45+
</li>
46+
</ul>
3947
</div>
4048
<div class="sub-nav">
41-
<div>
49+
<div id="navbar-sub-list">
4250
<ul class="sub-nav-list">
4351
<li>Help:&nbsp;</li>
4452
<li><a href="#help-navigation">Navigation</a>&nbsp;|&nbsp;</li>
4553
<li><a href="#help-pages">Pages</a></li>
4654
</ul>
4755
</div>
48-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
49-
<input type="text" id="search-input" value="search" disabled="disabled">
50-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
56+
<div class="nav-list-search"><a href="search.html">SEARCH</a>
57+
<input type="text" id="search-input" disabled placeholder="Search">
58+
<input type="reset" id="reset-button" disabled value="reset">
5159
</div>
5260
</div>
5361
<!-- ========= END OF TOP NAVBAR ========= -->
@@ -59,7 +67,7 @@ <h1 class="title">JavaDoc Help</h1>
5967
<ul class="help-toc">
6068
<li><a href="#help-navigation">Navigation</a>:
6169
<ul class="help-subtoc">
62-
<li><a href="#help-search">Search</a></li>
70+
<li><a href="#search">Search</a></li>
6371
</ul>
6472
</li>
6573
<li><a href="#help-pages">Kinds of Pages</a>:
@@ -83,15 +91,15 @@ <h1 class="title">JavaDoc Help</h1>
8391
<div class="sub-title">
8492
<h2 id="help-navigation">Navigation</h2>
8593
Starting from the <a href="index.html">Overview</a> page, you can browse the documentation using the links in each page, and in the navigation bar at the top of each page. The <a href="index-all.html">Index</a> and Search box allow you to navigate to specific declarations and summary pages, including: <a href="allpackages-index.html">All Packages</a>, <a href="allclasses-index.html">All Classes and Interfaces</a>
86-
<section class="help-section" id="help-search">
94+
<section class="help-section" id="search">
8795
<h3>Search</h3>
88-
<p>You can search for definitions of modules, packages, types, fields, methods, system properties and other terms defined in the API, using some or all of the name, optionally using "camelCase" abbreviations. For example:</p>
96+
<p>You can search for definitions of modules, packages, types, fields, methods, system properties and other terms defined in the API. These items can be searched using part or all of the name, optionally using "camelCase" abbreviations, or multiple search terms separated by whitespace. Some examples:</p>
8997
<ul class="help-section-list">
90-
<li><code>j.l.obj</code> will match "java.lang.Object"</li>
91-
<li><code>InpStr</code> will match "java.io.InputStream"</li>
92-
<li><code>HM.cK</code> will match "java.util.HashMap.containsKey(Object)"</li>
98+
<li><code>"j.l.obj"</code> matches "java.lang.Object"</li>
99+
<li><code>"InpStr"</code> matches "java.io.InputStream"</li>
100+
<li><code>"math exact long"</code> matches "java.lang.Math.absExact(long)"</li>
93101
</ul>
94-
<p>Refer to the <a href="https://docs.oracle.com/en/java/javase/17/docs/specs/javadoc/javadoc-search-spec.html">Javadoc Search Specification</a> for a full description of search features.</p>
102+
<p>Refer to the <a href="https://docs.oracle.com/en/java/javase/21/docs/specs/javadoc/javadoc-search-spec.html">Javadoc Search Specification</a> for a full description of search features.</p>
95103
</section>
96104
</div>
97105
<hr>
@@ -109,8 +117,7 @@ <h3>Package</h3>
109117
<li>Interfaces</li>
110118
<li>Classes</li>
111119
<li>Enum Classes</li>
112-
<li>Exceptions</li>
113-
<li>Errors</li>
120+
<li>Exception Classes</li>
114121
<li>Annotation Interfaces</li>
115122
</ul>
116123
</section>

0 commit comments

Comments
 (0)