aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/Annotations$
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/Annotations$
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/Annotations$')
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html17
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html160
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/Annotation$.html344
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/Annotation.html217
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html119
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html64
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html145
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html64
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html145
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html139
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html64
-rw-r--r--api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html242
12 files changed, 1620 insertions, 100 deletions
diff --git a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html
index babcee49d..9df39f55b 100644
--- a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html
+++ b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.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,6 +5333,8 @@
<span id="entity-name">
AnnotInfo
</span>
+
+
</div>
@@ -5340,7 +5345,17 @@ of a symbol.</p>
</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/Annotations$/AnnotInfo.html b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html
index aa01e11cf..b2a6969b4 100644
--- a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html
+++ b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.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,6 +5333,17 @@
<span id="entity-name">
AnnotInfo
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
@@ -5340,12 +5354,41 @@ of a symbol.</p>
</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">AnnotInfo</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ sym:
+ </span>
+ Symbol
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="sym" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'sym');">[+]</span>
<span class="member-annotations">
</span>
@@ -5371,12 +5414,29 @@ of a symbol.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-sym">
+
+ </div>
+ <div class="member-body-long" id ="long-body-sym">
+
+ </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="deprecationMessage(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'deprecationMessage(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5412,17 +5472,37 @@ of a symbol.</p>
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-deprecationMessage(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-deprecationMessage(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="isDeprecated(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isDeprecated(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5463,12 +5543,29 @@ of a symbol.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isDeprecated(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isDeprecated(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="migrationMessage(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'migrationMessage(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5504,17 +5601,40 @@ of a symbol.</p>
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+Try
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/config/ScalaVersion.html">ScalaVersion</a>
+<span class="no-left">]</span>
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-migrationMessage(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-migrationMessage(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="migrationVersion(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'migrationVersion(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5550,13 +5670,35 @@ of a symbol.</p>
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+Try
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/config/ScalaVersion.html">ScalaVersion</a>
+<span class="no-left">]</span>
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-migrationVersion(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-migrationVersion(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/Annotation$.html b/api/dotty/tools/dotc/core/Annotations$/Annotation$.html
index 426144617..5cce43904 100644
--- a/api/dotty/tools/dotc/core/Annotations$/Annotation$.html
+++ b/api/dotty/tools/dotc/core/Annotations$/Annotation$.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">
Annotation
</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="apply(tree)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tree)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5378,12 +5394,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(tree)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(tree)">
+
+ </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(cls)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(cls)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5435,12 +5468,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(cls)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(cls)(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="apply(cls,arg)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(cls,arg)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5500,12 +5550,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(cls,arg)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(cls,arg)(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="apply(cls,arg1,arg2)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(cls,arg1,arg2)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5573,12 +5640,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(cls,arg1,arg2)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(cls,arg1,arg2)(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="apply(cls,args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(cls,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5641,12 +5725,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(cls,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(cls,args)(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="apply(atp,arg)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(atp,arg)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5706,12 +5807,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(atp,arg)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(atp,arg)(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="apply(atp,arg1,arg2)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(atp,arg1,arg2)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5779,12 +5897,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(atp,arg1,arg2)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(atp,arg1,arg2)(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="apply(atp,args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(atp,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5847,12 +5982,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(atp,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(atp,args)(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="applyResolve(atp,args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'applyResolve(atp,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5915,12 +6067,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-applyResolve(atp,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-applyResolve(atp,args)(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="deferred(sym,treeFn)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'deferred(sym,treeFn)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5980,13 +6149,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Create an annotation where the tree is computed lazily.</p>
+ <div class="member-body-short" id="short-body-deferred(sym,treeFn)(ctx)">
+ <p>Create an annotation where the tree is computed lazily.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-deferred(sym,treeFn)(ctx)">
+ <p>Create an annotation where the tree is computed lazily.</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="deferred(atp,args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'deferred(atp,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6049,12 +6236,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-deferred(atp,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-deferred(atp,args)(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="deferredResolve(atp,args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'deferredResolve(atp,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6117,12 +6321,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-deferredResolve(atp,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-deferredResolve(atp,args)(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="deferredSymAndTree(sym,treeFn)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'deferredSymAndTree(sym,treeFn)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6182,13 +6403,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>Create an annotation where the symbol and the tree are computed lazily.</p>
+ <div class="member-body-short" id="short-body-deferredSymAndTree(sym,treeFn)(ctx)">
+ <p>Create an annotation where the symbol and the tree are computed lazily.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-deferredSymAndTree(sym,treeFn)(ctx)">
+ <p>Create an annotation where the symbol and the tree are computed lazily.</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="makeAlias(sym)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'makeAlias(sym)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6240,12 +6479,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-makeAlias(sym)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-makeAlias(sym)(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="makeChild(sym)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'makeChild(sym)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6297,12 +6553,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-makeChild(sym)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-makeChild(sym)(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="makeSourceFile(path)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'makeSourceFile(path)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6354,12 +6627,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-makeSourceFile(path)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-makeSourceFile(path)(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="resolveConstructor(atp,args)(ctx)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'resolveConstructor(atp,args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6417,13 +6707,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-resolveConstructor(atp,args)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-resolveConstructor(atp,args)(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/Annotation.html b/api/dotty/tools/dotc/core/Annotations$/Annotation.html
index 5eeafac59..0671407a6 100644
--- a/api/dotty/tools/dotc/core/Annotations$/Annotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/Annotation.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
abstract
</span>
@@ -5330,16 +5333,41 @@
<span id="entity-name">
Annotation
</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">Annotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="appliesToModule" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'appliesToModule');">[+]</span>
<span class="member-annotations">
</span>
@@ -5365,12 +5393,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-appliesToModule">
+
+ </div>
+ <div class="member-body-long" id ="long-body-appliesToModule">
+
+ </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="argument(i)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'argument(i)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5417,17 +5462,37 @@
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a>
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-argument(i)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-argument(i)(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="argumentConstant(i)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'argumentConstant(i)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5474,17 +5539,37 @@
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+Constant
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-argumentConstant(i)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-argumentConstant(i)(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="arguments(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'arguments(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5520,17 +5605,37 @@
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a>
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-arguments(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-arguments(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="derivedAnnotation(tree)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'derivedAnnotation(tree)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5582,12 +5687,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-derivedAnnotation(tree)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-derivedAnnotation(tree)(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="ensureCompleted(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ensureCompleted(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5628,12 +5750,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-ensureCompleted(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-ensureCompleted(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="matches(cls)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'matches(cls)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5685,12 +5824,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-matches(cls)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-matches(cls)(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="symbol(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'symbol(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5731,12 +5887,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-symbol(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-symbol(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="tree(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'tree(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5772,13 +5945,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-tree(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-tree(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html
index 4e3652d49..3d28b8e72 100644
--- a/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
abstract
</span>
@@ -5330,6 +5333,17 @@
<span id="entity-name">
BodyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Annotation</span>
+
+ </div>
+
</div>
@@ -5341,12 +5355,35 @@ pickling/unpickling and TypeTreeMaps</p>
</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">BodyAnnotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="arguments(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'arguments(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5382,17 +5419,37 @@ pickling/unpickling and TypeTreeMaps</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a>
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-arguments(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-arguments(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="derivedAnnotation(tree)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'derivedAnnotation(tree)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5444,12 +5501,29 @@ pickling/unpickling and TypeTreeMaps</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-derivedAnnotation(tree)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-derivedAnnotation(tree)(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="ensureCompleted(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ensureCompleted(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5490,12 +5564,29 @@ pickling/unpickling and TypeTreeMaps</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-ensureCompleted(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-ensureCompleted(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="symbol(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'symbol(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5536,8 +5627,24 @@ pickling/unpickling and TypeTreeMaps</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-symbol(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-symbol(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html
index 6320bfe9e..16f5abfa8 100644
--- a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html
+++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.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,38 @@
<span id="entity-name">
ConcreteAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Function1</span>
+
+ </div>
+
</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="apply(t)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(t)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5378,12 +5403,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(t)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(t)">
+
+ </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(x$1)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5422,8 +5464,24 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-unapply(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-unapply(x$1)">
+
+ </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/Annotations$/ConcreteAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html
index 6748651f2..7c100123c 100644
--- a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.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,56 @@
<span id="entity-name">
ConcreteAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Annotation</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">ConcreteAnnotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ t:
+ </span>
+ Tree
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="t" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 't');">[+]</span>
<span class="member-annotations">
</span>
@@ -5360,17 +5403,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-t">
+
+ </div>
+ <div class="member-body-long" id ="long-body-t">
+
+ </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="_1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5396,12 +5456,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-_1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-_1">
+
+ </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="copy(t)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy(t)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5440,12 +5517,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy(t)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy(t)">
+
+ </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="copy$default$1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5466,17 +5560,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy$default$1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy$default$1">
+
+ </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="tree(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'tree(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5512,13 +5623,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-tree(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-tree(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html
index fbd31683b..0f1295077 100644
--- a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html
+++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.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,38 @@
<span id="entity-name">
ConcreteBodyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Function1</span>
+
+ </div>
+
</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="apply(body)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(body)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5378,12 +5403,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(body)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(body)">
+
+ </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(x$1)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5422,8 +5464,24 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-unapply(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-unapply(x$1)">
+
+ </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/Annotations$/ConcreteBodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html
index efe0341bd..9b3ac0226 100644
--- a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.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,56 @@
<span id="entity-name">
ConcreteBodyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">BodyAnnotation</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">ConcreteBodyAnnotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ body:
+ </span>
+ Tree
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="body" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'body');">[+]</span>
<span class="member-annotations">
</span>
@@ -5360,17 +5403,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-body">
+
+ </div>
+ <div class="member-body-long" id ="long-body-body">
+
+ </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="_1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5396,12 +5456,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-_1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-_1">
+
+ </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="copy(body)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy(body)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5440,12 +5517,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy(body)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy(body)">
+
+ </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="copy$default$1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5466,17 +5560,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy$default$1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy$default$1">
+
+ </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="tree(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'tree(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5512,13 +5623,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-tree(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-tree(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html
index 9b9dbe1c3..91d360c67 100644
--- a/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
abstract
</span>
@@ -5330,16 +5333,50 @@
<span id="entity-name">
LazyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Annotation</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">LazyAnnotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="myTree" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'myTree');">[+]</span>
<span class="member-annotations">
</span>
@@ -5360,17 +5397,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-myTree">
+
+ </div>
+ <div class="member-body-long" id ="long-body-myTree">
+
+ </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="complete(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'complete(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5406,17 +5460,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-complete(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-complete(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="myTree_=(x$1)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'myTree_=(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5455,12 +5526,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-myTree_=(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-myTree_=(x$1)">
+
+ </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="symbol(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'symbol(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5501,12 +5589,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-symbol(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-symbol(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="tree(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'tree(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5542,13 +5647,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-tree(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-tree(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>
diff --git a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html
index c7dd709bd..7b05f2fcc 100644
--- a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html
+++ b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.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,38 @@
<span id="entity-name">
LazyBodyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Function1</span>
+
+ </div>
+
</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="apply(bodyExpr)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'apply(bodyExpr)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5378,12 +5403,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-apply(bodyExpr)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-apply(bodyExpr)">
+
+ </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(x$1)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5422,8 +5464,24 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-unapply(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-unapply(x$1)">
+
+ </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/Annotations$/LazyBodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html
index d3f730fbc..8a923a153 100644
--- a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html
+++ b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.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,56 @@
<span id="entity-name">
LazyBodyAnnotation
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">BodyAnnotation</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">LazyBodyAnnotation</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ bodyExpr:
+ </span>
+ Context<span class="right-arrow"> =&gt; </span>Tree
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="bodyExpr" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'bodyExpr');">[+]</span>
<span class="member-annotations">
</span>
@@ -5360,17 +5403,34 @@
- <span class="no-left">: </span>
+ <span class="no-left">: Context<span class="right-arrow"> =&gt; </span><a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-bodyExpr">
+
+ </div>
+ <div class="member-body-long" id ="long-body-bodyExpr">
+
+ </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="evaluated" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'evaluated');">[+]</span>
<span class="member-annotations">
</span>
@@ -5396,12 +5456,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-evaluated">
+
+ </div>
+ <div class="member-body-long" id ="long-body-evaluated">
+
+ </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="myBody" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'myBody');">[+]</span>
<span class="member-annotations">
</span>
@@ -5422,17 +5499,34 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-myBody">
+
+ </div>
+ <div class="member-body-long" id ="long-body-myBody">
+
+ </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="_1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5458,12 +5552,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-_1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-_1">
+
+ </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="copy(bodyExpr)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy(bodyExpr)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5502,12 +5613,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy(bodyExpr)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy(bodyExpr)">
+
+ </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="copy$default$1" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span>
<span class="member-annotations">
</span>
@@ -5528,17 +5656,34 @@
- <span class="no-left">: </span>
+ <span class="no-left">: Context<span class="right-arrow"> =&gt; </span><a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-copy$default$1">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy$default$1">
+
+ </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="evaluated_=(x$1)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'evaluated_=(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5577,12 +5722,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-evaluated_=(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-evaluated_=(x$1)">
+
+ </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="isEvaluated" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isEvaluated');">[+]</span>
<span class="member-annotations">
</span>
@@ -5608,12 +5770,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isEvaluated">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isEvaluated">
+
+ </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="myBody_=(x$1)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'myBody_=(x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5652,12 +5831,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-myBody_=(x$1)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-myBody_=(x$1)">
+
+ </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="tree(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'tree(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5693,13 +5889,29 @@
- <span class="no-left">: Tree</span>
+ <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-tree(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-tree(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>