Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 259 insertions, 16 deletions

diff --git a/api/dotty/tools/dotc/core/Contexts$/ContextBase.html b/api/dotty/tools/dotc/core/Contexts$/ContextBase.html
index 5defb02b4..037c307ad 100644
--- a/api/dotty/tools/dotc/core/Contexts$/ContextBase.html
+++ b/api/dotty/tools/dotc/core/Contexts$/ContextBase.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,27 @@
         <span id="entity-name">
             ContextBase
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">ContextState</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">DenotationsBase</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">PhasesBase</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5340,12 +5364,35 @@ compiler run.</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">ContextBase</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="_platform" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_platform');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5366,18 +5413,36 @@ compiler run.</p>
                 
 
                 
-                <span class="no-left">: Platform</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Platform.html">Platform</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The platform, initialized by <code>initPlatform()</code>.</p>
+                <div class="member-body-short" id="short-body-_platform">
+                    <p>The platform, initialized by <code>initPlatform()</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_platform">
+                    <p>The platform, initialized by <code>initPlatform()</code>.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="definitions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'definitions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5403,13 +5468,31 @@ compiler run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The standard definitions</p>
+                <div class="member-body-short" id="short-body-definitions">
+                    <p>The standard definitions</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-definitions">
+                    <p>The standard definitions</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="initialCtx" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initialCtx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5435,13 +5518,31 @@ compiler run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The initial context</p>
+                <div class="member-body-short" id="short-body-initialCtx">
+                    <p>The initial context</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-initialCtx">
+                    <p>The initial 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="loaders" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'loaders');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5467,13 +5568,31 @@ compiler run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The symbol loaders</p>
+                <div class="member-body-short" id="short-body-loaders">
+                    <p>The symbol loaders</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-loaders">
+                    <p>The symbol loaders</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="settings" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'settings');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5494,18 +5613,36 @@ compiler run.</p>
                 
 
                 
-                <span class="no-left">: ScalaSettings</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/ScalaSettings.html">ScalaSettings</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The applicable settings</p>
+                <div class="member-body-short" id="short-body-settings">
+                    <p>The applicable settings</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-settings">
+                    <p>The applicable settings</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="_platform_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_platform_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5544,13 +5681,31 @@ compiler run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The platform, initialized by <code>initPlatform()</code>.</p>
+                <div class="member-body-short" id="short-body-_platform_=(x$1)">
+                    <p>The platform, initialized by <code>initPlatform()</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_platform_=(x$1)">
+                    <p>The platform, initialized by <code>initPlatform()</code>.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="initialize()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initialize()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5596,14 +5751,33 @@ compiler run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Initializes the <code>ContextBase</code> with a starting context.
+                <div class="member-body-short" id="short-body-initialize()(ctx)">
+                    <p>Initializes the <code>ContextBase</code> with a starting context.
 This initializes the <code>platform</code> and the <code>definitions</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-initialize()(ctx)">
+                    <p>Initializes the <code>ContextBase</code> with a starting context.
+This initializes the <code>platform</code> and the <code>definitions</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="newPlatform(ctx)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newPlatform(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5639,17 +5813,34 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
                 
 
                 
-                <span class="no-left">: Platform</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Platform.html">Platform</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-newPlatform(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-newPlatform(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="platform" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'platform');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5670,18 +5861,36 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
                 
 
                 
-                <span class="no-left">: Platform</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Platform.html">Platform</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The platform</p>
+                <div class="member-body-short" id="short-body-platform">
+                    <p>The platform</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-platform">
+                    <p>The platform</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="rootLoader(root)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'rootLoader(root)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5733,13 +5942,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The loader that loads the members of <em>root</em></p>
+                <div class="member-body-short" id="short-body-rootLoader(root)(ctx)">
+                    <p>The loader that loads the members of <em>root</em></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-rootLoader(root)(ctx)">
+                    <p>The loader that loads the members of <em>root</em></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="squashed(p)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'squashed(p)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5778,8 +6005,24 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-squashed(p)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-squashed(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>