aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/NameOps$
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
commit881c3b182fda1036d5a507d08ff85f7709d70703 (patch)
treec0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/NameOps$
parentb45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff)
downloaddotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/dotc/core/NameOps$')
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/InitializerName$.html26
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/NameDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/NameDecorator.html1126
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/PrefixNameExtractor.html97
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/SuperAccessorName$.html26
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/TermNameDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/TermNameDecorator.html433
-rw-r--r--api/dotty/tools/dotc/core/NameOps$/compactify$.html62
8 files changed, 1715 insertions, 89 deletions
diff --git a/api/dotty/tools/dotc/core/NameOps$/InitializerName$.html b/api/dotty/tools/dotc/core/NameOps$/InitializerName$.html
index 8385b3fbc..81c3c39df 100644
--- a/api/dotty/tools/dotc/core/NameOps$/InitializerName$.html
+++ b/api/dotty/tools/dotc/core/NameOps$/InitializerName$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,11 +5333,32 @@
<span id="entity-name">
InitializerName
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">PrefixNameExtractor</span>
+
+ </div>
+
</div>
- <h1 class="section empty">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section empty">
+ Members
+ </h1>
<div id="entity-members" class="entity-section empty">
diff --git a/api/dotty/tools/dotc/core/NameOps$/NameDecorator$.html b/api/dotty/tools/dotc/core/NameOps$/NameDecorator$.html
index 47328ac58..617b306bc 100644
--- a/api/dotty/tools/dotc/core/NameOps$/NameDecorator$.html
+++ b/api/dotty/tools/dotc/core/NameOps$/NameDecorator$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,11 +5333,23 @@
<span id="entity-name">
NameDecorator
</span>
+
+
</div>
- <h1 class="section empty">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section empty">
+ Members
+ </h1>
<div id="entity-members" class="entity-section empty">
diff --git a/api/dotty/tools/dotc/core/NameOps$/NameDecorator.html b/api/dotty/tools/dotc/core/NameOps$/NameDecorator.html
index 8dc79bcc1..8ca8960a5 100644
--- a/api/dotty/tools/dotc/core/NameOps$/NameDecorator.html
+++ b/api/dotty/tools/dotc/core/NameOps$/NameDecorator.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,16 +5333,68 @@
<span id="entity-name">
NameDecorator
</span>
+
+ <span id="entity-type-params">
+ <span class="no-left">[</span>
+
+ <span class="no-left">
+
+ N
+
+ </span>
+
+ <span class="no-left">]</span>
+ </span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section ">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section ">
+
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">NameDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ name:
+ </span>
+ N
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="name" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'name');">[+]</span>
<span class="member-annotations">
</span>
@@ -5365,12 +5420,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-name">
+
+ </div>
+ <div class="member-body-long" id ="long-body-name">
+
+ </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="adjustIfModuleClass(flags)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'adjustIfModuleClass(flags)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5409,13 +5481,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>If flags is a ModuleClass but not a Package, add module class suffix</p>
+ <div class="member-body-short" id="short-body-adjustIfModuleClass(flags)">
+ <p>If flags is a ModuleClass but not a Package, add module class suffix</p>
+ </div>
+ <div class="member-body-long" id ="long-body-adjustIfModuleClass(flags)">
+ <p>If flags is a ModuleClass but not a Package, add module class suffix</p>
+
+ </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="avoidClashName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'avoidClashName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5441,13 +5531,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Append a suffix so that this name does not clash with another name in the same scope</p>
+ <div class="member-body-short" id="short-body-avoidClashName">
+ <p>Append a suffix so that this name does not clash with another name in the same scope</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-avoidClashName">
+ <p>Append a suffix so that this name does not clash with another name in the same scope</p>
+ </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="compactified(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'compactified(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5488,13 +5596,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>If name length exceeds allowable limit, replace part of it by hash</p>
+ <div class="member-body-short" id="short-body-compactified(ctx)">
+ <p>If name length exceeds allowable limit, replace part of it by hash</p>
+ </div>
+ <div class="member-body-long" id ="long-body-compactified(ctx)">
+ <p>If name length exceeds allowable limit, replace part of it by hash</p>
+
+ </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="directName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'directName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5520,12 +5646,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-directName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-directName">
+
+ </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="errorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'errorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5551,12 +5694,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-errorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-errorName">
+
+ </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="expandedName(base,separator)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName(base,separator)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5616,13 +5776,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The expanded name of <code>name</code> relative to given class <code>base</code>.</p>
+ <div class="member-body-short" id="short-body-expandedName(base,separator)(ctx)">
+ <p>The expanded name of <code>name</code> relative to given class <code>base</code>.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-expandedName(base,separator)(ctx)">
+ <p>The expanded name of <code>name</code> relative to given class <code>base</code>.</p>
+
+ </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="expandedName(base)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName(base)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5674,12 +5852,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-expandedName(base)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandedName(base)(ctx)">
+
+ </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="expandedName(prefix,separator)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName(prefix,separator)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5726,13 +5921,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+ <div class="member-body-short" id="short-body-expandedName(prefix,separator)">
+ <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+ </div>
+ <div class="member-body-long" id ="long-body-expandedName(prefix,separator)">
+ <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+
+ </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="expandedName(prefix)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName(prefix)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5771,12 +5984,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-expandedName(prefix)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandedName(prefix)">
+
+ </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="expandedName$default$2" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName$default$2');">[+]</span>
<span class="member-annotations">
</span>
@@ -5802,13 +6032,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+ <div class="member-body-short" id="short-body-expandedName$default$2">
+ <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandedName$default$2">
+ <p>The expanded name of <code>name</code> relative to <code>basename</code> with given <code>separator</code></p>
+ </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="expandedPrefix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandedPrefix');">[+]</span>
<span class="member-annotations">
</span>
@@ -5834,12 +6082,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-expandedPrefix">
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandedPrefix">
+
+ </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="freshened(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'freshened(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5880,12 +6145,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-freshened(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-freshened(ctx)">
+
+ </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="functionArity" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'functionArity');">[+]</span>
<span class="member-annotations">
</span>
@@ -5911,12 +6193,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-functionArity">
+
+ </div>
+ <div class="member-body-long" id ="long-body-functionArity">
+
+ </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="genericArrayOp" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'genericArrayOp');">[+]</span>
<span class="member-annotations">
</span>
@@ -5942,13 +6241,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The name of the generic runtime operation corresponding to an array operation</p>
+ <div class="member-body-short" id="short-body-genericArrayOp">
+ <p>The name of the generic runtime operation corresponding to an array operation</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-genericArrayOp">
+ <p>The name of the generic runtime operation corresponding to an array operation</p>
+ </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="implClassName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'implClassName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5974,12 +6291,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-implClassName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-implClassName">
+
+ </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="isAvoidClashName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isAvoidClashName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6005,12 +6339,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isAvoidClashName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isAvoidClashName">
+
+ </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="isConstructorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isConstructorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6036,12 +6387,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isConstructorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isConstructorName">
+
+ </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="isDefaultGetterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isDefaultGetterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6067,12 +6435,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isDefaultGetterName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isDefaultGetterName">
+
+ </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="isExceptionResultName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isExceptionResultName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6098,12 +6483,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isExceptionResultName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isExceptionResultName">
+
+ </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="isFieldName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isFieldName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6129,12 +6531,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isFieldName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isFieldName">
+
+ </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="isImplClassName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isImplClassName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6160,12 +6579,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isImplClassName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isImplClassName">
+
+ </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="isImportName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isImportName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6191,12 +6627,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isImportName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isImportName">
+
+ </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="isInlineAccessor" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isInlineAccessor');">[+]</span>
<span class="member-annotations">
</span>
@@ -6222,12 +6675,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isInlineAccessor">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isInlineAccessor">
+
+ </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="isLazyLocal" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isLazyLocal');">[+]</span>
<span class="member-annotations">
</span>
@@ -6253,12 +6723,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isLazyLocal">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isLazyLocal">
+
+ </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="isLocalDummyName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isLocalDummyName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6284,12 +6771,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isLocalDummyName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isLocalDummyName">
+
+ </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="isLoopHeaderLabel" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isLoopHeaderLabel');">[+]</span>
<span class="member-annotations">
</span>
@@ -6315,12 +6819,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isLoopHeaderLabel">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isLoopHeaderLabel">
+
+ </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="isModuleClassName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isModuleClassName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6346,12 +6867,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isModuleClassName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isModuleClassName">
+
+ </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="isModuleVarName(name)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isModuleVarName(name)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6390,12 +6928,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isModuleVarName(name)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isModuleVarName(name)">
+
+ </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="isOpAssignmentName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isOpAssignmentName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6421,12 +6976,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isOpAssignmentName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isOpAssignmentName">
+
+ </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="isOuterSelect" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isOuterSelect');">[+]</span>
<span class="member-annotations">
</span>
@@ -6452,12 +7024,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isOuterSelect">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isOuterSelect">
+
+ </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="isProtectedAccessorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isProtectedAccessorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6483,12 +7072,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isProtectedAccessorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isProtectedAccessorName">
+
+ </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="isReplWrapperName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isReplWrapperName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6514,12 +7120,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isReplWrapperName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isReplWrapperName">
+
+ </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="isScala2LocalSuffix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isScala2LocalSuffix');">[+]</span>
<span class="member-annotations">
</span>
@@ -6545,12 +7168,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isScala2LocalSuffix">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isScala2LocalSuffix">
+
+ </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="isSelectorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isSelectorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6576,12 +7216,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isSelectorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isSelectorName">
+
+ </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="isSetterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isSetterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6607,12 +7264,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isSetterName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isSetterName">
+
+ </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="isShadowedName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isShadowedName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6638,12 +7312,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isShadowedName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isShadowedName">
+
+ </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="isSingletonName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isSingletonName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6669,12 +7360,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isSingletonName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isSingletonName">
+
+ </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="isStaticConstructorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isStaticConstructorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6700,12 +7408,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isStaticConstructorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isStaticConstructorName">
+
+ </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="isTraitSetterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isTraitSetterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6731,12 +7456,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isTraitSetterName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isTraitSetterName">
+
+ </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="isVariableName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isVariableName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6762,12 +7504,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isVariableName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isVariableName">
+
+ </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="likeTyped(n)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'likeTyped(n)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6806,12 +7565,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-likeTyped(n)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-likeTyped(n)">
+
+ </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="moduleClassName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'moduleClassName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6837,13 +7613,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Convert this module name to corresponding module class name</p>
+ <div class="member-body-short" id="short-body-moduleClassName">
+ <p>Convert this module name to corresponding module class name</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-moduleClassName">
+ <p>Convert this module name to corresponding module class name</p>
+ </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="primitiveArrayOp" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'primitiveArrayOp');">[+]</span>
<span class="member-annotations">
</span>
@@ -6869,13 +7663,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The name of the primitive runtime operation corresponding to an array operation</p>
+ <div class="member-body-short" id="short-body-primitiveArrayOp">
+ <p>The name of the primitive runtime operation corresponding to an array operation</p>
+ </div>
+ <div class="member-body-long" id ="long-body-primitiveArrayOp">
+ <p>The name of the primitive runtime operation corresponding to an array operation</p>
+
+ </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="revertShadowed" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'revertShadowed');">[+]</span>
<span class="member-annotations">
</span>
@@ -6901,12 +7713,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-revertShadowed">
+
+ </div>
+ <div class="member-body-long" id ="long-body-revertShadowed">
+
+ </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="segments" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'segments');">[+]</span>
<span class="member-annotations">
</span>
@@ -6927,12 +7756,16 @@
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Name
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Translate a name into a list of simple TypeNames and TermNames.
+ <div class="member-body-short" id="short-body-segments">
+ <p>Translate a name into a list of simple TypeNames and TermNames.
In all segments before the last, type/term is determined by whether
the following separa...
</p>
@@ -6944,11 +7777,46 @@ the following separa...
<p>
</p>
+ </div>
+ <div class="member-body-long" id ="long-body-segments">
+ <p>Translate a name into a list of simple TypeNames and TermNames.
+In all segments before the last, type/term is determined by whether
+the following separator char is '.' or '#'. The last segment
+is of the same type as the original name.</p>
+<p>Examples:</p>
+<p>package foo {
+object Lorax { object Wog ; class Wog }
+class Lorax { object Zax ; class Zax }
+}</p>
+<p>f(&quot;foo.Lorax&quot;.toTermName) == List(&quot;foo&quot;: Term, &quot;Lorax&quot;: Term) // object Lorax
+f(&quot;foo.Lorax&quot;.toTypeName) == List(&quot;foo&quot;: Term, &quot;Lorax&quot;: Type) // class Lorax
+f(&quot;Lorax.Wog&quot;.toTermName) == List(&quot;Lorax&quot;: Term, &quot;Wog&quot;: Term) // object Wog
+f(&quot;Lorax.Wog&quot;.toTypeName) == List(&quot;Lorax&quot;: Term, &quot;Wog&quot;: Type) // class Wog
+f(&quot;Lorax#Zax&quot;.toTermName) == List(&quot;Lorax&quot;: Type, &quot;Zax&quot;: Term) // object Zax
+f(&quot;Lorax#Zax&quot;.toTypeName) == List(&quot;Lorax&quot;: Type, &quot;Zax&quot;: Type) // class Zax</p>
+<p>Note that in actual scala syntax you cannot refer to object Zax without an
+instance of Lorax, so Lorax#Zax could only mean the type. One might think
+that Lorax#Zax.type would work, but this is not accepted by the parser.
+For the purposes of referencing that object, the syntax is allowed.</p>
+
+ </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="shadowedName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'shadowedName');">[+]</span>
<span class="member-annotations">
</span>
@@ -6974,12 +7842,29 @@ the following separa...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-shadowedName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-shadowedName">
+
+ </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="sourceModuleName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'sourceModuleName');">[+]</span>
<span class="member-annotations">
</span>
@@ -7005,13 +7890,31 @@ the following separa...
</div><!-- end member-title -->
<div class="member-body">
- <p>Convert this module class name to corresponding source module name</p>
+ <div class="member-body-short" id="short-body-sourceModuleName">
+ <p>Convert this module class name to corresponding source module name</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-sourceModuleName">
+ <p>Convert this module class name to corresponding source module name</p>
+ </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="specializedFor(classTargs,classTargsNames,methodTargs,methodTarsNames)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'specializedFor(classTargs,classTargsNames,methodTargs,methodTarsNames)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -7099,12 +8002,29 @@ Name
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-specializedFor(classTargs,classTargsNames,methodTargs,methodTarsNames)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-specializedFor(classTargs,classTargsNames,methodTargs,methodTarsNames)(ctx)">
+
+ </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="stripAnonNumberSuffix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'stripAnonNumberSuffix');">[+]</span>
<span class="member-annotations">
</span>
@@ -7130,15 +8050,35 @@ Name
</div><!-- end member-title -->
<div class="member-body">
- <p>If the name ends with $nn where nn are
+ <div class="member-body-short" id="short-body-stripAnonNumberSuffix">
+ <p>If the name ends with $nn where nn are
+all digits, strip the $ and the digits.
+Otherwise return the argument.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-stripAnonNumberSuffix">
+ <p>If the name ends with $nn where nn are
all digits, strip the $ and the digits.
Otherwise return the argument.</p>
+ </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="stripAvoidClashSuffix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'stripAvoidClashSuffix');">[+]</span>
<span class="member-annotations">
</span>
@@ -7164,13 +8104,31 @@ Otherwise return the argument.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>If name ends in &quot;avoid clash&quot; suffix, drop it</p>
+ <div class="member-body-short" id="short-body-stripAvoidClashSuffix">
+ <p>If name ends in &quot;avoid clash&quot; suffix, drop it</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-stripAvoidClashSuffix">
+ <p>If name ends in &quot;avoid clash&quot; suffix, drop it</p>
+ </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="stripModuleClassSuffix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'stripModuleClassSuffix');">[+]</span>
<span class="member-annotations">
</span>
@@ -7196,13 +8154,31 @@ Otherwise return the argument.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>If name ends in module class suffix, drop it</p>
+ <div class="member-body-short" id="short-body-stripModuleClassSuffix">
+ <p>If name ends in module class suffix, drop it</p>
+ </div>
+ <div class="member-body-long" id ="long-body-stripModuleClassSuffix">
+ <p>If name ends in module class suffix, drop it</p>
+
+ </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="superName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'superName');">[+]</span>
<span class="member-annotations">
</span>
@@ -7228,13 +8204,31 @@ Otherwise return the argument.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>The superaccessor for method with given name</p>
+ <div class="member-body-short" id="short-body-superName">
+ <p>The superaccessor for method with given name</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-superName">
+ <p>The superaccessor for method with given name</p>
+ </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="unexpandedName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'unexpandedName');">[+]</span>
<span class="member-annotations">
</span>
@@ -7260,12 +8254,32 @@ Otherwise return the argument.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Revert the expanded name. Note: This currently gives incorrect results
+ <div class="member-body-short" id="short-body-unexpandedName">
+ <p>Revert the expanded name. Note: This currently gives incorrect results
if the normal name contains <code>nme.EXPAND_SEPARATOR</code>, i.e. two consecutive '$'
signs....
</p>
+ </div>
+ <div class="member-body-long" id ="long-body-unexpandedName">
+ <p>Revert the expanded name. Note: This currently gives incorrect results
+if the normal name contains <code>nme.EXPAND_SEPARATOR</code>, i.e. two consecutive '$'
+signs. This can happen for instance if a super accessor is paired with
+an encoded name, e.g. super$$plus$eq. See #765.</p>
+
+ </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>
diff --git a/api/dotty/tools/dotc/core/NameOps$/PrefixNameExtractor.html b/api/dotty/tools/dotc/core/NameOps$/PrefixNameExtractor.html
index 3b43606d3..2b95dff74 100644
--- a/api/dotty/tools/dotc/core/NameOps$/PrefixNameExtractor.html
+++ b/api/dotty/tools/dotc/core/NameOps$/PrefixNameExtractor.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
</span>
@@ -5330,16 +5333,47 @@
<span id="entity-name">
PrefixNameExtractor
</span>
+
+
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section ">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section ">
+
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">PrefixNameExtractor</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ pre:
+ </span>
+ TermName
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="pre" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'pre');">[+]</span>
<span class="member-annotations">
</span>
@@ -5365,12 +5399,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-pre">
+
+ </div>
+ <div class="member-body-long" id ="long-body-pre">
+
+ </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="apply(name)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(name)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5409,12 +5460,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(name)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(name)">
+
+ </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="unapply(name)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(name)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5448,13 +5516,32 @@
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+TermName
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-unapply(name)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-unapply(name)">
+
+ </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>
diff --git a/api/dotty/tools/dotc/core/NameOps$/SuperAccessorName$.html b/api/dotty/tools/dotc/core/NameOps$/SuperAccessorName$.html
index 88ed71f21..2ff2c5764 100644
--- a/api/dotty/tools/dotc/core/NameOps$/SuperAccessorName$.html
+++ b/api/dotty/tools/dotc/core/NameOps$/SuperAccessorName$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,11 +5333,32 @@
<span id="entity-name">
SuperAccessorName
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">PrefixNameExtractor</span>
+
+ </div>
+
</div>
- <h1 class="section empty">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section empty">
+ Members
+ </h1>
<div id="entity-members" class="entity-section empty">
diff --git a/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator$.html b/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator$.html
index ff03044b7..60b080b5c 100644
--- a/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator$.html
+++ b/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,11 +5333,23 @@
<span id="entity-name">
TermNameDecorator
</span>
+
+
</div>
- <h1 class="section empty">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section empty">
+ Members
+ </h1>
<div id="entity-members" class="entity-section empty">
diff --git a/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator.html b/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator.html
index 1196ad10a..feacc7327 100644
--- a/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator.html
+++ b/api/dotty/tools/dotc/core/NameOps$/TermNameDecorator.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,16 +5333,56 @@
<span id="entity-name">
TermNameDecorator
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section ">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section ">
+
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">TermNameDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ name:
+ </span>
+ TermName
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="name" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'name');">[+]</span>
<span class="member-annotations">
</span>
@@ -5365,12 +5408,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-name">
+
+ </div>
+ <div class="member-body-long" id ="long-body-name">
+
+ </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="defaultGetterIndex" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'defaultGetterIndex');">[+]</span>
<span class="member-annotations">
</span>
@@ -5396,13 +5456,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>If this is a default getter, its index (starting from 0), else -1</p>
+ <div class="member-body-short" id="short-body-defaultGetterIndex">
+ <p>If this is a default getter, its index (starting from 0), else -1</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-defaultGetterIndex">
+ <p>If this is a default getter, its index (starting from 0), else -1</p>
+ </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="defaultGetterName(pos)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'defaultGetterName(pos)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5441,13 +5519,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Nominally, name$default$N, encoded for <init></p>
+ <div class="member-body-short" id="short-body-defaultGetterName(pos)">
+ <p>Nominally, name$default$N, encoded for <init></p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-defaultGetterName(pos)">
+ <p>Nominally, name$default$N, encoded for <init></p>
+ </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="defaultGetterToMethod" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'defaultGetterToMethod');">[+]</span>
<span class="member-annotations">
</span>
@@ -5473,13 +5569,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Nominally, name from name$default$N, CONSTRUCTOR for <init></p>
+ <div class="member-body-short" id="short-body-defaultGetterToMethod">
+ <p>Nominally, name from name$default$N, CONSTRUCTOR for <init></p>
+ </div>
+ <div class="member-body-long" id ="long-body-defaultGetterToMethod">
+ <p>Nominally, name from name$default$N, CONSTRUCTOR for <init></p>
+
+ </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="fieldName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'fieldName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5505,12 +5619,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-fieldName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-fieldName">
+
+ </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="fieldToGetter" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'fieldToGetter');">[+]</span>
<span class="member-annotations">
</span>
@@ -5536,12 +5667,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-fieldToGetter">
+
+ </div>
+ <div class="member-body-long" id ="long-body-fieldToGetter">
+
+ </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="getterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'getterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5567,12 +5715,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-getterName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-getterName">
+
+ </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="inlineAccessorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'inlineAccessorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5598,12 +5763,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-inlineAccessorName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-inlineAccessorName">
+
+ </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="lazyLocalName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'lazyLocalName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5629,12 +5811,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-lazyLocalName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-lazyLocalName">
+
+ </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="moduleVarName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'moduleVarName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5660,12 +5859,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-moduleVarName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-moduleVarName">
+
+ </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="nonLazyName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'nonLazyName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5691,12 +5907,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-nonLazyName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-nonLazyName">
+
+ </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="primitiveInfixMethodName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'primitiveInfixMethodName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5722,14 +5955,33 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The name of a method which stands in for a primitive operation
+ <div class="member-body-short" id="short-body-primitiveInfixMethodName">
+ <p>The name of a method which stands in for a primitive operation
+during structural type dispatch.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-primitiveInfixMethodName">
+ <p>The name of a method which stands in for a primitive operation
during structural type dispatch.</p>
+ </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="primitiveMethodName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'primitiveMethodName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5755,12 +6007,29 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-primitiveMethodName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-primitiveMethodName">
+
+ </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="primitivePostfixMethodName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'primitivePostfixMethodName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5786,13 +6055,31 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Postfix/prefix, really.</p>
+ <div class="member-body-short" id="short-body-primitivePostfixMethodName">
+ <p>Postfix/prefix, really.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-primitivePostfixMethodName">
+ <p>Postfix/prefix, really.</p>
+
+ </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="protectedAccessorName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'protectedAccessorName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5818,13 +6105,31 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>The name of an accessor for protected symbols.</p>
+ <div class="member-body-short" id="short-body-protectedAccessorName">
+ <p>The name of an accessor for protected symbols.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-protectedAccessorName">
+ <p>The name of an accessor for protected symbols.</p>
+ </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="protectedSetterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'protectedSetterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5850,13 +6155,31 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>The name of a setter for protected symbols. Used for inherited Java fields.</p>
+ <div class="member-body-short" id="short-body-protectedSetterName">
+ <p>The name of a setter for protected symbols. Used for inherited Java fields.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-protectedSetterName">
+ <p>The name of a setter for protected symbols. Used for inherited Java fields.</p>
+ </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="setterName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'setterName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5882,12 +6205,29 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-setterName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-setterName">
+
+ </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="setterToGetter" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'setterToGetter');">[+]</span>
<span class="member-annotations">
</span>
@@ -5913,12 +6253,29 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-setterToGetter">
+
+ </div>
+ <div class="member-body-long" id ="long-body-setterToGetter">
+
+ </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="stripScala2LocalSuffix" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'stripScala2LocalSuffix');">[+]</span>
<span class="member-annotations">
</span>
@@ -5944,12 +6301,29 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-stripScala2LocalSuffix">
+
+ </div>
+ <div class="member-body-long" id ="long-body-stripScala2LocalSuffix">
+
+ </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="toUnaryName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toUnaryName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5975,9 +6349,26 @@ during structural type dispatch.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>The name unary_x for a prefix operator x</p>
+ <div class="member-body-short" id="short-body-toUnaryName">
+ <p>The name unary_x for a prefix operator x</p>
+ </div>
+ <div class="member-body-long" id ="long-body-toUnaryName">
+ <p>The name unary_x for a prefix operator x</p>
+
+ </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>
diff --git a/api/dotty/tools/dotc/core/NameOps$/compactify$.html b/api/dotty/tools/dotc/core/NameOps$/compactify$.html
index 85dd0c927..0eab931d9 100644
--- a/api/dotty/tools/dotc/core/NameOps$/compactify$.html
+++ b/api/dotty/tools/dotc/core/NameOps$/compactify$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,16 +5333,29 @@
<span id="entity-name">
compactify
</span>
+
+
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="md5" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'md5');">[+]</span>
<span class="member-annotations">
</span>
@@ -5365,12 +5381,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-md5">
+
+ </div>
+ <div class="member-body-long" id ="long-body-md5">
+
+ </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="apply(s)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(s)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5422,7 +5455,8 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>COMPACTIFY</p>
+ <div class="member-body-short" id="short-body-apply(s)(ctx)">
+ <p>COMPACTIFY</p>
<p>The hashed name has the form (prefix + marker + md5 + marker + suffix), where
- prefix/suffix.length = MaxNameLength / 4
- md5.length = 32</p>
@@ -5430,7 +5464,29 @@
<p></p>
<p></p>
+ </div>
+ <div class="member-body-long" id ="long-body-apply(s)(ctx)">
+ <p>COMPACTIFY</p>
+<p>The hashed name has the form (prefix + marker + md5 + marker + suffix), where
+- prefix/suffix.length = MaxNameLength / 4
+- md5.length = 32</p>
+<p>We obtain the formula:</p>
+<p>FileNameLength = 2*(MaxNameLength / 4) + 2.marker.length + 32 + 6</p>
+<p>(+6 for &quot;.class&quot;). MaxNameLength can therefore be computed as follows:</p>
+
+ </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>