avl-tree-typed 1.40.0-rc → 1.41.0

package/coverage/lcov-report/base.css

@@ -1,59 +1,127 @@
 body, html {
-  margin:0; padding: 0;
+  margin: 0;
+  padding: 0;
   height: 100%;
 }
+
 body {
-    font-family: Helvetica Neue, Helvetica, Arial;
-    font-size: 14px;
-    color:#333;
+  font-family: Helvetica Neue, Helvetica, Arial;
+  font-size: 14px;
+  color: #333;
+}
+
+.small {
+  font-size: 12px;
 }
-.small { font-size: 12px; }
+
 *, *:after, *:before {
-  -webkit-box-sizing:border-box;
-     -moz-box-sizing:border-box;
-          box-sizing:border-box;
-  }
-h1 { font-size: 20px; margin: 0;}
-h2 { font-size: 14px; }
+  -webkit-box-sizing: border-box;
+  -moz-box-sizing: border-box;
+  box-sizing: border-box;
+}
+
+h1 {
+  font-size: 20px;
+  margin: 0;
+}
+
+h2 {
+  font-size: 14px;
+}
+
 pre {
-    font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
-    margin: 0;
-    padding: 0;
-    -moz-tab-size: 2;
-    -o-tab-size:  2;
-    tab-size: 2;
-}
-a { color:#0074D9; text-decoration:none; }
-a:hover { text-decoration:underline; }
-.strong { font-weight: bold; }
-.space-top1 { padding: 10px 0 0 0; }
-.pad2y { padding: 20px 0; }
-.pad1y { padding: 10px 0; }
-.pad2x { padding: 0 20px; }
-.pad2 { padding: 20px; }
-.pad1 { padding: 10px; }
-.space-left2 { padding-left:55px; }
-.space-right2 { padding-right:20px; }
-.center { text-align:center; }
-.clearfix { display:block; }
+  font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
+  margin: 0;
+  padding: 0;
+  -moz-tab-size: 2;
+  -o-tab-size: 2;
+  tab-size: 2;
+}
+
+a {
+  color: #0074D9;
+  text-decoration: none;
+}
+
+a:hover {
+  text-decoration: underline;
+}
+
+.strong {
+  font-weight: bold;
+}
+
+.space-top1 {
+  padding: 10px 0 0 0;
+}
+
+.pad2y {
+  padding: 20px 0;
+}
+
+.pad1y {
+  padding: 10px 0;
+}
+
+.pad2x {
+  padding: 0 20px;
+}
+
+.pad2 {
+  padding: 20px;
+}
+
+.pad1 {
+  padding: 10px;
+}
+
+.space-left2 {
+  padding-left: 55px;
+}
+
+.space-right2 {
+  padding-right: 20px;
+}
+
+.center {
+  text-align: center;
+}
+
+.clearfix {
+  display: block;
+}
+
 .clearfix:after {
-  content:'';
-  display:block;
-  height:0;
-  clear:both;
-  visibility:hidden;
+  content: '';
+  display: block;
+  height: 0;
+  clear: both;
+  visibility: hidden;
+}
+
+.fl {
+  float: left;
+}
+
+@media only screen and (max-width: 640px) {
+  .col3 {
+    width: 100%;
+    max-width: 100%;
+  }
+
+  .hide-mobile {
+    display: none !important;
   }
-.fl { float: left; }
-@media only screen and (max-width:640px) {
-  .col3 { width:100%; max-width:100%; }
-  .hide-mobile { display:none!important; }
 }
 
 .quiet {
   color: #7f7f7f;
-  color: rgba(0,0,0,0.5);
+  color: rgba(0, 0, 0, 0.5);
+}
+
+.quiet a {
+  opacity: 0.7;
 }
-.quiet a { opacity: 0.7; }
 
 .fraction {
   font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
@@ -65,7 +133,10 @@ a:hover { text-decoration:underline; }
   vertical-align: middle;
 }
 
-div.path a:link, div.path a:visited { color: #333; }
+div.path a:link, div.path a:visited {
+  color: #333;
+}
+
 table.coverage {
   border-collapse: collapse;
   margin: 10px 0 0 0;
@@ -77,141 +148,248 @@ table.coverage td {
   padding: 0;
   vertical-align: top;
 }
+
 table.coverage td.line-count {
-    text-align: right;
-    padding: 0 5px 0 20px;
+  text-align: right;
+  padding: 0 5px 0 20px;
 }
+
 table.coverage td.line-coverage {
-    text-align: right;
-    padding-right: 10px;
-    min-width:20px;
+  text-align: right;
+  padding-right: 10px;
+  min-width: 20px;
 }
 
 table.coverage td span.cline-any {
-    display: inline-block;
-    padding: 0 5px;
-    width: 100%;
+  display: inline-block;
+  padding: 0 5px;
+  width: 100%;
 }
+
 .missing-if-branch {
-    display: inline-block;
-    margin-right: 5px;
-    border-radius: 3px;
-    position: relative;
-    padding: 0 4px;
-    background: #333;
-    color: yellow;
+  display: inline-block;
+  margin-right: 5px;
+  border-radius: 3px;
+  position: relative;
+  padding: 0 4px;
+  background: #333;
+  color: yellow;
 }
 
 .skip-if-branch {
-    display: none;
-    margin-right: 10px;
-    position: relative;
-    padding: 0 4px;
-    background: #ccc;
-    color: white;
+  display: none;
+  margin-right: 10px;
+  position: relative;
+  padding: 0 4px;
+  background: #ccc;
+  color: white;
 }
+
 .missing-if-branch .typ, .skip-if-branch .typ {
-    color: inherit !important;
+  color: inherit !important;
 }
+
 .coverage-summary {
   border-collapse: collapse;
   width: 100%;
 }
-.coverage-summary tr { border-bottom: 1px solid #bbb; }
-.keyline-all { border: 1px solid #ddd; }
-.coverage-summary td, .coverage-summary th { padding: 10px; }
-.coverage-summary tbody { border: 1px solid #bbb; }
-.coverage-summary td { border-right: 1px solid #bbb; }
-.coverage-summary td:last-child { border-right: none; }
+
+.coverage-summary tr {
+  border-bottom: 1px solid #bbb;
+}
+
+.keyline-all {
+  border: 1px solid #ddd;
+}
+
+.coverage-summary td, .coverage-summary th {
+  padding: 10px;
+}
+
+.coverage-summary tbody {
+  border: 1px solid #bbb;
+}
+
+.coverage-summary td {
+  border-right: 1px solid #bbb;
+}
+
+.coverage-summary td:last-child {
+  border-right: none;
+}
+
 .coverage-summary th {
   text-align: left;
   font-weight: normal;
   white-space: nowrap;
 }
-.coverage-summary th.file { border-right: none !important; }
-.coverage-summary th.pct { }
+
+.coverage-summary th.file {
+  border-right: none !important;
+}
+
+.coverage-summary th.pct {
+}
+
 .coverage-summary th.pic,
 .coverage-summary th.abs,
 .coverage-summary td.pct,
-.coverage-summary td.abs { text-align: right; }
-.coverage-summary td.file { white-space: nowrap;  }
-.coverage-summary td.pic { min-width: 120px !important;  }
-.coverage-summary tfoot td { }
+.coverage-summary td.abs {
+  text-align: right;
+}
+
+.coverage-summary td.file {
+  white-space: nowrap;
+}
+
+.coverage-summary td.pic {
+  min-width: 120px !important;
+}
+
+.coverage-summary tfoot td {
+}
 
 .coverage-summary .sorter {
-    height: 10px;
-    width: 7px;
-    display: inline-block;
-    margin-left: 0.5em;
-    background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
+  height: 10px;
+  width: 7px;
+  display: inline-block;
+  margin-left: 0.5em;
+  background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
 }
+
 .coverage-summary .sorted .sorter {
-    background-position: 0 -20px;
+  background-position: 0 -20px;
 }
+
 .coverage-summary .sorted-desc .sorter {
-    background-position: 0 -10px;
+  background-position: 0 -10px;
+}
+
+.status-line {
+  height: 10px;
 }
-.status-line {  height: 10px; }
+
 /* yellow */
-.cbranch-no { background: yellow !important; color: #111; }
+.cbranch-no {
+  background: yellow !important;
+  color: #111;
+}
+
 /* dark red */
-.red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
-.low .chart { border:1px solid #C21F39 }
+.red.solid, .status-line.low, .low .cover-fill {
+  background: #C21F39
+}
+
+.low .chart {
+  border: 1px solid #C21F39
+}
+
 .highlighted,
-.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
+.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no {
   background: #C21F39 !important;
 }
+
 /* medium red */
-.cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
+.cstat-no, .fstat-no, .cbranch-no, .cbranch-no {
+  background: #F6C6CE
+}
+
 /* light red */
-.low, .cline-no { background:#FCE1E5 }
+.low, .cline-no {
+  background: #FCE1E5
+}
+
 /* light green */
-.high, .cline-yes { background:rgb(230,245,208) }
+.high, .cline-yes {
+  background: rgb(230, 245, 208)
+}
+
 /* medium green */
-.cstat-yes { background:rgb(161,215,106) }
+.cstat-yes {
+  background: rgb(161, 215, 106)
+}
+
 /* dark green */
-.status-line.high, .high .cover-fill { background:rgb(77,146,33) }
-.high .chart { border:1px solid rgb(77,146,33) }
+.status-line.high, .high .cover-fill {
+  background: rgb(77, 146, 33)
+}
+
+.high .chart {
+  border: 1px solid rgb(77, 146, 33)
+}
+
 /* dark yellow (gold) */
-.status-line.medium, .medium .cover-fill { background: #f9cd0b; }
-.medium .chart { border:1px solid #f9cd0b; }
+.status-line.medium, .medium .cover-fill {
+  background: #f9cd0b;
+}
+
+.medium .chart {
+  border: 1px solid #f9cd0b;
+}
+
 /* light yellow */
-.medium { background: #fff4c2; }
+.medium {
+  background: #fff4c2;
+}
 
-.cstat-skip { background: #ddd; color: #111; }
-.fstat-skip { background: #ddd; color: #111 !important; }
-.cbranch-skip { background: #ddd !important; color: #111; }
+.cstat-skip {
+  background: #ddd;
+  color: #111;
+}
+
+.fstat-skip {
+  background: #ddd;
+  color: #111 !important;
+}
+
+.cbranch-skip {
+  background: #ddd !important;
+  color: #111;
+}
 
-span.cline-neutral { background: #eaeaea; }
+span.cline-neutral {
+  background: #eaeaea;
+}
 
 .coverage-summary td.empty {
-    opacity: .5;
-    padding-top: 4px;
-    padding-bottom: 4px;
-    line-height: 1;
-    color: #888;
+  opacity: .5;
+  padding-top: 4px;
+  padding-bottom: 4px;
+  line-height: 1;
+  color: #888;
 }
 
 .cover-fill, .cover-empty {
-  display:inline-block;
+  display: inline-block;
   height: 12px;
 }
+
 .chart {
   line-height: 0;
 }
+
 .cover-empty {
-    background: white;
+  background: white;
 }
+
 .cover-full {
-    border-right: none !important;
+  border-right: none !important;
 }
+
 pre.prettyprint {
-    border: none !important;
-    padding: 0 !important;
-    margin: 0 !important;
+  border: none !important;
+  padding: 0 !important;
+  margin: 0 !important;
+}
+
+.com {
+  color: #999 !important;
+}
+
+.ignore-none {
+  color: #999;
+  font-weight: normal;
 }
-.com { color: #999 !important; }
-.ignore-none { color: #999; font-weight: normal; }
 
 .wrapper {
   min-height: 100%;
@@ -219,6 +397,7 @@ pre.prettyprint {
   height: 100%;
   margin: 0 auto -48px;
 }
+
 .footer, .push {
   height: 48px;
 }

package/coverage/lcov-report/block-navigation.js

@@ -1,87 +1,87 @@
 /* eslint-disable */
 var jumpToCode = (function init() {
-    // Classes of code we would like to highlight in the file view
-    var missingCoverageClasses = ['.cbranch-no', '.cstat-no', '.fstat-no'];
+  // Classes of code we would like to highlight in the file view
+  var missingCoverageClasses = ['.cbranch-no', '.cstat-no', '.fstat-no'];
 
-    // Elements to highlight in the file listing view
-    var fileListingElements = ['td.pct.low'];
+  // Elements to highlight in the file listing view
+  var fileListingElements = ['td.pct.low'];
 
-    // We don't want to select elements that are direct descendants of another match
-    var notSelector = ':not(' + missingCoverageClasses.join('):not(') + ') > '; // becomes `:not(a):not(b) > `
+  // We don't want to select elements that are direct descendants of another match
+  var notSelector = ':not(' + missingCoverageClasses.join('):not(') + ') > '; // becomes `:not(a):not(b) > `
 
-    // Selecter that finds elements on the page to which we can jump
-    var selector =
-        fileListingElements.join(', ') +
-        ', ' +
-        notSelector +
-        missingCoverageClasses.join(', ' + notSelector); // becomes `:not(a):not(b) > a, :not(a):not(b) > b`
+  // Selecter that finds elements on the page to which we can jump
+  var selector =
+    fileListingElements.join(', ') +
+    ', ' +
+    notSelector +
+    missingCoverageClasses.join(', ' + notSelector); // becomes `:not(a):not(b) > a, :not(a):not(b) > b`
 
-    // The NodeList of matching elements
-    var missingCoverageElements = document.querySelectorAll(selector);
+  // The NodeList of matching elements
+  var missingCoverageElements = document.querySelectorAll(selector);
 
-    var currentIndex;
+  var currentIndex;
 
-    function toggleClass(index) {
-        missingCoverageElements
-            .item(currentIndex)
-            .classList.remove('highlighted');
-        missingCoverageElements.item(index).classList.add('highlighted');
-    }
-
-    function makeCurrent(index) {
-        toggleClass(index);
-        currentIndex = index;
-        missingCoverageElements.item(index).scrollIntoView({
-            behavior: 'smooth',
-            block: 'center',
-            inline: 'center'
-        });
-    }
+  function toggleClass(index) {
+    missingCoverageElements
+      .item(currentIndex)
+      .classList.remove('highlighted');
+    missingCoverageElements.item(index).classList.add('highlighted');
+  }
 
-    function goToPrevious() {
-        var nextIndex = 0;
-        if (typeof currentIndex !== 'number' || currentIndex === 0) {
-            nextIndex = missingCoverageElements.length - 1;
-        } else if (missingCoverageElements.length > 1) {
-            nextIndex = currentIndex - 1;
-        }
+  function makeCurrent(index) {
+    toggleClass(index);
+    currentIndex = index;
+    missingCoverageElements.item(index).scrollIntoView({
+      behavior: 'smooth',
+      block: 'center',
+      inline: 'center'
+    });
+  }
 
-        makeCurrent(nextIndex);
+  function goToPrevious() {
+    var nextIndex = 0;
+    if (typeof currentIndex !== 'number' || currentIndex === 0) {
+      nextIndex = missingCoverageElements.length - 1;
+    } else if (missingCoverageElements.length > 1) {
+      nextIndex = currentIndex - 1;
     }
 
-    function goToNext() {
-        var nextIndex = 0;
+    makeCurrent(nextIndex);
+  }
 
-        if (
-            typeof currentIndex === 'number' &&
-            currentIndex < missingCoverageElements.length - 1
-        ) {
-            nextIndex = currentIndex + 1;
-        }
+  function goToNext() {
+    var nextIndex = 0;
 
-        makeCurrent(nextIndex);
+    if (
+      typeof currentIndex === 'number' &&
+      currentIndex < missingCoverageElements.length - 1
+    ) {
+      nextIndex = currentIndex + 1;
     }
 
-    return function jump(event) {
-        if (
-            document.getElementById('fileSearch') === document.activeElement &&
-            document.activeElement != null
-        ) {
-            // if we're currently focused on the search input, we don't want to navigate
-            return;
-        }
+    makeCurrent(nextIndex);
+  }
 
-        switch (event.which) {
-            case 78: // n
-            case 74: // j
-                goToNext();
-                break;
-            case 66: // b
-            case 75: // k
-            case 80: // p
-                goToPrevious();
-                break;
-        }
-    };
+  return function jump(event) {
+    if (
+      document.getElementById('fileSearch') === document.activeElement &&
+      document.activeElement != null
+    ) {
+      // if we're currently focused on the search input, we don't want to navigate
+      return;
+    }
+
+    switch (event.which) {
+      case 78: // n
+      case 74: // j
+        goToNext();
+        break;
+      case 66: // b
+      case 75: // k
+      case 80: // p
+        goToPrevious();
+        break;
+    }
+  };
 })();
 window.addEventListener('keydown', jumpToCode);