status-im
/
nim-libp2p
mirror of https://github.com/status-im/nim-libp2p.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
nim-libp2p/p2p-research/dochack.js

1608 lines
54 KiB
JavaScript
Raw Normal View History

update docs for p2p-research
2023-10-20 09:31:28 +00:00
/* Generated by the Nim Compiler v2.0.0 */
var framePtr = null;
var excHandler = 0;
var lastJSError = null;
var NTI33554466 = {size: 0,kind: 1,base: null,node: null,finalizer: null};
var NTI721420302 = {size: 0, kind: 18, base: null, node: null, finalizer: null};
var NTI33554435 = {size: 0,kind: 31,base: null,node: null,finalizer: null};
var NTI973078607 = {size: 0,kind: 31,base: null,node: null,finalizer: null};
var NTI973078613 = {size: 0, kind: 18, base: null, node: null, finalizer: null};
var NTI134217745 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217749 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217751 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555173 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555181 = {size: 0, kind: 22, base: null, node: null, finalizer: null};
var NTI33554449 = {size: 0,kind: 28,base: null,node: null,finalizer: null};
var NTI33554450 = {size: 0,kind: 29,base: null,node: null,finalizer: null};
var NTI33555180 = {size: 0, kind: 22, base: null, node: null, finalizer: null};
var NTI33555177 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555178 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217741 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217743 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NNI134217743 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217743.node = NNI134217743;
var NNI134217741 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217741.node = NNI134217741;
var NNI33555178 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI33555178.node = NNI33555178;
NTI33555180.base = NTI33555177;
NTI33555181.base = NTI33555177;
var NNI33555177 = {kind: 2, len: 5, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "parent", len: 0, typ: NTI33555180, name: "parent", sons: null},
{kind: 1, offset: "name", len: 0, typ: NTI33554450, name: "name", sons: null},
{kind: 1, offset: "message", len: 0, typ: NTI33554449, name: "msg", sons: null},
{kind: 1, offset: "trace", len: 0, typ: NTI33554449, name: "trace", sons: null},
{kind: 1, offset: "up", len: 0, typ: NTI33555181, name: "up", sons: null}]};
NTI33555177.node = NNI33555177;
var NNI33555173 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI33555173.node = NNI33555173;
NTI33555177.base = NTI33555173;
NTI33555178.base = NTI33555177;
NTI134217741.base = NTI33555178;
NTI134217743.base = NTI134217741;
var NNI134217751 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217751.node = NNI134217751;
NTI134217751.base = NTI33555178;
var NNI134217749 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217749.node = NNI134217749;
NTI134217749.base = NTI33555178;
var NNI134217745 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217745.node = NNI134217745;
NTI134217745.base = NTI33555178;
var NNI973078613 = {kind: 2, len: 2, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "a", len: 0, typ: NTI973078607, name: "a", sons: null},
{kind: 1, offset: "b", len: 0, typ: NTI33554435, name: "b", sons: null}]};
NTI973078613.node = NNI973078613;
var NNI721420302 = {kind: 2, len: 2, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "Field0", len: 0, typ: NTI33554435, name: "Field0", sons: null},
{kind: 1, offset: "Field1", len: 0, typ: NTI33554466, name: "Field1", sons: null}]};
NTI721420302.node = NNI721420302;
function mnewString(len_33557003) {
return new Array(len_33557003);
}
function toJSStr(s_33556901) {
var result_33556902 = null;
var res_33556943 = newSeq_33556919((s_33556901).length);
var i_33556944 = 0;
var j_33556945 = 0;
Label1: {
Label2: while (true) {
if (!(i_33556944 < (s_33556901).length)) break Label2;
var c_33556946 = s_33556901[i_33556944];
if ((c_33556946 < 128)) {
res_33556943[j_33556945] = String.fromCharCode(c_33556946);
i_33556944 += 1;
}
else {
var helper_33556959 = newSeq_33556919(0);
Label3: {
Label4: while (true) {
if (!true) break Label4;
var code_33556960 = c_33556946.toString(16);
if ((((code_33556960) == null ? 0 : (code_33556960).length) == 1)) {
helper_33556959.push("%0");;
}
else {
helper_33556959.push("%");;
}
helper_33556959.push(code_33556960);;
i_33556944 += 1;
if ((((s_33556901).length <= i_33556944) || (s_33556901[i_33556944] < 128))) {
break Label3;
}
c_33556946 = s_33556901[i_33556944];
}
};
++excHandler;
try {
res_33556943[j_33556945] = decodeURIComponent(helper_33556959.join(""));
--excHandler;
} catch (EXCEPTION) {
var prevJSError = lastJSError;
lastJSError = EXCEPTION;
--excHandler;
res_33556943[j_33556945] = helper_33556959.join("");
lastJSError = prevJSError;
} finally {
}
}
j_33556945 += 1;
}
};
if (res_33556943.length < j_33556945) { for (var i = res_33556943.length ; i < j_33556945 ; ++i) res_33556943.push(null); }
else { res_33556943.length = j_33556945; };
result_33556902 = res_33556943.join("");
return result_33556902;
}
function raiseException(e_33556653, ename_33556654) {
e_33556653.name = ename_33556654;
if ((excHandler == 0)) {
unhandledException(e_33556653);
}
throw e_33556653;
}
function addInt(a_33557050, b_33557051) {
var result = a_33557050 + b_33557051;
checkOverflowInt(result);
return result;
}
function chckRange(i_33557324, a_33557325, b_33557326) {
var result_33557327 = 0;
BeforeRet: {
if (((a_33557325 <= i_33557324) && (i_33557324 <= b_33557326))) {
result_33557327 = i_33557324;
break BeforeRet;
}
else {
raiseRangeError();
}
};
return result_33557327;
}
function setConstr() {
var result = {};
for (var i = 0; i < arguments.length; ++i) {
var x = arguments[i];
if (typeof(x) == "object") {
for (var j = x[0]; j <= x[1]; ++j) {
result[j] = true;
}
} else {
result[x] = true;
}
}
return result;
}
var ConstSet1 = setConstr(17, 16, 4, 18, 27, 19, 23, 22, 21);
function nimCopy(dest_33557268, src_33557269, ti_33557270) {
var result_33557279 = null;
switch (ti_33557270.kind) {
case 21:
case 22:
case 23:
case 5:
if (!(isFatPointer_33557259(ti_33557270))) {
result_33557279 = src_33557269;
}
else {
result_33557279 = [src_33557269[0], src_33557269[1]];
}
break;
case 19:
if (dest_33557268 === null || dest_33557268 === undefined) {
dest_33557268 = {};
}
else {
for (var key in dest_33557268) { delete dest_33557268[key]; }
}
for (var key in src_33557269) { dest_33557268[key] = src_33557269[key]; }
result_33557279 = dest_33557268;
break;
case 18:
case 17:
if (!((ti_33557270.base == null))) {
result_33557279 = nimCopy(dest_33557268, src_33557269, ti_33557270.base);
}
else {
if ((ti_33557270.kind == 17)) {
result_33557279 = (dest_33557268 === null || dest_33557268 === undefined) ? {m_type: ti_33557270} : dest_33557268;
}
else {
result_33557279 = (dest_33557268 === null || dest_33557268 === undefined) ? {} : dest_33557268;
}
}
nimCopyAux(result_33557279, src_33557269, ti_33557270.node);
break;
case 4:
case 16:
if(ArrayBuffer.isView(src_33557269)) {
if(dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
dest_33557268 = new src_33557269.constructor(src_33557269);
} else {
dest_33557268.set(src_33557269, 0);
}
result_33557279 = dest_33557268;
} else {
if (src_33557269 === null) {
result_33557279 = null;
}
else {
if (dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
dest_33557268 = new Array(src_33557269.length);
}
result_33557279 = dest_33557268;
for (var i = 0; i < src_33557269.length; ++i) {
result_33557279[i] = nimCopy(result_33557279[i], src_33557269[i], ti_33557270.base);
}
}
}
break;
case 24:
case 27:
if (src_33557269 === null) {
result_33557279 = null;
}
else {
if (dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
dest_33557268 = new Array(src_33557269.length);
}
result_33557279 = dest_33557268;
for (var i = 0; i < src_33557269.length; ++i) {
result_33557279[i] = nimCopy(result_33557279[i], src_33557269[i], ti_33557270.base);
}
}
break;
case 28:
if (src_33557269 !== null) {
result_33557279 = src_33557269.slice(0);
}
break;
default:
result_33557279 = src_33557269;
break;
}
return result_33557279;
}
function chckIndx(i_33557319, a_33557320, b_33557321) {
var result_33557322 = 0;
BeforeRet: {
if (((a_33557320 <= i_33557319) && (i_33557319 <= b_33557321))) {
result_33557322 = i_33557319;
break BeforeRet;
}
else {
raiseIndexError(i_33557319, a_33557320, b_33557321);
}
};
return result_33557322;
}
function makeNimstrLit(c_33556895) {
var result = [];
for (var i = 0; i < c_33556895.length; ++i) {
result[i] = c_33556895.charCodeAt(i);
}
return result;
}
function subInt(a_33557054, b_33557055) {
var result = a_33557054 - b_33557055;
checkOverflowInt(result);
return result;
}
function cstrToNimstr(c_33556898) {
var ln = c_33556898.length;
var result = new Array(ln);
var r = 0;
for (var i = 0; i < ln; ++i) {
var ch = c_33556898.charCodeAt(i);
if (ch < 128) {
result[r] = ch;
}
else {
if (ch < 2048) {
result[r] = (ch >> 6) | 192;
}
else {
if (ch < 55296 || ch >= 57344) {
result[r] = (ch >> 12) | 224;
}
else {
++i;
ch = 65536 + (((ch & 1023) << 10) | (c_33556898.charCodeAt(i) & 1023));
result[r] = (ch >> 18) | 240;
++r;
result[r] = ((ch >> 12) & 63) | 128;
}
++r;
result[r] = ((ch >> 6) & 63) | 128;
}
++r;
result[r] = (ch & 63) | 128;
}
++r;
}
return result;
}
var ConstSet2 = setConstr([65, 90]);
var ConstSet3 = setConstr(95, 32, 46);
var ConstSet4 = setConstr(95, 32, 46);
function mulInt(a_33557058, b_33557059) {
var result = a_33557058 * b_33557059;
checkOverflowInt(result);
return result;
}
var ConstSet5 = setConstr([97, 122]);
var ConstSet6 = setConstr([65, 90], [97, 122]);
var ConstSet7 = setConstr([97, 122]);
var ConstSet8 = setConstr([65, 90]);
var ConstSet9 = setConstr([65, 90], [97, 122]);
function nimMax(a_33557108, b_33557109) {
var Temporary1;
var result_33557110 = 0;
BeforeRet: {
if ((b_33557109 <= a_33557108)) {
Temporary1 = a_33557108;
}
else {
Temporary1 = b_33557109;
}
result_33557110 = Temporary1;
break BeforeRet;
};
return result_33557110;
}
function nimMin(a_33557104, b_33557105) {
var Temporary1;
var result_33557106 = 0;
BeforeRet: {
if ((a_33557104 <= b_33557105)) {
Temporary1 = a_33557104;
}
else {
Temporary1 = b_33557105;
}
result_33557106 = Temporary1;
break BeforeRet;
};
return result_33557106;
}
function addChar(x_33557415, c_33557416) {
x_33557415.push(c_33557416);
}
var objectID_1207959729 = [0];
function setTheme(theme_570425350) {
document.documentElement.setAttribute("data-theme", theme_570425350);
window.localStorage.setItem("theme", theme_570425350);
}
function add_33556373(x_33556374, x_33556374_Idx, y_33556375) {
if (x_33556374[x_33556374_Idx] === null) { x_33556374[x_33556374_Idx] = []; }
var off = x_33556374[x_33556374_Idx].length;
x_33556374[x_33556374_Idx].length += y_33556375.length;
for (var i = 0; i < y_33556375.length; ++i) {
x_33556374[x_33556374_Idx][off+i] = y_33556375.charCodeAt(i);
}
}
function newSeq_33556919(len_33556921) {
var result_33556922 = [];
result_33556922 = new Array(len_33556921); for (var i = 0 ; i < len_33556921 ; ++i) { result_33556922[i] = null; }
return result_33556922;
}
function unhandledException(e_33556649) {
var buf_33556650 = [[]];
if (!(((e_33556649.message).length == 0))) {
buf_33556650[0].push.apply(buf_33556650[0], [69,114,114,111,114,58,32,117,110,104,97,110,100,108,101,100,32,101,120,99,101,112,116,105,111,110,58,32]);;
buf_33556650[0].push.apply(buf_33556650[0], e_33556649.message);;
}
else {
buf_33556650[0].push.apply(buf_33556650[0], [69,114,114,111,114,58,32,117,110,104,97,110,100,108,101,100,32,101,120,99,101,112,116,105,111,110]);;
}
buf_33556650[0].push.apply(buf_33556650[0], [32,91]);;
add_33556373(buf_33556650, 0, e_33556649.name);
buf_33556650[0].push.apply(buf_33556650[0], [93,10]);;
var cbuf_33556651 = toJSStr(buf_33556650[0]);
if (typeof(Error) !== "undefined") {
throw new Error(cbuf_33556651);
}
else {
throw cbuf_33556651;
}
}
function raiseOverflow() {
raiseException({message: [111,118,101,114,45,32,111,114,32,117,110,100,101,114,102,108,111,119], parent: null, m_type: NTI134217743, name: null, trace: [], up: null}, "OverflowDefect");
}
function checkOverflowInt(a_33557048) {
if (a_33557048 > 2147483647 || a_33557048 < -2147483648) raiseOverflow();
}
function raiseRangeError() {
raiseException({message: [118,97,108,117,101,32,111,117,116,32,111,102,32,114,97,110,103,101], parent: null, m_type: NTI134217751, name: null, trace: [], up: null}, "RangeDefect");
}
function addChars_301990090(result_301990092, result_301990092_Idx, x_301990093, start_301990094, n_301990095) {
var Temporary1;
var old_301990096 = (result_301990092[result_301990092_Idx]).length;
if (result_301990092[result_301990092_Idx].length < (Temporary1 = chckRange(addInt(old_301990096, n_301990095), 0, 2147483647), Temporary1)) { for (var i = result_301990092[result_301990092_Idx].length; i < Temporary1; ++i) result_301990092[result_301990092_Idx].push(0); }
else {result_301990092[result_301990092_Idx].length = Temporary1; };
Label2: {
var iHEX60gensym4_301990110 = 0;
var i_570426543 = 0;
Label3: {
Label4: while (true) {
if (!(i_570426543 < n_301990095)) break Label4;
iHEX60gensym4_301990110 = i_570426543;
result_301990092[result_301990092_Idx][chckIndx(addInt(old_301990096, iHEX60gensym4_301990110), 0, (result_301990092[result_301990092_Idx]).length - 1)] = x_301990093.charCodeAt(chckIndx(addInt(start_301990094, iHEX60gensym4_301990110), 0, (x_301990093).length - 1));
i_570426543 = addInt(i_570426543, 1);
}
};
};
}
function addChars_301990086(result_301990088, result_301990088_Idx, x_301990089) {
addChars_301990090(result_301990088, result_301990088_Idx, x_301990089, 0, ((x_301990089) == null ? 0 : (x_301990089).length));
}
function addInt_301990111(result_301990112, result_301990112_Idx, x_301990113) {
addChars_301990086(result_301990112, result_301990112_Idx, ((x_301990113) + ""));
}
function addInt_301990129(result_301990130, result_301990130_Idx, x_301990131) {
addInt_301990111(result_301990130, result_301990130_Idx, BigInt(x_301990131));
}
function HEX24_385875976(x_385875977) {
var result_385875978 = [[]];
addInt_301990129(result_385875978, 0, x_385875977);
return result_385875978[0];
}
function isFatPointer_33557259(ti_33557260) {
var result_33557261 = false;
BeforeRet: {
result_33557261 = !((ConstSet1[ti_33557260.base.kind] != undefined));
break BeforeRet;
};
return result_33557261;
}
function nimCopyAux(dest_33557272, src_33557273, n_33557274) {
switch (n_33557274.kind) {
case 0:
break;
case 1:
dest_33557272[n_33557274.offset] = nimCopy(dest_33557272[n_33557274.offset], src_33557273[n_33557274.offset], n_33557274.typ);
break;
case 2:
for (var i = 0; i < n_33557274.sons.length; i++) {
nimCopyAux(dest_33557272, src_33557273, n_33557274.sons[i]);
}
break;
case 3:
dest_33557272[n_33557274.offset] = nimCopy(dest_33557272[n_33557274.offset], src_33557273[n_33557274.offset], n_33557274.typ);
for (var i = 0; i < n_33557274.sons.length; ++i) {
nimCopyAux(dest_33557272, src_33557273, n_33557274.sons[i][1]);
}
break;
}
}
function raiseIndexError(i_33556812, a_33556813, b_33556814) {
var Temporary1;
if ((b_33556814 < a_33556813)) {
Temporary1 = [105,110,100,101,120,32,111,117,116,32,111,102,32,98,111,117,110,100,115,44,32,116,104,101,32,99,111,110,116,97,105,110,101,114,32,105,115,32,101,109,112,116,121];
}
else {
Temporary1 = ([105,110,100,101,120,32] || []).concat(HEX24_385875976(i_33556812) || [],[32,110,111,116,32,105,110,32] || [],HEX24_385875976(a_33556813) || [],[32,46,46,32] || [],HEX24_385875976(b_33556814) || []);
}
raiseException({message: nimCopy(null, Temporary1, NTI33554449), parent: null, m_type: NTI134217749, name: null, trace: [], up: null}, "IndexDefect");
}
function sysFatal_268435501(message_268435504) {
raiseException({message: nimCopy(null, message_268435504, NTI33554449), m_type: NTI134217745, parent: null, name: null, trace: [], up: null}, "AssertionDefect");
}
function raiseAssert_268435499(msg_268435500) {
sysFatal_268435501(msg_268435500);
}
function failedAssertImpl_268435541(msg_268435542) {
raiseAssert_268435499(msg_268435542);
}
function onDOMLoaded(e_570425385) {
function HEX3Aanonymous_570425409(event_570425410) {
event_570425410.target.parentNode.style.display = "none";
event_570425410.target.parentNode.nextSibling.style.display = "inline";
}
document.getElementById("theme-select").value = window.localStorage.getItem("theme");
Label1: {
var pragmaDots_570425408 = null;
var colontmp__570426534 = [];
colontmp__570426534 = document.getElementsByClassName("pragmadots");
var i_570426536 = 0;
var L_570426537 = (colontmp__570426534).length;
Label2: {
Label3: while (true) {
if (!(i_570426536 < L_570426537)) break Label3;
pragmaDots_570425408 = colontmp__570426534[chckIndx(i_570426536, 0, (colontmp__570426534).length - 1)];
pragmaDots_570425408.onclick = HEX3Aanonymous_570425409;
i_570426536 = addInt(i_570426536, 1);
if (!(((colontmp__570426534).length == L_570426537))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
}
function isWhitespace_570425752(x_570425753) {
var result_570425754 = false;
result_570425754 = (((x_570425753.nodeName == "#text") && !/\S/.test(x_570425753.textContent)) || (x_570425753.nodeName == "#comment"));
return result_570425754;
}
function toToc_570425755(x_570425756, father_570425757) {
var Temporary5;
var Temporary6;
var Temporary7;
var Temporary8;
var Temporary15;
if ((x_570425756.nodeName == "UL")) {
var f_570425765 = {heading: null, kids: [], sortId: (father_570425757.kids).length, doSort: false};
var i_570425766 = 0;
Label1: {
Label2: while (true) {
if (!(i_570425766 < x_570425756.childNodes.length)) break Label2;
var nxt_570425767 = addInt(i_570425766, 1);
Label3: {
Label4: while (true) {
if (!(nxt_570425767 < x_570425756.childNodes.length)) Temporary5 = false; else { Temporary5 = isWhitespace_570425752(x_570425756.childNodes[nxt_570425767]); } if (!Temporary5) break Label4;
nxt_570425767 = addInt(nxt_570425767, 1);
}
};
if (!(nxt_570425767 < x_570425756.childNodes.length)) Temporary8 = false; else { Temporary8 = (x_570425756.childNodes[i_570425766].nodeName == "LI"); } if (!Temporary8) Temporary7 = false; else { Temporary7 = (x_570425756.childNodes[i_570425766].childNodes.length == 1); } if (!Temporary7) Temporary6 = false; else { Temporary6 = (x_570425756.childNodes[nxt_570425767].nodeName == "UL"); } if (Temporary6) {
var e_570425780 = {heading: x_570425756.childNodes[i_570425766].childNodes[0], kids: [], sortId: (f_570425765.kids).length, doSort: false};
var it_570425781 = x_570425756.childNodes[nxt_570425767];
Label9: {
var j_570425786 = 0;
var colontmp__570426550 = 0;
colontmp__570426550 = it_570425781.childNodes.length;
var i_570426551 = 0;
Label10: {
Label11: while (true) {
if (!(i_570426551 < colontmp__570426550)) break Label11;
j_570425786 = i_570426551;
toToc_570425755(it_570425781.childNodes[j_570425786], e_570425780);
i_570426551 = addInt(i_570426551, 1);
}
};
};
f_570425765.kids.push(e_570425780);;
i_570425766 = addInt(nxt_570425767, 1);
}
else {
toToc_570425755(x_570425756.childNodes[i_570425766], f_570425765);
i_570425766 = addInt(i_570425766, 1);
}
}
};
father_570425757.kids.push(f_570425765);;
}
else {
if (isWhitespace_570425752(x_570425756)) {
}
else {
if ((x_570425756.nodeName == "LI")) {
var idx_570425804 = [];
Label12: {
var i_570425809 = 0;
var colontmp__570426554 = 0;
colontmp__570426554 = x_570425756.childNodes.length;
var i_570426555 = 0;
Label13: {
Label14: while (true) {
if (!(i_570426555 < colontmp__570426554)) break Label14;
i_570425809 = i_570426555;
if (!(isWhitespace_570425752(x_570425756.childNodes[i_570425809]))) {
idx_570425804.push(i_570425809);;
}
i_570426555 = addInt(i_570426555, 1);
}
};
};
if (!((idx_570425804).length == 2)) Temporary15 = false; else { Temporary15 = (x_570425756.childNodes[idx_570425804[chckIndx(1, 0, (idx_570425804).length - 1)]].nodeName == "UL"); } if (Temporary15) {
var e_570425825 = {heading: x_570425756.childNodes[idx_570425804[chckIndx(0, 0, (idx_570425804).length - 1)]], kids: [], sortId: (father_570425757.kids).length, doSort: false};
var it_570425826 = x_570425756.childNodes[idx_570425804[chckIndx(1, 0, (idx_570425804).length - 1)]];
Label16: {
var j_570425831 = 0;
var colontmp__570426558 = 0;
colontmp__570426558 = it_570425826.childNodes.length;
var i_570426559 = 0;
Label17: {
Label18: while (true) {
if (!(i_570426559 < colontmp__570426558)) break Label18;
j_570425831 = i_570426559;
toToc_570425755(it_570425826.childNodes[j_570425831], e_570425825);
i_570426559 = addInt(i_570426559, 1);
}
};
};
father_570425757.kids.push(e_570425825);;
}
else {
Label19: {
var i_570425840 = 0;
var colontmp__570426562 = 0;
colontmp__570426562 = x_570425756.childNodes.length;
var i_570426563 = 0;
Label20: {
Label21: while (true) {
if (!(i_570426563 < colontmp__570426562)) break Label21;
i_570425840 = i_570426563;
toToc_570425755(x_570425756.childNodes[i_570425840], father_570425757);
i_570426563 = addInt(i_570426563, 1);
}
};
};
}
}
else {
father_570425757.kids.push({heading: x_570425756, kids: [], sortId: (father_570425757.kids).length, doSort: false});;
}
}}
}
function extractItems_570425543(x_570425544, heading_570425545, items_570425546, items_570425546_Idx) {
BeforeRet: {
if ((x_570425544 == null)) {
break BeforeRet;
}
if ((!((x_570425544.heading == null)) && (x_570425544.heading.textContent == heading_570425545))) {
Label1: {
var i_570425563 = 0;
var colontmp__570426566 = 0;
colontmp__570426566 = (x_570425544.kids).length;
var i_570426567 = 0;
Label2: {
Label3: while (true) {
if (!(i_570426567 < colontmp__570426566)) break Label3;
i_570425563 = i_570426567;
items_570425546[items_570425546_Idx].push(x_570425544.kids[chckIndx(i_570425563, 0, (x_570425544.kids).length - 1)].heading);;
i_570426567 = addInt(i_570426567, 1);
}
};
};
}
else {
Label4: {
var k_570425589 = null;
var i_570426571 = 0;
var L_570426572 = (x_570425544.kids).length;
Label5: {
Label6: while (true) {
if (!(i_570426571 < L_570426572)) break Label6;
k_570425589 = x_570425544.kids[chckIndx(i_570426571, 0, (x_570425544.kids).length - 1)];
extractItems_570425543(k_570425589, heading_570425545, items_570425546, items_570425546_Idx);
i_570426571 = addInt(i_570426571, 1);
if (!(((x_570425544.kids).length == L_570426572))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
}
};
}
function tree_570425474(tag_570425475, kids_570425476) {
var result_570425477 = null;
result_570425477 = document.createElement(tag_570425475);
Label1: {
var k_570425491 = null;
var i_570426584 = 0;
Label2: {
Label3: while (true) {
if (!(i_570426584 < (kids_570425476).length)) break Label3;
k_570425491 = kids_570425476[chckIndx(i_570426584, 0, (kids_570425476).length - 1)];
result_570425477.appendChild(k_570425491);
i_570426584 = addInt(i_570426584, 1);
}
};
};
return result_570425477;
}
function text_570425499(s_570425500) {
var result_570425501 = null;
result_570425501 = document.createTextNode(s_570425500);
return result_570425501;
}
function uncovered_570425944(x_570425945) {
var Temporary1;
var result_570425946 = null;
BeforeRet: {
if ((((x_570425945.kids).length == 0) && !((x_570425945.heading == null)))) {
if (!(x_570425945.heading.hasOwnProperty('__karaxMarker__'))) {
Temporary1 = x_570425945;
}
else {
Temporary1 = null;
}
result_570425946 = Temporary1;
break BeforeRet;
}
result_570425946 = {heading: x_570425945.heading, kids: [], sortId: x_570425945.sortId, doSort: x_570425945.doSort};
Label2: {
var k_570425961 = null;
var i_570426591 = 0;
var L_570426592 = (x_570425945.kids).length;
Label3: {
Label4: while (true) {
if (!(i_570426591 < L_570426592)) break Label4;
k_570425961 = x_570425945.kids[chckIndx(i_570426591, 0, (x_570425945.kids).length - 1)];
var y_570425962 = uncovered_570425944(k_570425961);
if (!((y_570425962 == null))) {
result_570425946.kids.push(y_570425962);;
}
i_570426591 = addInt(i_570426591, 1);
if (!(((x_570425945.kids).length == L_570426592))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
if (((result_570425946.kids).length == 0)) {
result_570425946 = null;
}
};
return result_570425946;
}
function mergeTocs_570425974(orig_570425975, news_570425976) {
var result_570425977 = null;
result_570425977 = uncovered_570425944(orig_570425975);
if ((result_570425977 == null)) {
result_570425977 = news_570425976;
}
else {
Label1: {
var i_570425989 = 0;
var colontmp__570426587 = 0;
colontmp__570426587 = (news_570425976.kids).length;
var i_570426588 = 0;
Label2: {
Label3: while (true) {
if (!(i_570426588 < colontmp__570426587)) break Label3;
i_570425989 = i_570426588;
result_570425977.kids.push(news_570425976.kids[chckIndx(i_570425989, 0, (news_570425976.kids).length - 1)]);;
i_570426588 = addInt(i_570426588, 1);
}
};
};
}
return result_570425977;
}
function buildToc_570425994(orig_570425995, types_570425996, procs_570425997) {
var result_570425998 = null;
var newStuff_570426003 = {heading: null, kids: [], doSort: true, sortId: 0};
Label1: {
var t_570426007 = null;
var i_570426579 = 0;
var L_570426580 = (types_570425996).length;
Label2: {
Label3: while (true) {
if (!(i_570426579 < L_570426580)) break Label3;
t_570426007 = types_570425996[chckIndx(i_570426579, 0, (types_570425996).length - 1)];
var c_570426012 = {heading: t_570426007.cloneNode(true), kids: [], doSort: true, sortId: 0};
t_570426007.__karaxMarker__ = true;
Label4: {
var p_570426016 = null;
var i_570426576 = 0;
var L_570426577 = (procs_570425997).length;
Label5: {
Label6: while (true) {
if (!(i_570426576 < L_570426577)) break Label6;
p_570426016 = procs_570425997[chckIndx(i_570426576, 0, (procs_570425997).length - 1)];
if (!(p_570426016.hasOwnProperty('__karaxMarker__'))) {
var xx_570426017 = p_570426016.parentNode.getElementsByClassName("attachedType");
if ((((xx_570426017).length == 1) && (xx_570426017[chckIndx(0, 0, (xx_570426017).length - 1)].textContent == t_570426007.textContent))) {
var q_570426022 = tree_570425474("A", [text_570425499(p_570426016.title)]);
q_570426022.setAttribute("href", p_570426016.getAttribute("href"));
c_570426012.kids.push({heading: q_570426022, kids: [], sortId: 0, doSort: false});;
p_570426016.__karaxMarker__ = true;
}
}
i_570426576 = addInt(i_570426576, 1);
if (!(((procs_570425997).length == L_570426577))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
newStuff_570426003.kids.push(c_570426012);;
i_570426579 = addInt(i_570426579, 1);
if (!(((types_570425996).length == L_570426580))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
result_570425998 = mergeTocs_570425974(orig_570425995, newStuff_570426003);
return result_570425998;
}
function add_570425492(parent_570425493, kid_570425494) {
if (((parent_570425493.nodeName == "TR") && ((kid_570425494.nodeName == "TD") || (kid_570425494.nodeName == "TH")))) {
var k_570425495 = document.createElement("TD");
k_570425495.appendChild(kid_570425494);
parent_570425493.appendChild(k_570425495);
}
else {
parent_570425493.appendChild(kid_570425494);
}
}
function setClass_570425496(e_570425497, value_570425498) {
e_570425497.setAttribute("class", value_570425498);
}
function toHtml_570425622(x_570425623, isRoot_570425624) {
function HEX3Aanonymous_570425642(a_570425643, b_570425644) {
var result_570425645 = 0;
BeforeRet: {
if ((!((a_570425643.heading == null)) && !((b_570425644.heading == null)))) {
var x_570425654 = a_570425643.heading.textContent;
var y_570425655 = b_570425644.heading.textContent;
if ((x_570425654 < y_570425655)) {
result_570425645 = (-1);
break BeforeRet;
}
if ((y_570425655 < x_570425654)) {
result_570425645 = 1;
break BeforeRet;
}
result_570425645 = 0;
break BeforeRet;
}
else {
result_570425645 = subInt(a_570425643.sortId, b_570425644.sortId);
break BeforeRet;
}
};
return result_570425645;
}
var result_570425625 = null;
BeforeRet: {
if ((x_570425623 == null)) {
result_570425625 = null;
break BeforeRet;
}
if (((x_570425623.kids).length == 0)) {
if ((x_570425623.heading == null)) {
result_570425625 = null;
break BeforeRet;
}
result_570425625 = x_570425623.heading.cloneNode(true);
break BeforeRet;
}
result_570425625 = tree_570425474("DIV", []);
if ((!((x_570425623.heading == null)) && !(x_570425623.heading.hasOwnProperty('__karaxMarker__')))) {
add_570425492(result_570425625, x_570425623.heading.cloneNode(true));
}
var ul_570425641 = tree_570425474("UL", []);
if (isRoot_570425624) {
setClass_570425496(ul_570425641, "simple simple-toc");
}
else {
setClass_570425496(ul_570425641, "simple");
}
if (x_570425623.doSort) {
x_570425623.kids.sort(HEX3Aanonymous_570425642);
}
Label1: {
var k_570425667 = null;
var i_570426595 = 0;
var L_570426596 = (x_570425623.kids).length;
Label2: {
Label3: while (true) {
if (!(i_570426595 < L_570426596)) break Label3;
k_570425667 = x_570425623.kids[chckIndx(i_570426595, 0, (x_570425623.kids).length - 1)];
var y_570425668 = toHtml_570425622(k_570425667, false);
if (!((y_570425668 == null))) {
add_570425492(ul_570425641, tree_570425474("LI", [y_570425668]));
}
i_570426595 = addInt(i_570426595, 1);
if (!(((x_570425623.kids).length == L_570426596))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
if (!((ul_570425641.childNodes.length == 0))) {
add_570425492(result_570425625, ul_570425641);
}
if ((result_570425625.childNodes.length == 0)) {
result_570425625 = null;
}
};
return result_570425625;
}
function replaceById_570425502(id_570425503, newTree_570425504) {
var x_570425505 = document.getElementById(id_570425503);
x_570425505.parentNode.replaceChild(newTree_570425504, x_570425505);
newTree_570425504.id = id_570425503;
}
function togglevis_570426052(d_570426053) {
if ((d_570426053.style.display == "none")) {
d_570426053.style.display = "inline";
}
else {
d_570426053.style.display = "none";
}
}
function groupBy(value_570426055) {
var toc_570426056 = document.getElementById("toc-list");
if ((alternative_570426051[0] == null)) {
var tt_570426064 = {heading: null, kids: [], sortId: 0, doSort: false};
toToc_570425755(toc_570426056, tt_570426064);
tt_570426064 = tt_570426064.kids[chckIndx(0, 0, (tt_570426064.kids).length - 1)];
var types_570426069 = [[]];
var procs_570426074 = [[]];
extractItems_570425543(tt_570426064, "Types", types_570426069, 0);
extractItems_570425543(tt_570426064, "Procs", procs_570426074, 0);
extractItems_570425543(tt_570426064, "Converters", procs_570426074, 0);
extractItems_570425543(tt_570426064, "Methods", procs_570426074, 0);
extractItems_570425543(tt_570426064, "Templates", procs_570426074, 0);
extractItems_570425543(tt_570426064, "Macros", procs_570426074, 0);
extractItems_570425543(tt_570426064, "Iterators", procs_570426074, 0);
var ntoc_570426075 = buildToc_570425994(tt_570426064, types_570426069[0], procs_570426074[0]);
var x_570426076 = toHtml_570425622(ntoc_570426075, true);
alternative_570426051[0] = tree_570425474("DIV", [x_570426076]);
}
if ((value_570426055 == "type")) {
replaceById_570425502("tocRoot", alternative_570426051[0]);
}
else {
replaceById_570425502("tocRoot", tree_570425474("DIV", []));
}
togglevis_570426052(document.getElementById("toc-list"));
}
function HEX5BHEX5D_738198811(s_738198814, x_738198815) {
var result_738198816 = [];
var a_738198818 = x_738198815.a;
var L_738198820 = addInt(subInt(subInt((s_738198814).length, x_738198815.b), a_738198818), 1);
result_738198816 = nimCopy(null, mnewString(chckRange(L_738198820, 0, 2147483647)), NTI33554449);
Label1: {
var i_738198825 = 0;
var i_570426605 = 0;
Label2: {
Label3: while (true) {
if (!(i_570426605 < L_738198820)) break Label3;
i_738198825 = i_570426605;
result_738198816[chckIndx(i_738198825, 0, (result_738198816).length - 1)] = s_738198814[chckIndx(addInt(i_738198825, a_738198818), 0, (s_738198814).length - 1)];
i_570426605 = addInt(i_570426605, 1);
}
};
};
return result_738198816;
}
function HEX2EHEX2E_973078632(a_973078635, b_973078636) {
var result_973078639 = ({a: 0, b: 0});
result_973078639 = nimCopy(result_973078639, {a: a_973078635, b: b_973078636}, NTI973078613);
return result_973078639;
}
async function loadIndex_570426270() {
var result_570426272 = null;
BeforeRet: {
var indexURL_570426278 = document.getElementById("indexLink").getAttribute("href");
var rootURL_570426304 = HEX5BHEX5D_738198811(cstrToNimstr(indexURL_570426278), HEX2EHEX2E_973078632(0, 14));
var resp_570426316 = (await (await fetch(indexURL_570426278)).text());
var indexElem_570426317 = document.createElement("div");
indexElem_570426317.innerHTML = resp_570426316;
Label1: {
var href_570426339 = null;
var colontmp__570426599 = [];
colontmp__570426599 = indexElem_570426317.getElementsByClassName("reference");
var i_570426601 = 0;
var L_570426602 = (colontmp__570426599).length;
Label2: {
Label3: while (true) {
if (!(i_570426601 < L_570426602)) break Label3;
href_570426339 = colontmp__570426599[chckIndx(i_570426601, 0, (colontmp__570426599).length - 1)];
href_570426339.setAttribute("href", toJSStr((rootURL_570426304 || []).concat(cstrToNimstr(href_570426339.getAttribute("href")) || [])));
db_570426093[0].push(href_570426339);;
contents_570426094[0].push(href_570426339.getAttribute("data-doc-search-tag"));;
i_570426601 = addInt(i_570426601, 1);
if (!(((colontmp__570426599).length == L_570426602))) {
failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
}
}
};
};
result_570426272 = undefined;
break BeforeRet;
};
return result_570426272;
}
function then_570426448(future_570426451, onSuccess_570426452, onReject_570426453) {
var result_570426454 = null;
BeforeRet: {
var ret_570426464 = null;
ret_570426464 = future_570426451.then(onSuccess_570426452, onReject_570426453)
result_570426454 = ret_570426464;
break BeforeRet;
};
return result_570426454;
}
function nsuToLowerAsciiChar(c_738197589) {
var result_738197590 = 0;
if ((ConstSet2[c_738197589] != undefined)) {
result_738197590 = (c_738197589 ^ 32);
}
else {
result_738197590 = c_738197589;
}
return result_738197590;
}
function fuzzyMatch_721420304(pattern_721420305, str_721420306) {
var Temporary4;
var Temporary5;
var Temporary6;
var Temporary7;
var Temporary8;
var result_721420309 = {Field0: 0, Field1: false};
var scoreState_721420310 = (-100);
var headerMatched_721420311 = false;
var unmatchedLeadingCharCount_721420312 = 0;
var consecutiveMatchCount_721420313 = 0;
var strIndex_721420314 = 0;
var patIndex_721420315 = 0;
var score_721420316 = 0;
Label1: {
Label2: while (true) {
if (!((strIndex_721420314 < ((str_721420306) == null ? 0 : (str_721420306).length)) && (patIndex_721420315 < ((pattern_721420305) == null ? 0 : (pattern_721420305).length)))) break Label2;
Label3: {
var patternChar_721420319 = nsuToLowerAsciiChar(pattern_721420305.charCodeAt(chckIndx(patIndex_721420315, 0, (pattern_721420305).length - 1)));
var strChar_721420320 = nsuToLowerAsciiChar(str_721420306.charCodeAt(chckIndx(strIndex_721420314, 0, (str_721420306).length - 1)));
if ((ConstSet3[patternChar_721420319] != undefined)) {
patIndex_721420315 = addInt(patIndex_721420315, 1);
break Label3;
}
if ((ConstSet4[strChar_721420320] != undefined)) {
strIndex_721420314 = addInt(strIndex_721420314, 1);
break Label3;
}
if ((!(headerMatched_721420311) && (strChar_721420320 == 58))) {
headerMatched_721420311 = true;
scoreState_721420310 = (-100);
score_721420316 = ((Math.floor((0.5 * score_721420316))) | 0);
patIndex_721420315 = 0;
strIndex_721420314 = addInt(strIndex_721420314, 1);
break Label3;
}
if ((strChar_721420320 == patternChar_721420319)) {
switch (scoreState_721420310) {
case (-100):
case 20:
scoreState_721420310 = 10;
break;
case 0:
scoreState_721420310 = 5;
score_721420316 = addInt(score_721420316, scoreState_721420310);
break;
case 10:
case 5:
consecutiveMatchCount_721420313 = addInt(consecutiveMatchCount_721420313, 1);
scoreState_721420310 = 5;
score_721420316 = addInt(score_721420316, mulInt(5, consecutiveMatchCount_721420313));
if ((scoreState_721420310 == 10)) {
score_721420316 = addInt(score_721420316, 10);
}
var onBoundary_721420372 = (patIndex_721420315 == ((pattern_721420305) == null ? -1 : (pattern_721420305).length - 1));
if ((!(onBoundary_721420372) && (strIndex_721420314 < ((str_721420306) == null ? -1 : (str_721420306).length - 1)))) {
var nextPatternChar_721420373 = nsuToLowerAsciiChar(pattern_721420305.charCodeAt(chckIndx(addInt(patIndex_721420315, 1), 0, (pattern_721420305).length - 1)));
var nextStrChar_721420374 = nsuToLowerAsciiChar(str_721420306.charCodeAt(chckIndx(addInt(strIndex_721420314, 1), 0, (str_721420306).length - 1)));
if (!!((ConstSet5[nextStrChar_721420374] != undefined))) Temporary4 = false; else { Temporary4 = !((nextStrChar_721420374 == nextPatternChar_721420373)); } onBoundary_721420372 = Temporary4;
}
if (onBoundary_721420372) {
scoreState_721420310 = 20;
score_721420316 = addInt(score_721420316, scoreState_721420310);
}
break;
case (-1):
case (-3):
if (!((ConstSet6[str_721420306.charCodeAt(chckIndx(subInt(strIndex_721420314, 1), 0, (str_721420306).length - 1))] != undefined))) Temporary5 = true; else { if (!(ConstSet7[str_721420306.charCodeAt(chckIndx(subInt(strIndex_721420314, 1), 0, (str_721420306).length - 1))] != undefined)) Temporary6 = false; else { Temporary6 = (ConstSet8[str_721420306.charCodeAt(chckIndx(strIndex_721420314, 0, (str_721420306).length - 1))] != undefined); } Temporary5 = Temporary6; } var isLeadingChar_721420398 = Temporary5;
if (isLeadingChar_721420398) {
scoreState_721420310 = 10;
}
else {
scoreState_721420310 = 0;
score_721420316 = addInt(score_721420316, scoreState_721420310);
}
break;
}
patIndex_721420315 = addInt(patIndex_721420315, 1);
}
else {
switch (scoreState_721420310) {
case (-100):
scoreState_721420310 = (-3);
score_721420316 = addInt(score_721420316, scoreState_721420310);
break;
case 5:
scoreState_721420310 = (-1);
score_721420316 = addInt(score_721420316, scoreState_721420310);
consecutiveMatchCount_721420313 = 0;
break;
case (-3):
if ((unmatchedLeadingCharCount_721420312 < 3)) {
scoreState_721420310 = (-3);
score_721420316 = addInt(score_721420316, scoreState_721420310);
}
unmatchedLeadingCharCount_721420312 = addInt(unmatchedLeadingCharCount_721420312, 1);
break;
default:
scoreState_721420310 = (-1);
score_721420316 = addInt(score_721420316, scoreState_721420310);
break;
}
}
strIndex_721420314 = addInt(strIndex_721420314, 1);
};
}
};
if (!(patIndex_721420315 == ((pattern_721420305) == null ? 0 : (pattern_721420305).length))) Temporary7 = false; else { if ((strIndex_721420314 == ((str_721420306) == null ? 0 : (str_721420306).length))) Temporary8 = true; else { Temporary8 = !((ConstSet9[str_721420306.charCodeAt(chckIndx(strIndex_721420314, 0, (str_721420306).length - 1))] != undefined)); } Temporary7 = Temporary8; } if (Temporary7) {
score_721420316 = addInt(score_721420316, 10);
}
var colontmp__570426618 = nimMax(0, score_721420316);
var colontmp__570426619 = (0 < score_721420316);
result_721420309 = nimCopy(result_721420309, {Field0: colontmp__570426618, Field1: colontmp__570426619}, NTI721420302);
return result_721420309;
}
function escapeCString_570426095(x_570426096, x_570426096_Idx) {
var s_570426097 = [];
Label1: {
var c_570426098 = 0;
var iHEX60gensym6_570426622 = 0;
var nHEX60gensym6_570426623 = ((x_570426096[x_570426096_Idx]) == null ? 0 : (x_570426096[x_570426096_Idx]).length);
Label2: {
Label3: while (true) {
if (!(iHEX60gensym6_570426622 < nHEX60gensym6_570426623)) break Label3;
c_570426098 = x_570426096[x_570426096_Idx].charCodeAt(chckIndx(iHEX60gensym6_570426622, 0, (x_570426096[x_570426096_Idx]).length - 1));
switch (c_570426098) {
case 60:
s_570426097.push.apply(s_570426097, [38,108,116,59]);;
break;
case 62:
s_570426097.push.apply(s_570426097, [38,103,116,59]);;
break;
default:
addChar(s_570426097, c_570426098);;
break;
}
iHEX60gensym6_570426622 = addInt(iHEX60gensym6_570426622, 1);
}
};
};
x_570426096[x_570426096_Idx] = toJSStr(s_570426097);
}
function dosearch_570426099(value_570426100) {
function HEX3Aanonymous_570426127(a_570426132, b_570426133) {
var result_570426138 = 0;
result_570426138 = subInt(b_570426133["Field1"], a_570426132["Field1"]);
return result_570426138;
}
var result_570426101 = null;
BeforeRet: {
if (((db_570426093[0]).length == 0)) {
break BeforeRet;
}
var ul_570426105 = tree_570425474("UL", []);
result_570426101 = tree_570425474("DIV", []);
setClass_570425496(result_570426101, "search_results");
var matches_570426110 = [];
Label1: {
var i_570426118 = 0;
var colontmp__570426609 = 0;
colontmp__570426609 = (db_570426093[0]).length;
var i_570426610 = 0;
Label2: {
Label3: while (true) {
if (!(i_570426610 < colontmp__570426609)) break Label3;
i_570426118 = i_570426610;
Label4: {
var c_570426119 = contents_570426094[0][chckIndx(i_570426118, 0, (contents_570426094[0]).length - 1)];
if (((c_570426119 == "Examples") || (c_570426119 == "PEG construction"))) {
break Label4;
}
var tmpTuple_570426120 = fuzzyMatch_721420304(value_570426100, c_570426119);
var score_570426121 = tmpTuple_570426120["Field0"];
var matched_570426122 = tmpTuple_570426120["Field1"];
if (matched_570426122) {
matches_570426110.push({Field0: db_570426093[0][chckIndx(i_570426118, 0, (db_570426093[0]).length - 1)], Field1: score_570426121});;
}
};
i_570426610 = addInt(i_570426610, 1);
}
};
};
matches_570426110.sort(HEX3Aanonymous_570426127);
Label5: {
var i_570426155 = 0;
var colontmp__570426613 = 0;
colontmp__570426613 = nimMin((matches_570426110).length, 29);
var i_570426614 = 0;
Label6: {
Label7: while (true) {
if (!(i_570426614 < colontmp__570426613)) break Label7;
i_570426155 = i_570426614;
matches_570426110[chckIndx(i_570426155, 0, (matches_570426110).length - 1)]["Field0"].innerHTML = matches_570426110[chckIndx(i_570426155, 0, (matches_570426110).length - 1)]["Field0"].getAttribute("data-doc-search-tag");
escapeCString_570426095(matches_570426110[chckIndx(i_570426155, 0, (matches_570426110).length - 1)]["Field0"], "innerHTML");
add_570425492(ul_570426105, tree_570425474("LI", [matches_570426110[chckIndx(i_570426155, 0, (matches_570426110).length - 1)]["Field0"]]));
i_570426614 = addInt(i_570426614, 1);
}
};
};
if ((ul_570426105.childNodes.length == 0)) {
add_570425492(result_570426101, tree_570425474("B", [text_570425499("no search results")]));
}
else {
add_570425492(result_570426101, tree_570425474("B", [text_570425499("search results")]));
add_570425492(result_570426101, ul_570426105);
}
};
return result_570426101;
}
function search() {
function wrapper_570426433() {
var elem_570426434 = document.getElementById("searchInput");
var value_570426435 = elem_570426434.value;
if (!((((value_570426435) == null ? 0 : (value_570426435).length) == 0))) {
if ((oldtoc_570426428[0] == null)) {
oldtoc_570426428[0] = document.getElementById("tocRoot");
}
var results_570426439 = dosearch_570426099(value_570426435);
replaceById_570425502("tocRoot", results_570426439);
}
else {
if (!((oldtoc_570426428[0] == null))) {
replaceById_570425502("tocRoot", oldtoc_570426428[0]);
}
}
}
if ((loadIndexFut_570426431[0] == null)) {
loadIndexFut_570426431[0] = loadIndex_570426270();
var _ = then_570426448(loadIndexFut_570426431[0], wrapper_570426433, null);
}
if (!((timer_570426429[0] == null))) {
clearTimeout(timer_570426429[0]);
}
timer_570426429[0] = setTimeout(wrapper_570426433, 400);
}
function copyToClipboard() {
function updatePreTags() {
const allPreTags = document.querySelectorAll("pre")
allPreTags.forEach((e) => {
const div = document.createElement("div")
div.classList.add("copyToClipBoard")
const preTag = document.createElement("pre")
preTag.innerHTML = e.innerHTML
const button = document.createElement("button")
button.value = e.textContent.replace('...', '')
button.classList.add("copyToClipBoardBtn")
button.style.cursor = "pointer"
div.appendChild(preTag)
div.appendChild(button)
e.outerHTML = div.outerHTML
})
}
function copyTextToClipboard(e) {
const clipBoardContent = e.target.value
navigator.clipboard.writeText(clipBoardContent).then(function() {
e.target.style.setProperty("--clipboard-image", "var(--clipboard-image-selected)")
}, function(err) {
console.error("Could not copy text: ", err);
});
}
window.addEventListener("click", (e) => {
if (e.target.classList.contains("copyToClipBoardBtn")) {
copyTextToClipboard(e)
}
})
window.addEventListener("mouseover", (e) => {
if (e.target.nodeName === "PRE") {
e.target.nextElementSibling.style.setProperty("--clipboard-image", "var(--clipboard-image-normal)")
}
})
window.addEventListener("DOMContentLoaded", updatePreTags)
}
var Temporary1;
var t_570425383 = window.localStorage.getItem("theme");
if ((t_570425383 == null)) {
Temporary1 = "auto";
}
else {
Temporary1 = t_570425383;
}
setTheme(Temporary1);
var alternative_570426051 = [null];
var db_570426093 = [[]];
var contents_570426094 = [[]];
var oldtoc_570426428 = [null];
var timer_570426429 = [null];
var loadIndexFut_570426431 = [null];
copyToClipboard();
window.addEventListener("DOMContentLoaded", onDOMLoaded, false);