diff options
Diffstat (limited to 'api/dotty/tools/dotc/printing/Printer.html')
| -rw-r--r-- | api/dotty/tools/dotc/printing/Printer.html | 538 |
1 files changed, 512 insertions, 26 deletions
diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html index 40c4aee7f..7b9aaa329 100644 --- a/api/dotty/tools/dotc/printing/Printer.html +++ b/api/dotty/tools/dotc/printing/Printer.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,8 @@ <span id="entity-name"> Printer </span> + + </div> @@ -5339,12 +5344,35 @@ </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">Printer</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="prec" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'prec');">[+]</span> <span class="member-annotations"> </span> @@ -5370,12 +5398,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-prec"> + + </div> + <div class="member-body-long" id ="long-body-prec"> + + </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="atPrec(prec)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'atPrec(prec)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5425,13 +5470,31 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p> + <div class="member-body-short" id="short-body-atPrec(prec)(op)"> + <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-atPrec(prec)(op)"> + <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="changePrec(prec)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'changePrec(prec)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5481,14 +5544,33 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>. + <div class="member-body-short" id="short-body-changePrec(prec)(op)"> + <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>. +If new level <code>prec</code> is lower than previous level, put text in parentheses.</p> + + </div> + <div class="member-body-long" id ="long-body-changePrec(prec)(op)"> + <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>. If new level <code>prec</code> is lower than previous level, put text in parentheses.</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="currentPrecedence" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'currentPrecedence');">[+]</span> <span class="member-annotations"> </span> @@ -5514,13 +5596,31 @@ If new level <code>prec</code> is lower than previous level, put text in parenth </div><!-- end member-title --> <div class="member-body"> - <p>The current precedence level</p> + <div class="member-body-short" id="short-body-currentPrecedence"> + <p>The current precedence level</p> + </div> + <div class="member-body-long" id ="long-body-currentPrecedence"> + <p>The current precedence level</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="dclText(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dclText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5559,13 +5659,31 @@ If new level <code>prec</code> is lower than previous level, put text in parenth </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of symbol's declaration</p> + <div class="member-body-short" id="short-body-dclText(sym)"> + <p>Textual representation of symbol's declaration</p> + + </div> + <div class="member-body-long" id ="long-body-dclText(sym)"> + <p>Textual representation of symbol's declaration</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="dclText(sd)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dclText(sd)');">[+]</span> <span class="member-annotations"> </span> @@ -5604,13 +5722,31 @@ If new level <code>prec</code> is lower than previous level, put text in parenth </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of single denotation's declaration</p> + <div class="member-body-short" id="short-body-dclText(sd)"> + <p>Textual representation of single denotation's declaration</p> + + </div> + <div class="member-body-long" id ="long-body-dclText(sd)"> + <p>Textual representation of single denotation's declaration</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="dclsText(syms,sep)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dclsText(syms,sep)');">[+]</span> <span class="member-annotations"> </span> @@ -5660,14 +5796,33 @@ If new level <code>prec</code> is lower than previous level, put text in parenth </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of all symbols in given list, + <div class="member-body-short" id="short-body-dclsText(syms,sep)"> + <p>Textual representation of all symbols in given list, +using <code>dclText</code> for displaying each.</p> + + </div> + <div class="member-body-long" id ="long-body-dclsText(syms,sep)"> + <p>Textual representation of all symbols in given list, using <code>dclText</code> for displaying each.</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="dclsText$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dclsText$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5693,14 +5848,33 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of all symbols in given list, + <div class="member-body-short" id="short-body-dclsText$default$2"> + <p>Textual representation of all symbols in given list, +using <code>dclText</code> for displaying each.</p> + + </div> + <div class="member-body-long" id ="long-body-dclsText$default$2"> + <p>Textual representation of all symbols in given list, using <code>dclText</code> for displaying each.</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="extendedLocationText(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'extendedLocationText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5739,13 +5913,31 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A description of sym's location</p> + <div class="member-body-short" id="short-body-extendedLocationText(sym)"> + <p>A description of sym's location</p> + </div> + <div class="member-body-long" id ="long-body-extendedLocationText(sym)"> + <p>A description of sym's location</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="fullNameString(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fullNameString(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5784,13 +5976,31 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The fully qualified name of the symbol</p> + <div class="member-body-short" id="short-body-fullNameString(sym)"> + <p>The fully qualified name of the symbol</p> + </div> + <div class="member-body-long" id ="long-body-fullNameString(sym)"> + <p>The fully qualified name of the symbol</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="kindString(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'kindString(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5829,13 +6039,31 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The kind of the symbol</p> + <div class="member-body-short" id="short-body-kindString(sym)"> + <p>The kind of the symbol</p> + </div> + <div class="member-body-long" id ="long-body-kindString(sym)"> + <p>The kind of the symbol</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="locatedText(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'locatedText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5874,13 +6102,31 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of symbol and its location</p> + <div class="member-body-short" id="short-body-locatedText(sym)"> + <p>Textual representation of symbol and its location</p> + + </div> + <div class="member-body-long" id ="long-body-locatedText(sym)"> + <p>Textual representation of symbol and its location</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="locationText(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'locationText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -5919,13 +6165,31 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If symbol's owner is a printable class C, the text "in C", otherwise ""</p> + <div class="member-body-short" id="short-body-locationText(sym)"> + <p>If symbol's owner is a printable class C, the text "in C", otherwise ""</p> + + </div> + <div class="member-body-long" id ="long-body-locationText(sym)"> + <p>If symbol's owner is a printable class C, the text "in C", otherwise ""</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="nameString(name)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -5964,14 +6228,33 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The name, possibley with with namespace suffix if debugNames is set: + <div class="member-body-short" id="short-body-nameString(name)"> + <p>The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names</p> + + </div> + <div class="member-body-long" id ="long-body-nameString(name)"> + <p>The name, possibley with with namespace suffix if debugNames is set: /L for local names, /V for other term names, /T for type names</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="nameString(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -6010,17 +6293,39 @@ using <code>dclText</code> for displaying each.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The name of the given symbol. + <div class="member-body-short" id="short-body-nameString(sym)"> + <p>The name of the given symbol. If !settings.debug, the original name where expansions of operators are translated back to operator symbol. E.g. $eq => =. I...</p> + </div> + <div class="member-body-long" id ="long-body-nameString(sym)"> + <p>The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +If settings.uniqid, adds id.</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="plain" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'plain');">[+]</span> <span class="member-annotations"> </span> @@ -6046,13 +6351,31 @@ I...</p> </div><!-- end member-title --> <div class="member-body"> - <p>A plain printer without any embellishments</p> + <div class="member-body-short" id="short-body-plain"> + <p>A plain printer without any embellishments</p> + </div> + <div class="member-body-long" id ="long-body-plain"> + <p>A plain printer without any embellishments</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="summarized(depth)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'summarized(depth)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -6102,14 +6425,33 @@ I...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Perform string or text-producing operation <code>op</code> so that only a + <div class="member-body-short" id="short-body-summarized(depth)(op)"> + <p>Perform string or text-producing operation <code>op</code> so that only a summarized text with given recursion depth is shown</p> + </div> + <div class="member-body-long" id ="long-body-summarized(depth)(op)"> + <p>Perform string or text-producing operation <code>op</code> so that only a +summarized text with given recursion depth is shown</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="toText(name)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(name)');">[+]</span> <span class="member-annotations"> </span> @@ -6148,13 +6490,31 @@ summarized text with given recursion depth is shown</p> </div><!-- end member-title --> <div class="member-body"> - <p>The name as a text</p> + <div class="member-body-short" id="short-body-toText(name)"> + <p>The name as a text</p> + + </div> + <div class="member-body-long" id ="long-body-toText(name)"> + <p>The name as a text</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="toText(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -6193,14 +6553,33 @@ summarized text with given recursion depth is shown</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". + <div class="member-body-short" id="short-body-toText(sym)"> + <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> + </div> + <div class="member-body-long" id ="long-body-toText(sym)"> + <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</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="toText(denot)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span> <span class="member-annotations"> </span> @@ -6239,13 +6618,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of denotation</p> + <div class="member-body-short" id="short-body-toText(denot)"> + <p>Textual representation of denotation</p> + </div> + <div class="member-body-long" id ="long-body-toText(denot)"> + <p>Textual representation of denotation</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="toText(const)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span> <span class="member-annotations"> </span> @@ -6284,13 +6681,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of constant</p> + <div class="member-body-short" id="short-body-toText(const)"> + <p>Textual representation of constant</p> + </div> + <div class="member-body-long" id ="long-body-toText(const)"> + <p>Textual representation of constant</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="toText(annot)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(annot)');">[+]</span> <span class="member-annotations"> </span> @@ -6329,13 +6744,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of annotation</p> + <div class="member-body-short" id="short-body-toText(annot)"> + <p>Textual representation of annotation</p> + </div> + <div class="member-body-long" id ="long-body-toText(annot)"> + <p>Textual representation of annotation</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="toText(tp)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span> <span class="member-annotations"> </span> @@ -6374,13 +6807,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of type</p> + <div class="member-body-short" id="short-body-toText(tp)"> + <p>Textual representation of type</p> + </div> + <div class="member-body-long" id ="long-body-toText(tp)"> + <p>Textual representation of type</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="toText(sc)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span> <span class="member-annotations"> </span> @@ -6419,13 +6870,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> + <div class="member-body-short" id="short-body-toText(sc)"> + <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> + </div> + <div class="member-body-long" id ="long-body-toText(sc)"> + <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</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="toText(tree)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span> <span class="member-annotations"> </span> @@ -6467,9 +6936,26 @@ T </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of tree</p> + <div class="member-body-short" id="short-body-toText(tree)"> + <p>Textual representation of tree</p> + </div> + <div class="member-body-long" id ="long-body-toText(tree)"> + <p>Textual representation of tree</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> |