aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/printing/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/printing/index.html')
-rw-r--r--api/dotty/tools/dotc/printing/index.html349
1 files changed, 330 insertions, 19 deletions
diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html
index fffab4f1d..ec679b669 100644
--- a/api/dotty/tools/dotc/printing/index.html
+++ b/api/dotty/tools/dotc/printing/index.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,29 @@
<span id="entity-name">
dotty.tools.dotc.printing
</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="Formatting$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Formatting$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5363,12 +5379,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Formatting$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Formatting$">
+
+ </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="Highlighting$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Highlighting$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5392,12 +5425,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Highlighting$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Highlighting$">
+
+ </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="PlainPrinter" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'PlainPrinter');">[+]</span>
<span class="member-annotations">
</span>
@@ -5421,12 +5471,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-PlainPrinter">
+
+ </div>
+ <div class="member-body-long" id ="long-body-PlainPrinter">
+
+ </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="Printer" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Printer');">[+]</span>
<span class="member-annotations">
</span>
@@ -5450,13 +5517,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The base class of all printers</p>
+ <div class="member-body-short" id="short-body-Printer">
+ <p>The base class of all printers</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-Printer">
+ <p>The base class of all printers</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="Printers" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Printers');">[+]</span>
<span class="member-annotations">
</span>
@@ -5480,12 +5565,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Printers">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Printers">
+
+ </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="RefinedPrinter" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'RefinedPrinter');">[+]</span>
<span class="member-annotations">
</span>
@@ -5509,12 +5611,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-RefinedPrinter">
+
+ </div>
+ <div class="member-body-long" id ="long-body-RefinedPrinter">
+
+ </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="Showable" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Showable');">[+]</span>
<span class="member-annotations">
</span>
@@ -5538,12 +5657,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Showable">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Showable">
+
+ </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="SyntaxHighlighting$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SyntaxHighlighting$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5567,13 +5703,31 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>This object provides functions for syntax highlighting in the REPL</p>
+ <div class="member-body-short" id="short-body-SyntaxHighlighting$">
+ <p>This object provides functions for syntax highlighting in the REPL</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-SyntaxHighlighting$">
+ <p>This object provides functions for syntax highlighting in the REPL</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="Texts$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Texts$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5597,12 +5751,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Texts$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Texts$">
+
+ </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="Precedence" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Precedence');">[+]</span>
<span class="member-annotations">
</span>
@@ -5631,12 +5802,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Precedence">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Precedence">
+
+ </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="AndPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'AndPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5662,12 +5850,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-AndPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-AndPrec">
+
+ </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="DotPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'DotPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5693,12 +5898,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-DotPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-DotPrec">
+
+ </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="GlobalPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'GlobalPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5724,12 +5946,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-GlobalPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-GlobalPrec">
+
+ </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="InfixPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'InfixPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5755,12 +5994,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-InfixPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-InfixPrec">
+
+ </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="OrPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'OrPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5786,12 +6042,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-OrPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-OrPrec">
+
+ </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="TopLevelPrec" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'TopLevelPrec');">[+]</span>
<span class="member-annotations">
</span>
@@ -5817,12 +6090,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-TopLevelPrec">
+
+ </div>
+ <div class="member-body-long" id ="long-body-TopLevelPrec">
+
+ </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="XprintMode" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'XprintMode');">[+]</span>
<span class="member-annotations">
</span>
@@ -5843,15 +6133,36 @@
- <span class="no-left">: Key</span>
+ <span class="no-left">: Key
+<span class="no-left no-right">[</span>
+Unit
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>A property to indicate whether the compiler is currently doing -Xprint</p>
+ <div class="member-body-short" id="short-body-XprintMode">
+ <p>A property to indicate whether the compiler is currently doing -Xprint</p>
+<p>-Xprint will print <code>sym.name</code> instead of <code>sym.originalName</code></p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-XprintMode">
+ <p>A property to indicate whether the compiler is currently doing -Xprint</p>
<p>-Xprint will print <code>sym.name</code> instead of <code>sym.originalName</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>
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 00:43:24 +0000