Skip to content

Commit 48a6f69

Browse files
deploy: 4443a31
1 parent f19c345 commit 48a6f69

63 files changed

Lines changed: 3294 additions & 812 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.

JVM-business-logic/data-driven/index.html

Lines changed: 72 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,14 +2,83 @@
22
<html>
33
<head>
44
<meta charset="utf-8" />
5-
<title>WebTau: Data Driven</title><link rel="stylesheet" type="text/css" href="/webtau/static/css/bootstrap.min.css">
5+
<title>WebTau: Data Driven</title>
66
<link rel="stylesheet" type="text/css" href="/webtau/static/css/katex.min.css">
77
<link rel="stylesheet" type="text/css" href="/webtau/static/main.css">
88
<link rel="stylesheet" type="text/css" href="/webtau/logo.css">
99
<link rel="stylesheet" type="text/css" href="/webtau/static/css/global-overrides.css">
1010
</head>
1111
<link rel="shortcut icon" href="/webtau/favicon.png"type="image/ico"/>
12-
<body>
12+
<body class="theme-znai-dark">
13+
<script>(function() {
14+
var themeNameKey = 'znaiTheme';
15+
var darkThemeName = 'znai-dark';
16+
var lightThemeName = 'default';
17+
18+
var znaiTheme = {
19+
changeHandlers: [],
20+
addChangeHandler(handler) {
21+
this.changeHandlers.push(handler);
22+
},
23+
removeChangeHandler(handler) {
24+
var idx = this.changeHandlers.indexOf(handler);
25+
this.changeHandlers.splice(idx, 1);
26+
},
27+
set(name) {
28+
this.name = name;
29+
document.body.className = 'theme-' + name;
30+
31+
var idx = 0;
32+
var len = this.changeHandlers.length;
33+
for (; idx < len; idx++) {
34+
this.changeHandlers[idx](name);
35+
}
36+
},
37+
setExplicitly(name) {
38+
storeThemeName(name);
39+
this.set(name);
40+
},
41+
setExplicitlyIfNotSetAlready(name) {
42+
const themeName = getStoredThemeName();
43+
if (themeName) {
44+
return
45+
}
46+
47+
this.setExplicitly(name)
48+
},
49+
toggle() {
50+
this.setExplicitly(this.name === lightThemeName ? darkThemeName : lightThemeName)
51+
}
52+
};
53+
54+
var mediaThemeName = setLightMatchMediaListenerAndGetThemeName()
55+
var themeName = getStoredThemeName() || mediaThemeName;
56+
znaiTheme.set(themeName);
57+
58+
window.znaiTheme = znaiTheme;
59+
60+
function getStoredThemeName() {
61+
return localStorage.getItem(themeNameKey);
62+
}
63+
64+
function storeThemeName(name) {
65+
return localStorage.setItem(themeNameKey, name);
66+
}
67+
68+
function setLightMatchMediaListenerAndGetThemeName() {
69+
if (!window.matchMedia) {
70+
return darkThemeName;
71+
}
72+
73+
var lightQuery = window.matchMedia('(prefers-color-scheme: light)');
74+
lightQuery.addEventListener("change", function (e) {
75+
const newThemeName = e.matches ? lightThemeName : darkThemeName;
76+
znaiTheme.setExplicitly(newThemeName);
77+
});
78+
79+
return lightQuery.matches ? lightThemeName : darkThemeName;
80+
}
81+
})()</script>
1382
<div id="znai"><div id="znai-initial-page-loading" style="margin: -20px 0 0 -20px; padding: 0 40px 40px 0; width: 100vw; height: 100vh; display: flex; justify-content: center; align-items: center">
1483
<div></div>
1584
</div><section style="max-width: 640px; margin-left: auto; margin-right: auto;">
@@ -31,8 +100,6 @@
31100
</div>
32101
<script type="text/javascript" src="/webtau/toc.js"></script>
33102
<script type="text/javascript" src="/webtau/assets.js"></script>
34-
<script type="text/javascript" src="/webtau/static/react.min.js"></script>
35-
<script type="text/javascript" src="/webtau/static/react-dom.min.js"></script>
36103
<script type="text/javascript" src="/webtau/static/main.js"></script>
37104
<script type="text/javascript" src="/webtau/search-index.js"></script>
38105
<script>
@@ -165,7 +232,7 @@
165232
} ]
166233
} ]
167234
} ],
168-
"lastModifiedTime" : 1586138367553,
235+
"lastModifiedTime" : 1589298402064,
169236
"tocItem" : {
170237
"sectionTitle" : "JVM Business Logic",
171238
"pageTitle" : "Data Driven",

JVM-business-logic/documentation-artifacts/index.html

Lines changed: 72 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,14 +2,83 @@
22
<html>
33
<head>
44
<meta charset="utf-8" />
5-
<title>WebTau: Documentation Artifacts</title><link rel="stylesheet" type="text/css" href="/webtau/static/css/bootstrap.min.css">
5+
<title>WebTau: Documentation Artifacts</title>
66
<link rel="stylesheet" type="text/css" href="/webtau/static/css/katex.min.css">
77
<link rel="stylesheet" type="text/css" href="/webtau/static/main.css">
88
<link rel="stylesheet" type="text/css" href="/webtau/logo.css">
99
<link rel="stylesheet" type="text/css" href="/webtau/static/css/global-overrides.css">
1010
</head>
1111
<link rel="shortcut icon" href="/webtau/favicon.png"type="image/ico"/>
12-
<body>
12+
<body class="theme-znai-dark">
13+
<script>(function() {
14+
var themeNameKey = 'znaiTheme';
15+
var darkThemeName = 'znai-dark';
16+
var lightThemeName = 'default';
17+
18+
var znaiTheme = {
19+
changeHandlers: [],
20+
addChangeHandler(handler) {
21+
this.changeHandlers.push(handler);
22+
},
23+
removeChangeHandler(handler) {
24+
var idx = this.changeHandlers.indexOf(handler);
25+
this.changeHandlers.splice(idx, 1);
26+
},
27+
set(name) {
28+
this.name = name;
29+
document.body.className = 'theme-' + name;
30+
31+
var idx = 0;
32+
var len = this.changeHandlers.length;
33+
for (; idx < len; idx++) {
34+
this.changeHandlers[idx](name);
35+
}
36+
},
37+
setExplicitly(name) {
38+
storeThemeName(name);
39+
this.set(name);
40+
},
41+
setExplicitlyIfNotSetAlready(name) {
42+
const themeName = getStoredThemeName();
43+
if (themeName) {
44+
return
45+
}
46+
47+
this.setExplicitly(name)
48+
},
49+
toggle() {
50+
this.setExplicitly(this.name === lightThemeName ? darkThemeName : lightThemeName)
51+
}
52+
};
53+
54+
var mediaThemeName = setLightMatchMediaListenerAndGetThemeName()
55+
var themeName = getStoredThemeName() || mediaThemeName;
56+
znaiTheme.set(themeName);
57+
58+
window.znaiTheme = znaiTheme;
59+
60+
function getStoredThemeName() {
61+
return localStorage.getItem(themeNameKey);
62+
}
63+
64+
function storeThemeName(name) {
65+
return localStorage.setItem(themeNameKey, name);
66+
}
67+
68+
function setLightMatchMediaListenerAndGetThemeName() {
69+
if (!window.matchMedia) {
70+
return darkThemeName;
71+
}
72+
73+
var lightQuery = window.matchMedia('(prefers-color-scheme: light)');
74+
lightQuery.addEventListener("change", function (e) {
75+
const newThemeName = e.matches ? lightThemeName : darkThemeName;
76+
znaiTheme.setExplicitly(newThemeName);
77+
});
78+
79+
return lightQuery.matches ? lightThemeName : darkThemeName;
80+
}
81+
})()</script>
1382
<div id="znai"><div id="znai-initial-page-loading" style="margin: -20px 0 0 -20px; padding: 0 40px 40px 0; width: 100vw; height: 100vh; display: flex; justify-content: center; align-items: center">
1483
<div></div>
1584
</div><section style="max-width: 640px; margin-left: auto; margin-right: auto;">
@@ -36,8 +105,6 @@
36105
</div>
37106
<script type="text/javascript" src="/webtau/toc.js"></script>
38107
<script type="text/javascript" src="/webtau/assets.js"></script>
39-
<script type="text/javascript" src="/webtau/static/react.min.js"></script>
40-
<script type="text/javascript" src="/webtau/static/react-dom.min.js"></script>
41108
<script type="text/javascript" src="/webtau/static/main.js"></script>
42109
<script type="text/javascript" src="/webtau/search-index.js"></script>
43110
<script>
@@ -359,7 +426,7 @@
359426
"type" : "Table"
360427
} ]
361428
} ],
362-
"lastModifiedTime" : 1586138367553,
429+
"lastModifiedTime" : 1589298402064,
363430
"tocItem" : {
364431
"sectionTitle" : "JVM Business Logic",
365432
"pageTitle" : "Documentation Artifacts",

REST/CRUD-separated/index.html

Lines changed: 73 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,14 +2,83 @@
22
<html>
33
<head>
44
<meta charset="utf-8" />
5-
<title>WebTau: CRUD Separated</title><link rel="stylesheet" type="text/css" href="/webtau/static/css/bootstrap.min.css">
5+
<title>WebTau: CRUD Separated</title>
66
<link rel="stylesheet" type="text/css" href="/webtau/static/css/katex.min.css">
77
<link rel="stylesheet" type="text/css" href="/webtau/static/main.css">
88
<link rel="stylesheet" type="text/css" href="/webtau/logo.css">
99
<link rel="stylesheet" type="text/css" href="/webtau/static/css/global-overrides.css">
1010
</head>
1111
<link rel="shortcut icon" href="/webtau/favicon.png"type="image/ico"/>
12-
<body>
12+
<body class="theme-znai-dark">
13+
<script>(function() {
14+
var themeNameKey = 'znaiTheme';
15+
var darkThemeName = 'znai-dark';
16+
var lightThemeName = 'default';
17+
18+
var znaiTheme = {
19+
changeHandlers: [],
20+
addChangeHandler(handler) {
21+
this.changeHandlers.push(handler);
22+
},
23+
removeChangeHandler(handler) {
24+
var idx = this.changeHandlers.indexOf(handler);
25+
this.changeHandlers.splice(idx, 1);
26+
},
27+
set(name) {
28+
this.name = name;
29+
document.body.className = 'theme-' + name;
30+
31+
var idx = 0;
32+
var len = this.changeHandlers.length;
33+
for (; idx < len; idx++) {
34+
this.changeHandlers[idx](name);
35+
}
36+
},
37+
setExplicitly(name) {
38+
storeThemeName(name);
39+
this.set(name);
40+
},
41+
setExplicitlyIfNotSetAlready(name) {
42+
const themeName = getStoredThemeName();
43+
if (themeName) {
44+
return
45+
}
46+
47+
this.setExplicitly(name)
48+
},
49+
toggle() {
50+
this.setExplicitly(this.name === lightThemeName ? darkThemeName : lightThemeName)
51+
}
52+
};
53+
54+
var mediaThemeName = setLightMatchMediaListenerAndGetThemeName()
55+
var themeName = getStoredThemeName() || mediaThemeName;
56+
znaiTheme.set(themeName);
57+
58+
window.znaiTheme = znaiTheme;
59+
60+
function getStoredThemeName() {
61+
return localStorage.getItem(themeNameKey);
62+
}
63+
64+
function storeThemeName(name) {
65+
return localStorage.setItem(themeNameKey, name);
66+
}
67+
68+
function setLightMatchMediaListenerAndGetThemeName() {
69+
if (!window.matchMedia) {
70+
return darkThemeName;
71+
}
72+
73+
var lightQuery = window.matchMedia('(prefers-color-scheme: light)');
74+
lightQuery.addEventListener("change", function (e) {
75+
const newThemeName = e.matches ? lightThemeName : darkThemeName;
76+
znaiTheme.setExplicitly(newThemeName);
77+
});
78+
79+
return lightQuery.matches ? lightThemeName : darkThemeName;
80+
}
81+
})()</script>
1382
<div id="znai"><div id="znai-initial-page-loading" style="margin: -20px 0 0 -20px; padding: 0 40px 40px 0; width: 100vw; height: 100vh; display: flex; justify-content: center; align-items: center">
1483
<div></div>
1584
</div><section style="max-width: 640px; margin-left: auto; margin-right: auto;">
@@ -26,8 +95,6 @@
2695
</div>
2796
<script type="text/javascript" src="/webtau/toc.js"></script>
2897
<script type="text/javascript" src="/webtau/assets.js"></script>
29-
<script type="text/javascript" src="/webtau/static/react.min.js"></script>
30-
<script type="text/javascript" src="/webtau/static/react-dom.min.js"></script>
3198
<script type="text/javascript" src="/webtau/static/main.js"></script>
3299
<script type="text/javascript" src="/webtau/search-index.js"></script>
33100
<script>
@@ -159,14 +226,14 @@
159226
}, {
160227
"fit" : true,
161228
"imageSrc" : "/webtau/doc-artifacts/reports/report-crud-separated-http-calls.png",
162-
"timestamp" : 1586138684982,
229+
"timestamp" : 1589298774333,
163230
"shapes" : [ ],
164231
"width" : 1200.0,
165232
"height" : 804.0,
166233
"type" : "AnnotatedImage"
167234
} ]
168235
} ],
169-
"lastModifiedTime" : 1586138367553,
236+
"lastModifiedTime" : 1589298402064,
170237
"tocItem" : {
171238
"sectionTitle" : "REST",
172239
"pageTitle" : "CRUD Separated",

0 commit comments

Comments
 (0)