const searchInput = document.getElementById('search'); const suggestionsDiv = document.getElementById('suggestions'); (async function(){ const res = await fetch('/laws.json'); const laws = await res.json(); searchInput.addEventListener('input', (e) => { if (searchInput.value == '') { suggestionsDiv.innerHTML = ''; return; } const titleRegex = new RegExp(searchInput.value, 'i'); const abbrRegex = new RegExp('^' + searchInput.value, 'i'); const suggestions = []; laws.map(l => { const titleMatch = titleRegex.exec(l.title); const abbrMatch = abbrRegex.exec(l.abbr); return { law: l, titleScore: titleMatch ? titleMatch.index : Number.MAX_VALUE, abbrScore: abbrMatch ? abbrMatch.index: Number.MAX_VALUE, } }) .filter(l => l.titleScore < Number.MAX_VALUE || l.abbrScore < Number.MAX_VALUE) .sort((a,b) => { let abbrDiff = a.abbrScore - b.abbrScore; if (a.law.abbr && b.law.abbr && abbrDiff == 0 && a.abbrScore != Number.MAX_VALUE) { abbrDiff = a.law.abbr.length - b.law.abbr.length; } return abbrDiff || a.titleScore - b.titleScore; }) .slice(0, 30) .forEach(x => { const l = x.law; const a = document.createElement('a'); if (l.redir) a.href = '/' + l.redir; else a.href = l.url; a.textContent = l.title; const li = document.createElement('li'); li.appendChild(a); suggestions.push(li); }); suggestionsDiv.replaceChildren(...suggestions); }); })();