aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/printing/Highlighting$/Black.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/printing/Highlighting$/Black.html')
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Black.html120
1 files changed, 115 insertions, 5 deletions
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black.html b/api/dotty/tools/dotc/printing/Highlighting$/Black.html
index 1bed8df9d..a54d9808a 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Black.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Black.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">
Black
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">Highlight</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">Black</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ text:
+ </span>
+ String
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="text" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'text');">[+]</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-text">
+
+ </div>
+ <div class="member-body-long" id ="long-body-text">
+
+ </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(text)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'copy(text)');">[+]</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(text)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-copy(text)">
+
+ </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>
@@ -5471,8 +5565,24 @@
</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>