aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/core/tasty/TastyFormat$.html')
-rw-r--r--api/dotty/tools/dotc/core/tasty/TastyFormat$.html811
1 files changed, 787 insertions, 24 deletions
diff --git a/api/dotty/tools/dotc/core/tasty/TastyFormat$.html b/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
index f445d50c3..4ece9355a 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -5998,6 +5993,54 @@
</script>
</div><!-- end member -->
+ <div id="AVOIDCLASH" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'AVOIDCLASH');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ AVOIDCLASH
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 30</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-AVOIDCLASH">
+
+ </div>
+ <div class="member-body-long" id ="long-body-AVOIDCLASH">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="BIND" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'BIND');">[+]</span>
@@ -6597,7 +6640,7 @@
- <span class="no-left">: 7</span>
+ <span class="no-left">: 11</span>
</div><!-- end member-title -->
@@ -6718,6 +6761,54 @@
</script>
</div><!-- end member -->
+ <div id="DIRECT" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'DIRECT');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ DIRECT
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 31</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-DIRECT">
+
+ </div>
+ <div class="member-body-long" id ="long-body-DIRECT">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="DOUBLEconst" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'DOUBLEconst');">[+]</span>
@@ -6862,6 +6953,102 @@
</script>
</div><!-- end member -->
+ <div id="EXPANDPREFIX" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'EXPANDPREFIX');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ EXPANDPREFIX
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 5</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-EXPANDPREFIX">
+
+ </div>
+ <div class="member-body-long" id ="long-body-EXPANDPREFIX">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
+ <div id="EXTMETH" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'EXTMETH');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ EXTMETH
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 34</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-EXTMETH">
+
+ </div>
+ <div class="member-body-long" id ="long-body-EXTMETH">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="FALSEconst" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'FALSEconst');">[+]</span>
@@ -6910,6 +7097,54 @@
</script>
</div><!-- end member -->
+ <div id="FIELD" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'FIELD');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ FIELD
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 32</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-FIELD">
+
+ </div>
+ <div class="member-body-long" id ="long-body-FIELD">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="FIELDaccessor" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'FIELDaccessor');">[+]</span>
@@ -7006,6 +7241,54 @@
</script>
</div><!-- end member -->
+ <div id="FLATTENED" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'FLATTENED');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ FLATTENED
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 3</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-FLATTENED">
+
+ </div>
+ <div class="member-body-long" id ="long-body-FLATTENED">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="FLOATconst" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'FLOATconst');">[+]</span>
@@ -7390,6 +7673,54 @@
</script>
</div><!-- end member -->
+ <div id="INITIALIZER" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INITIALIZER');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ INITIALIZER
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 23</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-INITIALIZER">
+
+ </div>
+ <div class="member-body-long" id ="long-body-INITIALIZER">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="INLINE" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'INLINE');">[+]</span>
@@ -8373,7 +8704,7 @@
- <span class="no-left">: 5</span>
+ <span class="no-left">: 40</span>
</div><!-- end member-title -->
@@ -8398,6 +8729,54 @@
</script>
</div><!-- end member -->
+ <div id="OBJECTVAR" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'OBJECTVAR');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ OBJECTVAR
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 39</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-OBJECTVAR">
+
+ </div>
+ <div class="member-body-long" id ="long-body-OBJECTVAR">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="ORtpt" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'ORtpt');">[+]</span>
@@ -8494,6 +8873,54 @@
</script>
</div><!-- end member -->
+ <div id="OUTERSELECT" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'OUTERSELECT');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ OUTERSELECT
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 13</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-OUTERSELECT">
+
+ </div>
+ <div class="member-body-long" id ="long-body-OUTERSELECT">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="OVERRIDE" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'OVERRIDE');">[+]</span>
@@ -8926,6 +9353,102 @@
</script>
</div><!-- end member -->
+ <div id="PROTECTEDACCESSOR" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTEDACCESSOR');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ PROTECTEDACCESSOR
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 21</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-PROTECTEDACCESSOR">
+
+ </div>
+ <div class="member-body-long" id ="long-body-PROTECTEDACCESSOR">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
+ <div id="PROTECTEDSETTER" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTEDSETTER');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ PROTECTEDSETTER
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 22</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-PROTECTEDSETTER">
+
+ </div>
+ <div class="member-body-long" id ="long-body-PROTECTEDSETTER">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="PROTECTEDqualified" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTEDqualified');">[+]</span>
@@ -9646,6 +10169,54 @@
</script>
</div><!-- end member -->
+ <div id="SETTER" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'SETTER');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ SETTER
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 33</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-SETTER">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SETTER">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="SHADOWED" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'SHADOWED');">[+]</span>
@@ -9669,7 +10240,7 @@
- <span class="no-left">: 8</span>
+ <span class="no-left">: 24</span>
</div><!-- end member-title -->
@@ -9813,7 +10384,7 @@
- <span class="no-left">: 3</span>
+ <span class="no-left">: 63</span>
</div><!-- end member-title -->
@@ -10101,7 +10672,7 @@
- <span class="no-left">: 6</span>
+ <span class="no-left">: 20</span>
</div><!-- end member-title -->
@@ -10558,6 +11129,54 @@
</script>
</div><!-- end member -->
+ <div id="TRAITSETTER" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TRAITSETTER');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ TRAITSETTER
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 6</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-TRAITSETTER">
+
+ </div>
+ <div class="member-body-long" id ="long-body-TRAITSETTER">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="TRUEconst" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'TRUEconst');">[+]</span>
@@ -11278,6 +11897,54 @@
</script>
</div><!-- end member -->
+ <div id="UNIQUE" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'UNIQUE');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ UNIQUE
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 10</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-UNIQUE">
+
+ </div>
+ <div class="member-body-long" id ="long-body-UNIQUE">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="UNITconst" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'UNITconst');">[+]</span>
@@ -11422,6 +12089,54 @@
</script>
</div><!-- end member -->
+ <div id="VARIANT" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'VARIANT');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ VARIANT
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 12</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-VARIANT">
+
+ </div>
+ <div class="member-body-long" id ="long-body-VARIANT">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="firstASTTreeTag" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstASTTreeTag');">[+]</span>
@@ -11470,6 +12185,54 @@
</script>
</div><!-- end member -->
+ <div id="firstInternalTag" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstInternalTag');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ final
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ firstInternalTag
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: 64</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-firstInternalTag">
+
+ </div>
+ <div class="member-body-long" id ="long-body-firstInternalTag">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="firstLengthTreeTag" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstLengthTreeTag');">[+]</span>