-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Site checkin for project microBean™ Type
- Loading branch information
microbean
committed
Dec 18, 2023
1 parent
1bb64d4
commit 0941bef
Showing
118 changed files
with
7,480 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,82 @@ | ||
<!DOCTYPE HTML> | ||
<html lang="en"> | ||
<head> | ||
<!-- Generated by javadoc (17) on Mon Dec 18 23:25:10 UTC 2023 --> | ||
<title>All Classes and Interfaces (microBean™ Type 0.0.3 API)</title> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
<meta http-equiv="Content-Type" content="text/html; charset=UTF8"> | ||
<meta name="dc.created" content="2023-12-18"> | ||
<meta name="description" content="class index"> | ||
<meta name="generator" content="javadoc/AllClassesIndexWriter"> | ||
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="fonts.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style"> | ||
<script type="text/javascript" src="script.js"></script> | ||
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script> | ||
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script> | ||
</head> | ||
<body class="all-classes-index-page"> | ||
<script type="text/javascript">var evenRowColor = "even-row-color"; | ||
var oddRowColor = "odd-row-color"; | ||
var tableTab = "table-tab"; | ||
var activeTableTab = "active-table-tab"; | ||
var pathtoroot = "./"; | ||
loadScripts(document, 'script');</script> | ||
<noscript> | ||
<div>JavaScript is disabled on your browser.</div> | ||
</noscript> | ||
<div class="flex-box"> | ||
<header role="banner" class="flex-header"> | ||
<nav role="navigation"> | ||
<!-- ========= START OF TOP NAVBAR ======= --> | ||
<div class="top-nav" id="navbar-top"> | ||
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div> | ||
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation"> | ||
<li><a href="org.microbean.scope/module-summary.html">Module</a></li> | ||
<li><a href="org.microbean.scope/org/microbean/scope/package-summary.html">Package</a></li> | ||
<li>Class</li> | ||
<li>Use</li> | ||
<li><a href="org.microbean.scope/org/microbean/scope/package-tree.html">Tree</a></li> | ||
<li><a href="index-all.html">Index</a></li> | ||
<li><a href="help-doc.html#all-classes">Help</a></li> | ||
</ul> | ||
</div> | ||
<div class="sub-nav"> | ||
<div class="nav-list-search"><label for="search-input">SEARCH:</label> | ||
<input type="text" id="search-input" value="search" disabled="disabled"> | ||
<input type="reset" id="reset-button" value="reset" disabled="disabled"> | ||
</div> | ||
</div> | ||
<!-- ========= END OF TOP NAVBAR ========= --> | ||
<span class="skip-nav" id="skip-navbar-top"></span></nav> | ||
</header> | ||
<div class="flex-content"> | ||
<main role="main"> | ||
<div class="header"> | ||
<h1 title="All Classes and Interfaces" class="title">All Classes and Interfaces</h1> | ||
</div> | ||
<div id="all-classes-table"> | ||
<div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="all-classes-table-tab0" role="tab" aria-selected="true" aria-controls="all-classes-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table', 2)" class="active-table-tab">All Classes and Interfaces</button><button id="all-classes-table-tab1" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab1', 2)" class="table-tab">Interfaces</button><button id="all-classes-table-tab2" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab2', 2)" class="table-tab">Classes</button><button id="all-classes-table-tab4" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab4', 2)" class="table-tab">Record Classes</button></div> | ||
<div id="all-classes-table.tabpanel" role="tabpanel"> | ||
<div class="summary-table two-column-summary" aria-labelledby="all-classes-table-tab0"> | ||
<div class="table-header col-first">Class</div> | ||
<div class="table-header col-last">Description</div> | ||
<div class="col-first even-row-color all-classes-table all-classes-table-tab2"><a href="org.microbean.scope/org/microbean/scope/ConstantDescs.html" title="class in org.microbean.scope">ConstantDescs</a></div> | ||
<div class="col-last even-row-color all-classes-table all-classes-table-tab2"> </div> | ||
<div class="col-first odd-row-color all-classes-table all-classes-table-tab4"><a href="org.microbean.scope/org/microbean/scope/Scope.html" title="class in org.microbean.scope">Scope</a></div> | ||
<div class="col-last odd-row-color all-classes-table all-classes-table-tab4"> </div> | ||
<div class="col-first even-row-color all-classes-table all-classes-table-tab1"><a href="org.microbean.scope/org/microbean/scope/ScopeMember.html" title="interface in org.microbean.scope">ScopeMember</a></div> | ||
<div class="col-last even-row-color all-classes-table all-classes-table-tab1"> </div> | ||
</div> | ||
</div> | ||
</div> | ||
</main> | ||
<footer role="contentinfo"> | ||
<hr> | ||
<p class="legal-copy"><small>Copyright © 2022–2023, <a href="http://microbean.systems/" target="_top">microBean™</a>. All rights reserved.</small></p> | ||
</footer> | ||
</div> | ||
</div> | ||
</body> | ||
</html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,72 @@ | ||
<!DOCTYPE HTML> | ||
<html lang="en"> | ||
<head> | ||
<!-- Generated by javadoc (17) on Mon Dec 18 23:25:10 UTC 2023 --> | ||
<title>All Packages (microBean™ Type 0.0.3 API)</title> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
<meta http-equiv="Content-Type" content="text/html; charset=UTF8"> | ||
<meta name="dc.created" content="2023-12-18"> | ||
<meta name="description" content="package index"> | ||
<meta name="generator" content="javadoc/AllPackagesIndexWriter"> | ||
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="fonts.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style"> | ||
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style"> | ||
<script type="text/javascript" src="script.js"></script> | ||
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script> | ||
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script> | ||
</head> | ||
<body class="all-packages-index-page"> | ||
<script type="text/javascript">var pathtoroot = "./"; | ||
loadScripts(document, 'script');</script> | ||
<noscript> | ||
<div>JavaScript is disabled on your browser.</div> | ||
</noscript> | ||
<div class="flex-box"> | ||
<header role="banner" class="flex-header"> | ||
<nav role="navigation"> | ||
<!-- ========= START OF TOP NAVBAR ======= --> | ||
<div class="top-nav" id="navbar-top"> | ||
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div> | ||
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation"> | ||
<li><a href="org.microbean.scope/module-summary.html">Module</a></li> | ||
<li><a href="org.microbean.scope/org/microbean/scope/package-summary.html">Package</a></li> | ||
<li>Class</li> | ||
<li>Use</li> | ||
<li><a href="org.microbean.scope/org/microbean/scope/package-tree.html">Tree</a></li> | ||
<li><a href="index-all.html">Index</a></li> | ||
<li><a href="help-doc.html#all-packages">Help</a></li> | ||
</ul> | ||
</div> | ||
<div class="sub-nav"> | ||
<div class="nav-list-search"><label for="search-input">SEARCH:</label> | ||
<input type="text" id="search-input" value="search" disabled="disabled"> | ||
<input type="reset" id="reset-button" value="reset" disabled="disabled"> | ||
</div> | ||
</div> | ||
<!-- ========= END OF TOP NAVBAR ========= --> | ||
<span class="skip-nav" id="skip-navbar-top"></span></nav> | ||
</header> | ||
<div class="flex-content"> | ||
<main role="main"> | ||
<div class="header"> | ||
<h1 title="All&nbsp;Packages" class="title">All Packages</h1> | ||
</div> | ||
<div class="caption"><span>Package Summary</span></div> | ||
<div class="summary-table two-column-summary"> | ||
<div class="table-header col-first">Package</div> | ||
<div class="table-header col-last">Description</div> | ||
<div class="col-first even-row-color"><a href="org.microbean.scope/org/microbean/scope/package-summary.html">org.microbean.scope</a></div> | ||
<div class="col-last even-row-color"> | ||
<div class="block">Provides classes and interfaces related to implementing scopes.</div> | ||
</div> | ||
</div> | ||
</main> | ||
<footer role="contentinfo"> | ||
<hr> | ||
<p class="legal-copy"><small>Copyright © 2022–2023, <a href="http://microbean.systems/" target="_top">microBean™</a>. All rights reserved.</small></p> | ||
</footer> | ||
</div> | ||
</div> | ||
</body> | ||
</html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
module:org.microbean.scope | ||
org.microbean.scope |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
@import url('https://fonts.googleapis.com/css2?2?family=Roboto+Mono:ital,wght@0,400;1,400&family=Roboto:ital,wght@0,400;0,700;1,400;1,700&family=Lobster&display=swap'); | ||
body { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
button { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
h1, h2, h3 { | ||
font-weight: 700 | ||
} | ||
input { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
code, tt, pre { | ||
font-family: 'Roboto Mono', 'DejaVu Sans Mono', monospace; | ||
} | ||
.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
div.block { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
div.table-tabs > button { | ||
font-weight: 700 | ||
} | ||
dl.notes > dt { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
font-weight: 700 | ||
} | ||
dl.notes > dd { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif; | ||
} | ||
strong { | ||
font-weight: 700 | ||
} | ||
.caption { | ||
font-weight: 700 | ||
} | ||
.table-header { | ||
font-weight: 700 | ||
} | ||
.col-first a:link, .col-first a:visited, .col-second a:link, .col-second a:visited, .col-first a:link, .col-first a:visited, .col-second a:link, .col-second a:visited, .col-constructor-name a:link, .col-constructor-name a:visited, .col-summary-item-name a:link, .col-summary-item-name a:visited, .constant-values-container a:link, .constant-values-container a:visited, .all-classes-container a:link, .all-classes-container a:visited, .all-packages-container a:link, .all-packages-container a:visited { | ||
font-weight: 700 | ||
} | ||
.deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link, .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type, .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label { | ||
font-weight: 700 | ||
} | ||
.module-signature, .package-signature, .type-signature, .member-signature { | ||
font-family: 'Roboto Mono', 'DejaVu Sans Mono', monospace; | ||
} | ||
main a[href*="://"]::after { | ||
all: unset; | ||
} | ||
.result-highlight { | ||
font-weight: 700; | ||
} | ||
.ui-widget { | ||
font-family: 'Roboto', 'DejaVu Sans', Arial, Helvetica, sans-serif !important; | ||
} | ||
.ui-autocomplete-category { | ||
font-weight: 700; | ||
} |
Oops, something went wrong.