provenance-cli 0.2.1

Command-line interface for Provenance requirements traceability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

(function () {
  var input = document.getElementById("wiki-search");
  var results = document.getElementById("search-results");
  var summary = document.getElementById("search-summary");
  if (!input || !results || !summary) return;
  var items = Array.prototype.slice.call(results.querySelectorAll("[data-search-entry]"));

  function update() {
    var query = input.value.trim().toLocaleLowerCase();
    var terms = query.split(/\s+/).filter(Boolean);
    var matches = [];
    items.forEach(function (item, position) {
      var title = (item.getAttribute("data-search-title") || "").toLocaleLowerCase();
      var statement = (item.getAttribute("data-search-statement") || "").toLocaleLowerCase();
      var matched = terms.length > 0 && terms.every(function (term) {
        return title.indexOf(term) !== -1 || statement.indexOf(term) !== -1;
      });
      item.hidden = !matched;
      if (matched) {
        var score = terms.reduce(function (total, term) {
          return total + (title.indexOf(term) !== -1 ? 2 : 1);
        }, title === query ? 10 : 0);
        matches.push({ item: item, score: score, position: position });
      }
    });
    matches.sort(function (left, right) {
      return right.score - left.score || left.position - right.position;
    });
    matches.forEach(function (match) { results.appendChild(match.item); });
    summary.textContent = terms.length === 0
      ? "Type one or more words to search titles and statements."
      : matches.length === 0
        ? "No requirements or rules match this search."
        : matches.length + (matches.length === 1 ? " result" : " results");
    try {
      var url = new URL(window.location.href);
      if (query) url.searchParams.set("q", input.value.trim());
      else url.searchParams.delete("q");
      history.replaceState(null, "", url);
    } catch (error) {}
  }

  try { input.value = new URL(window.location.href).searchParams.get("q") || ""; }
  catch (error) {}
  input.addEventListener("input", update);
  update();
})();