diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
commit | 881c3b182fda1036d5a507d08ff85f7709d70703 (patch) | |
tree | c0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/Phases$ | |
parent | b45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff) | |
download | dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2 dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip |
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/dotc/core/Phases$')
9 files changed, 2112 insertions, 115 deletions
diff --git a/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html b/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html index 20cc18384..1538f8555 100644 --- a/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html +++ b/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.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"> NeedsCompanions </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="isCompanionNeeded(cls)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCompanionNeeded(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5391,8 +5407,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isCompanionNeeded(cls)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-isCompanionNeeded(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> diff --git a/api/dotty/tools/dotc/core/Phases$/Phase.html b/api/dotty/tools/dotc/core/Phases$/Phase.html index e3e7bfd5a..23a25e8f7 100644 --- a/api/dotty/tools/dotc/core/Phases$/Phase.html +++ b/api/dotty/tools/dotc/core/Phases$/Phase.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,38 @@ <span id="entity-name"> Phase </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">DotClass</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="myBase" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myBase');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5390,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myBase"> + + </div> + <div class="member-body-long" id ="long-body-myBase"> + + </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="myErasedTypes" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myErasedTypes');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5438,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myErasedTypes"> + + </div> + <div class="member-body-long" id ="long-body-myErasedTypes"> + + </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="myFlatClasses" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myFlatClasses');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5486,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myFlatClasses"> + + </div> + <div class="member-body-long" id ="long-body-myFlatClasses"> + + </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="myLabelsReordered" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myLabelsReordered');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5534,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myLabelsReordered"> + + </div> + <div class="member-body-long" id ="long-body-myLabelsReordered"> + + </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="myPeriod" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myPeriod');">[+]</span> <span class="member-annotations"> </span> @@ -5489,12 +5582,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myPeriod"> + + </div> + <div class="member-body-long" id ="long-body-myPeriod"> + + </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="myRefChecked" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myRefChecked');">[+]</span> <span class="member-annotations"> </span> @@ -5520,12 +5630,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myRefChecked"> + + </div> + <div class="member-body-long" id ="long-body-myRefChecked"> + + </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="mySymbolicRefs" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'mySymbolicRefs');">[+]</span> <span class="member-annotations"> </span> @@ -5551,12 +5678,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-mySymbolicRefs"> + + </div> + <div class="member-body-long" id ="long-body-mySymbolicRefs"> + + </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="<=(that)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '<=(that)');">[+]</span> <span class="member-annotations"> </span> @@ -5595,12 +5739,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-<=(that)"> + + </div> + <div class="member-body-long" id ="long-body-<=(that)"> + + </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="checkPostCondition(tree)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'checkPostCondition(tree)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5652,13 +5813,31 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Check what the phase achieves, to be called at any point after it is finished.</p> + <div class="member-body-short" id="short-body-checkPostCondition(tree)(ctx)"> + <p>Check what the phase achieves, to be called at any point after it is finished.</p> + </div> + <div class="member-body-long" id ="long-body-checkPostCondition(tree)(ctx)"> + <p>Check what the phase achieves, to be called at any point after it is finished.</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="description" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'description');">[+]</span> <span class="member-annotations"> </span> @@ -5684,12 +5863,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-description"> + + </div> + <div class="member-body-long" id ="long-body-description"> + + </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="end" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span> <span class="member-annotations"> </span> @@ -5715,12 +5911,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end"> + + </div> + <div class="member-body-long" id ="long-body-end"> + + </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="erasedTypes" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'erasedTypes');">[+]</span> <span class="member-annotations"> </span> @@ -5746,12 +5959,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-erasedTypes"> + + </div> + <div class="member-body-long" id ="long-body-erasedTypes"> + + </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="exists" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span> <span class="member-annotations"> </span> @@ -5777,12 +6007,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-exists"> + + </div> + <div class="member-body-long" id ="long-body-exists"> + + </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="flatClasses" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flatClasses');">[+]</span> <span class="member-annotations"> </span> @@ -5808,12 +6055,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flatClasses"> + + </div> + <div class="member-body-long" id ="long-body-flatClasses"> + + </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="hasNext" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasNext');">[+]</span> <span class="member-annotations"> </span> @@ -5839,12 +6103,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-hasNext"> + + </div> + <div class="member-body-long" id ="long-body-hasNext"> + + </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="id" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'id');">[+]</span> <span class="member-annotations"> </span> @@ -5870,15 +6151,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>The sequence position of this phase in the given context where 0 + <div class="member-body-short" id="short-body-id"> + <p>The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is n...</p> + </div> + <div class="member-body-long" id ="long-body-id"> + <p>The sequence position of this phase in the given context where 0 +is reserved for NoPhase and the first real phase is at position 1. +-1 if the phase is not installed in the context.</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="init(base,start,end)" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'init(base,start,end)');">[+]</span> <span class="member-annotations"> </span> @@ -5933,12 +6234,29 @@ is reserved for NoPhase and the first real phase is at position 1. </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-init(base,start,end)"> + + </div> + <div class="member-body-long" id ="long-body-init(base,start,end)"> + + </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="init(base,id)" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'init(base,id)');">[+]</span> <span class="member-annotations"> </span> @@ -5985,12 +6303,29 @@ is reserved for NoPhase and the first real phase is at position 1. </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-init(base,id)"> + + </div> + <div class="member-body-long" id ="long-body-init(base,id)"> + + </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="isCheckable" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCheckable');">[+]</span> <span class="member-annotations"> </span> @@ -6016,13 +6351,31 @@ is reserved for NoPhase and the first real phase is at position 1. </div><!-- end member-title --> <div class="member-body"> - <p>Output should be checkable by TreeChecker</p> + <div class="member-body-short" id="short-body-isCheckable"> + <p>Output should be checkable by TreeChecker</p> + + </div> + <div class="member-body-long" id ="long-body-isCheckable"> + <p>Output should be checkable by TreeChecker</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="isTyper" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isTyper');">[+]</span> <span class="member-annotations"> </span> @@ -6048,16 +6401,37 @@ is reserved for NoPhase and the first real phase is at position 1. </div><!-- end member-title --> <div class="member-body"> - <p>Is this phase the standard typerphase? True for FrontEnd, but + <div class="member-body-short" id="short-body-isTyper"> + <p>Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty). The predicate is tested in some places tha... </p> + </div> + <div class="member-body-long" id ="long-body-isTyper"> + <p>Is this phase the standard typerphase? True for FrontEnd, but +not for other first phases (such as FromTasty). The predicate +is tested in some places that perform checks and corrections. It's +different from isAfterTyper (and cheaper to test).</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="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -6078,17 +6452,37 @@ is tested in some places tha... - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +Phase +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </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="labelsReordered" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'labelsReordered');">[+]</span> <span class="member-annotations"> </span> @@ -6114,12 +6508,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-labelsReordered"> + + </div> + <div class="member-body-long" id ="long-body-labelsReordered"> + + </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="myBase_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myBase_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6158,12 +6569,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myBase_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myBase_=(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="myErasedTypes_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myErasedTypes_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6202,12 +6630,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myErasedTypes_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myErasedTypes_=(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="myFlatClasses_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myFlatClasses_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6246,12 +6691,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myFlatClasses_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myFlatClasses_=(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="myLabelsReordered_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myLabelsReordered_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6290,12 +6752,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myLabelsReordered_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myLabelsReordered_=(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="myPeriod_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myPeriod_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6334,12 +6813,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myPeriod_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myPeriod_=(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="myRefChecked_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myRefChecked_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6378,12 +6874,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myRefChecked_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myRefChecked_=(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="mySymbolicRefs_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'mySymbolicRefs_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6422,12 +6935,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-mySymbolicRefs_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-mySymbolicRefs_=(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="next" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'next');">[+]</span> <span class="member-annotations"> </span> @@ -6453,12 +6983,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-next"> + + </div> + <div class="member-body-long" id ="long-body-next"> + + </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="period" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'period');">[+]</span> <span class="member-annotations"> </span> @@ -6484,12 +7031,29 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-period"> + + </div> + <div class="member-body-long" id ="long-body-period"> + + </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="phaseName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phaseName');">[+]</span> <span class="member-annotations"> </span> @@ -6515,14 +7079,35 @@ is tested in some places tha... </div><!-- end member-title --> <div class="member-body"> - <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For + <div class="member-body-short" id="short-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For +instance, it is possible to print trees after a given phase using:</p> + + </div> + <div class="member-body-long" id ="long-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:</p> +<pre><code class="language-bash">$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala +</code></pre> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="prev" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'prev');">[+]</span> <span class="member-annotations"> </span> @@ -6548,12 +7133,29 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-prev"> + + </div> + <div class="member-body-long" id ="long-body-prev"> + + </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="refChecked" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'refChecked');">[+]</span> <span class="member-annotations"> </span> @@ -6579,12 +7181,29 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-refChecked"> + + </div> + <div class="member-body-long" id ="long-body-refChecked"> + + </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="relaxedTyping" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'relaxedTyping');">[+]</span> <span class="member-annotations"> </span> @@ -6610,14 +7229,33 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - <p>If set, allow missing or superfluous arguments in applications + <div class="member-body-short" id="short-body-relaxedTyping"> + <p>If set, allow missing or superfluous arguments in applications +and type applications.</p> + + </div> + <div class="member-body-long" id ="long-body-relaxedTyping"> + <p>If set, allow missing or superfluous arguments in applications and type applications.</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="run(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'run(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6658,12 +7296,29 @@ and type applications.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-run(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-run(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="runOn(units)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'runOn(units)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6713,17 +7368,37 @@ and type applications.</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/CompilationUnit.html">CompilationUnit</a> +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-runOn(units)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-runOn(units)(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="runsAfter" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'runsAfter');">[+]</span> <span class="member-annotations"> </span> @@ -6744,18 +7419,42 @@ and type applications.</p> - <span class="no-left">: Set</span> + <span class="no-left">: Set +<span class="no-left no-right">[</span> +Class +<span class="no-left no-right">[</span> +Nothing<span class="bounds"> <: </span>Phase +<span class="no-left">]</span> +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>List of names of phases that should precede this phase</p> + <div class="member-body-short" id="short-body-runsAfter"> + <p>List of names of phases that should precede this phase</p> + + </div> + <div class="member-body-long" id ="long-body-runsAfter"> + <p>List of names of phases that should precede this phase</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="start" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span> <span class="member-annotations"> </span> @@ -6781,12 +7480,29 @@ and type applications.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start"> + + </div> + <div class="member-body-long" id ="long-body-start"> + + </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="symbolicRefs" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'symbolicRefs');">[+]</span> <span class="member-annotations"> </span> @@ -6812,12 +7528,29 @@ and type applications.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-symbolicRefs"> + + </div> + <div class="member-body-long" id ="long-body-symbolicRefs"> + + </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="toString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span> <span class="member-annotations"> </span> @@ -6843,8 +7576,24 @@ and type applications.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-toString"> + + </div> + <div class="member-body-long" id ="long-body-toString"> + + </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/Phases$/PhasesBase.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase.html index 59f6e16d9..e1d6cc648 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase.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"> PhasesBase </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="NoPhase$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NoPhase$');">[+]</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-NoPhase$"> + + </div> + <div class="member-body-long" id ="long-body-NoPhase$"> + + </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="PhaseCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PhaseCache');">[+]</span> <span class="member-annotations"> </span> @@ -5392,15 +5425,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>A cache to compute the phase with given name, which + <div class="member-body-short" id="short-body-PhaseCache"> + <p>A cache to compute the phase with given name, which stores the phase as soon as phaseNamed returns something different from NoPhase.</p> + </div> + <div class="member-body-long" id ="long-body-PhaseCache"> + <p>A cache to compute the phase with given name, which +stores the phase as soon as phaseNamed returns something +different from NoPhase.</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="SomePhase$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SomePhase$');">[+]</span> <span class="member-annotations"> </span> @@ -5424,12 +5477,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SomePhase$"> + + </div> + <div class="member-body-long" id ="long-body-SomePhase$"> + + </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="TerminalPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TerminalPhase');">[+]</span> <span class="member-annotations"> </span> @@ -5453,13 +5523,31 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A sentinel transformer object</p> + <div class="member-body-short" id="short-body-TerminalPhase"> + <p>A sentinel transformer object</p> + + </div> + <div class="member-body-long" id ="long-body-TerminalPhase"> + <p>A sentinel transformer object</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="cachedPhases" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'cachedPhases');">[+]</span> <span class="member-annotations"> </span> @@ -5480,17 +5568,37 @@ different from NoPhase.</p> - <span class="no-left">: Set</span> + <span class="no-left">: Set +<span class="no-left no-right">[</span> +PhaseCache +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-cachedPhases"> + + </div> + <div class="member-body-long" id ="long-body-cachedPhases"> + + </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="elimErasedValueTypeCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elimErasedValueTypeCache');">[+]</span> <span class="member-annotations"> </span> @@ -5516,12 +5624,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elimErasedValueTypeCache"> + + </div> + <div class="member-body-long" id ="long-body-elimErasedValueTypeCache"> + + </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="elimRepeatedCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elimRepeatedCache');">[+]</span> <span class="member-annotations"> </span> @@ -5547,12 +5672,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elimRepeatedCache"> + + </div> + <div class="member-body-long" id ="long-body-elimRepeatedCache"> + + </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="erasureCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'erasureCache');">[+]</span> <span class="member-annotations"> </span> @@ -5578,12 +5720,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-erasureCache"> + + </div> + <div class="member-body-long" id ="long-body-erasureCache"> + + </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="explicitOuterCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'explicitOuterCache');">[+]</span> <span class="member-annotations"> </span> @@ -5609,12 +5768,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-explicitOuterCache"> + + </div> + <div class="member-body-long" id ="long-body-explicitOuterCache"> + + </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="extensionMethodsCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'extensionMethodsCache');">[+]</span> <span class="member-annotations"> </span> @@ -5640,12 +5816,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-extensionMethodsCache"> + + </div> + <div class="member-body-long" id ="long-body-extensionMethodsCache"> + + </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="flattenCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flattenCache');">[+]</span> <span class="member-annotations"> </span> @@ -5671,12 +5864,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flattenCache"> + + </div> + <div class="member-body-long" id ="long-body-flattenCache"> + + </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="genBCodeCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'genBCodeCache');">[+]</span> <span class="member-annotations"> </span> @@ -5702,12 +5912,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-genBCodeCache"> + + </div> + <div class="member-body-long" id ="long-body-genBCodeCache"> + + </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="gettersCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'gettersCache');">[+]</span> <span class="member-annotations"> </span> @@ -5733,12 +5960,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-gettersCache"> + + </div> + <div class="member-body-long" id ="long-body-gettersCache"> + + </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="lambdaLiftCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'lambdaLiftCache');">[+]</span> <span class="member-annotations"> </span> @@ -5764,12 +6008,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-lambdaLiftCache"> + + </div> + <div class="member-body-long" id ="long-body-lambdaLiftCache"> + + </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="patmatCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'patmatCache');">[+]</span> <span class="member-annotations"> </span> @@ -5795,12 +6056,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-patmatCache"> + + </div> + <div class="member-body-long" id ="long-body-patmatCache"> + + </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="picklerCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'picklerCache');">[+]</span> <span class="member-annotations"> </span> @@ -5826,12 +6104,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-picklerCache"> + + </div> + <div class="member-body-long" id ="long-body-picklerCache"> + + </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="refChecksCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'refChecksCache');">[+]</span> <span class="member-annotations"> </span> @@ -5857,12 +6152,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-refChecksCache"> + + </div> + <div class="member-body-long" id ="long-body-refChecksCache"> + + </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="typerCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typerCache');">[+]</span> <span class="member-annotations"> </span> @@ -5888,12 +6200,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-typerCache"> + + </div> + <div class="member-body-long" id ="long-body-typerCache"> + + </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="allPhases" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'allPhases');">[+]</span> <span class="member-annotations"> </span> @@ -5919,12 +6248,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-allPhases"> + + </div> + <div class="member-body-long" id ="long-body-allPhases"> + + </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="cleanPhaseCache" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'cleanPhaseCache');">[+]</span> <span class="member-annotations"> </span> @@ -5950,12 +6296,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-cleanPhaseCache"> + + </div> + <div class="member-body-long" id ="long-body-cleanPhaseCache"> + + </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="elimErasedValueTypePhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elimErasedValueTypePhase');">[+]</span> <span class="member-annotations"> </span> @@ -5981,12 +6344,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elimErasedValueTypePhase"> + + </div> + <div class="member-body-long" id ="long-body-elimErasedValueTypePhase"> + + </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="elimRepeatedPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elimRepeatedPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6012,12 +6392,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elimRepeatedPhase"> + + </div> + <div class="member-body-long" id ="long-body-elimRepeatedPhase"> + + </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="erasurePhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'erasurePhase');">[+]</span> <span class="member-annotations"> </span> @@ -6043,12 +6440,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-erasurePhase"> + + </div> + <div class="member-body-long" id ="long-body-erasurePhase"> + + </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="explicitOuterPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'explicitOuterPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6074,12 +6488,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-explicitOuterPhase"> + + </div> + <div class="member-body-long" id ="long-body-explicitOuterPhase"> + + </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="extensionMethodsPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'extensionMethodsPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6105,12 +6536,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-extensionMethodsPhase"> + + </div> + <div class="member-body-long" id ="long-body-extensionMethodsPhase"> + + </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="flattenPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flattenPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6136,12 +6584,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flattenPhase"> + + </div> + <div class="member-body-long" id ="long-body-flattenPhase"> + + </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="genBCodePhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'genBCodePhase');">[+]</span> <span class="member-annotations"> </span> @@ -6167,12 +6632,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-genBCodePhase"> + + </div> + <div class="member-body-long" id ="long-body-genBCodePhase"> + + </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="gettersPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'gettersPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6198,12 +6680,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-gettersPhase"> + + </div> + <div class="member-body-long" id ="long-body-gettersPhase"> + + </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="isAfterTyper(phase)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAfterTyper(phase)');">[+]</span> <span class="member-annotations"> </span> @@ -6242,12 +6741,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isAfterTyper(phase)"> + + </div> + <div class="member-body-long" id ="long-body-isAfterTyper(phase)"> + + </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="lambdaLiftPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'lambdaLiftPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6273,12 +6789,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-lambdaLiftPhase"> + + </div> + <div class="member-body-long" id ="long-body-lambdaLiftPhase"> + + </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="patmatPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'patmatPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6304,12 +6837,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-patmatPhase"> + + </div> + <div class="member-body-long" id ="long-body-patmatPhase"> + + </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="phaseOfClass(pclass)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phaseOfClass(pclass)');">[+]</span> <span class="member-annotations"> </span> @@ -6351,12 +6901,29 @@ Nothing<span class="bounds"> <: </span>Any </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-phaseOfClass(pclass)"> + + </div> + <div class="member-body-long" id ="long-body-phaseOfClass(pclass)"> + + </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="phasePlan" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phasePlan');">[+]</span> <span class="member-annotations"> </span> @@ -6377,17 +6944,40 @@ Nothing<span class="bounds"> <: </span>Any - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +List +<span class="no-left no-right">[</span> +Phase +<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-phasePlan"> + + </div> + <div class="member-body-long" id ="long-body-phasePlan"> + + </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="picklerPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'picklerPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6413,12 +7003,29 @@ Nothing<span class="bounds"> <: </span>Any </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-picklerPhase"> + + </div> + <div class="member-body-long" id ="long-body-picklerPhase"> + + </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="refchecksPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'refchecksPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6444,12 +7051,29 @@ Nothing<span class="bounds"> <: </span>Any </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-refchecksPhase"> + + </div> + <div class="member-body-long" id ="long-body-refchecksPhase"> + + </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="setPhasePlan(phasess)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'setPhasePlan(phasess)');">[+]</span> <span class="member-annotations"> </span> @@ -6494,12 +7118,29 @@ Phase </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-setPhasePlan(phasess)"> + + </div> + <div class="member-body-long" id ="long-body-setPhasePlan(phasess)"> + + </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="squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)');">[+]</span> <span class="member-annotations"> </span> @@ -6583,20 +7224,43 @@ String - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +Phase +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer + <div class="member-body-short" id="short-body-squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)"> + <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer Each TreeTransform gets own period, whereas a combined TreeTransformer gets...</p> + </div> + <div class="member-body-long" id ="long-body-squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)"> + <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer +Each TreeTransform gets own period, +whereas a combined TreeTransformer gets period equal to union of periods of it's TreeTransforms</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="typerPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typerPhase');">[+]</span> <span class="member-annotations"> </span> @@ -6622,12 +7286,29 @@ whereas a combined TreeTransformer gets...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-typerPhase"> + + </div> + <div class="member-body-long" id ="long-body-typerPhase"> + + </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="usePhases(phasess,squash)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'usePhases(phasess,squash)');">[+]</span> <span class="member-annotations"> </span> @@ -6677,15 +7358,35 @@ Phase </div><!-- end member-title --> <div class="member-body"> - <p>Use the following phases in the order they are given. + <div class="member-body-short" id="short-body-usePhases(phasess,squash)"> + <p>Use the following phases in the order they are given. The list should never contain NoPhase. if squashing is enabled, phases in same subgroup will be sq...</p> + </div> + <div class="member-body-long" id ="long-body-usePhases(phasess,squash)"> + <p>Use the following phases in the order they are given. +The list should never contain NoPhase. +if squashing is enabled, phases in same subgroup will be squashed to single phase.</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="usePhases$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'usePhases$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6711,11 +7412,30 @@ if squashing is enabled, phases in same subgroup will be sq...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Use the following phases in the order they are given. + <div class="member-body-short" id="short-body-usePhases$default$2"> + <p>Use the following phases in the order they are given. The list should never contain NoPhase. if squashing is enabled, phases in same subgroup will be sq...</p> + </div> + <div class="member-body-long" id ="long-body-usePhases$default$2"> + <p>Use the following phases in the order they are given. +The list should never contain NoPhase. +if squashing is enabled, phases in same subgroup will be squashed to single phase.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html index 50774c915..ce30b551e 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.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,43 @@ <span id="entity-name"> NoPhase </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">DotClass</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Phase</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="exists" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5395,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-exists"> + + </div> + <div class="member-body-long" id ="long-body-exists"> + + </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="phaseName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phaseName');">[+]</span> <span class="member-annotations"> </span> @@ -5396,14 +5443,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For + <div class="member-body-short" id="short-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:</p> + </div> + <div class="member-body-long" id ="long-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For +instance, it is possible to print trees after a given phase using:</p> +<pre><code class="language-bash">$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala +</code></pre> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="run(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'run(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5444,12 +5512,29 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-run(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-run(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="transform(ref)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'transform(ref)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5501,8 +5586,24 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-transform(ref)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-transform(ref)(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/Phases$/PhasesBase/PhaseCache.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html index aa1306e86..c71039bf2 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> private </span> @@ -5330,6 +5333,8 @@ <span id="entity-name"> PhaseCache </span> + + </div> @@ -5341,12 +5346,44 @@ different from NoPhase.</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">PhaseCache</span> + <span class="no-left">(</span> + + + <span class="no-left"> + pclass: + </span> + Class +<span class="no-left no-right">[</span> +Nothing<span class="bounds"> <: </span>Phase +<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="myPhase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myPhase');">[+]</span> <span class="member-annotations"> </span> @@ -5372,12 +5409,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myPhase"> + + </div> + <div class="member-body-long" id ="long-body-myPhase"> + + </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="pclass" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'pclass');">[+]</span> <span class="member-annotations"> </span> @@ -5398,17 +5452,37 @@ different from NoPhase.</p> - <span class="no-left">: Class</span> + <span class="no-left">: Class +<span class="no-left no-right">[</span> +Nothing<span class="bounds"> <: </span>Phase +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-pclass"> + + </div> + <div class="member-body-long" id ="long-body-pclass"> + + </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="myPhase_=(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'myPhase_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5447,12 +5521,29 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-myPhase_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-myPhase_=(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="phase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phase');">[+]</span> <span class="member-annotations"> </span> @@ -5478,8 +5569,24 @@ different from NoPhase.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-phase"> + + </div> + <div class="member-body-long" id ="long-body-phase"> + + </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/Phases$/PhasesBase/SomePhase$.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html index a216f7758..3fe2cce0b 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.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,43 @@ <span id="entity-name"> SomePhase </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">DotClass</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Phase</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="phaseName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phaseName');">[+]</span> <span class="member-annotations"> </span> @@ -5365,14 +5395,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For + <div class="member-body-short" id="short-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:</p> + </div> + <div class="member-body-long" id ="long-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For +instance, it is possible to print trees after a given phase using:</p> +<pre><code class="language-bash">$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala +</code></pre> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="run(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'run(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5413,8 +5464,24 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-run(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-run(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/Phases$/PhasesBase/TerminalPhase.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html index 31ddc3dd1..33914e275 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,22 @@ <span id="entity-name"> TerminalPhase </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">DotClass</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">DenotTransformer</span> + + </div> + </div> @@ -5339,12 +5358,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">TerminalPhase</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="lastPhaseId(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'lastPhaseId(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5385,13 +5427,31 @@ </div><!-- end member-title --> <div class="member-body"> - <p>The last phase during which the transformed denotations are valid</p> + <div class="member-body-short" id="short-body-lastPhaseId(ctx)"> + <p>The last phase during which the transformed denotations are valid</p> + </div> + <div class="member-body-long" id ="long-body-lastPhaseId(ctx)"> + <p>The last phase during which the transformed denotations are valid</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="phaseName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'phaseName');">[+]</span> <span class="member-annotations"> </span> @@ -5417,14 +5477,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For + <div class="member-body-short" id="short-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For +instance, it is possible to print trees after a given phase using:</p> + + </div> + <div class="member-body-long" id ="long-body-phaseName"> + <p>A name given to the <code>Phase</code> that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:</p> +<pre><code class="language-bash">$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala +</code></pre> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="run(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'run(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5465,12 +5546,29 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-run(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-run(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="transform(ref)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'transform(ref)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5522,9 +5620,26 @@ instance, it is possible to print trees after a given phase using:</p> </div><!-- end member-title --> <div class="member-body"> - <p>The transformation method</p> + <div class="member-body-short" id="short-body-transform(ref)(ctx)"> + <p>The transformation method</p> + + </div> + <div class="member-body-long" id ="long-body-transform(ref)(ctx)"> + <p>The transformation method</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html b/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html index 9b69fb4ad..65db361ae 100644 --- a/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html +++ b/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> private final </span> @@ -5330,6 +5333,8 @@ <span id="entity-name"> getClassDeco </span> + + </div> @@ -5341,7 +5346,17 @@ trick for standard getClass.</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/Phases$/getClassDeco.html b/api/dotty/tools/dotc/core/Phases$/getClassDeco.html index 1192a01b8..d6d801a9b 100644 --- a/api/dotty/tools/dotc/core/Phases$/getClassDeco.html +++ b/api/dotty/tools/dotc/core/Phases$/getClassDeco.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> private final </span> @@ -5330,6 +5333,29 @@ <span id="entity-name"> getClassDeco </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + T + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">AnyVal</span> + + </div> + </div> @@ -5341,12 +5367,41 @@ trick for standard getClass.</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">getClassDeco</span> + <span class="no-left">(</span> + + + <span class="no-left"> + x: + </span> + T + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="x" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'x');">[+]</span> <span class="member-annotations"> </span> @@ -5372,12 +5427,29 @@ trick for standard getClass.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-x"> + + </div> + <div class="member-body-long" id ="long-body-x"> + + </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="getClazz" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'getClazz');">[+]</span> <span class="member-annotations"> </span> @@ -5398,13 +5470,32 @@ trick for standard getClass.</p> - <span class="no-left">: Class</span> + <span class="no-left">: Class +<span class="no-left no-right">[</span> +Nothing<span class="bounds"> <: </span>T +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-getClazz"> + + </div> + <div class="member-body-long" id ="long-body-getClazz"> + + </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> |