mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add support for version filtering

Browse Source
This commit is contained in:
Guillaume Gomez 2024-08-15 00:47:20 +02:00
parent 59ccebe426
commit 00c11df107
1 changed files with 50 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

58
util/gh-pages/script.js
View File

@ -262,10 +262,6 @@ function toggleExpansion(expand) {
);
}
function clearVersionFilters() {
onEachLazy(document.querySelectorAll("#version-filter-count input"), el => el.value = "");
}
const GROUPS_FILTER_DEFAULT = {
cargo: true,
complexity: true,
@ -307,11 +303,16 @@ window.filters = {
filters.allLints = Array.prototype.slice.call(
document.getElementsByTagName("article"),
).map(elem => {
let version = elem.querySelector(".label-version").innerText;
// Strip the "pre " prefix for pre 1.29.0 lints
if (version.startsWith("pre ")) {
version = version.slice(4);
}
return {
elem: elem,
group: elem.querySelector(".label-lint-group").innerText,
level: elem.querySelector(".label-lint-level").innerText,
version: elem.querySelector(".label-version").innerText,
version: parseInt(version.split(".")[1]),
applicability: elem.querySelector(".label-applicability").innerText,
filteredOut: false,
searchFilteredOut: false,
@ -324,7 +325,11 @@ window.filters = {
for (const lint of filters.getAllLints()) {
lint.filteredOut = (!filters.groups_filter[lint.group]
|| !filters.levels_filter[lint.level]
|| !filters.applicabilities_filter[lint.applicability]);
|| !filters.applicabilities_filter[lint.applicability]
|| !(filters.version_filter["="] === null || lint.version === filters.version_filter["="])
|| !(filters.version_filter["≥"] === null || lint.version > filters.version_filter["≥"])
|| !(filters.version_filter["≤"] === null || lint.version < filters.version_filter["≤"])
);
if (lint.filteredOut || lint.searchFilteredOut) {
lint.elem.style.display = "none";
} else {
@ -344,6 +349,38 @@ function updateFilter(elem, filter) {
}
}
function updateVersionFilters(elem, comparisonKind) {
let value = elem.value.trim();
if (value.length === 0) {
value = null;
} else if (/^\d+$/.test(value)) {
value = parseInt(value);
} else {
console.error(`Failed to get version number from "${value}"`);
return;
}
if (filters.version_filter[comparisonKind] !== value) {
filters.version_filter[comparisonKind] = value;
filters.filterLints();
}
}
function clearVersionFilters() {
let needsUpdate = false;
onEachLazy(document.querySelectorAll("#version-filter input"), el => {
el.value = "";
const comparisonKind = el.getAttribute("data-value");
if (filters.version_filter[comparisonKind] !== null) {
needsUpdate = true;
filters.version_filter[comparisonKind] = null;
}
});
if (needsUpdate) {
filters.filterLints();
}
}
function resetGroupsToDefault() {
let needsUpdate = false;
@ -414,10 +451,15 @@ function generateSettings() {
<span>1.</span> \
<input type="number" \
min="29" \
id="filter-${kind}" \
class="version-filter-input form-control filter-input" \
maxlength="2" \
onchange="updateVersionFilters()" />\
data-value="${kind}" \
onchange="updateVersionFilters(this, '${kind}')" \
oninput="updateVersionFilters(this, '${kind}')" \
onkeydown="updateVersionFilters(this, '${kind}')" \
onkeyup="updateVersionFilters(this, '${kind}')" \
onpaste="updateVersionFilters(this, '${kind}')" \
/>
<span>.0</span>\
</li>`;
}