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/Symbols$/ClassSymbol.html | |
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/Symbols$/ClassSymbol.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html | 5216 |
1 files changed, 4955 insertions, 261 deletions
diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index 4b71fe145..d17459b2b 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.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,138 @@ <span id="entity-name"> ClassSymbol </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Symbol</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ClassSymbol</span> + <span class="no-left">(</span> + + + <span class="no-left"> + coord: + </span> + Coord + + <span class="no-left">, </span> + + + <span class=""> + assocFile: + </span> + AbstractFile + + <span class="no-left">, </span> + + + <span class=""> + id: + </span> + Int + + + <span class="no-left">)</span> + </div> + </div> + + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ClassSymbol</span> + <span class="no-left">(</span> + + + <span class="no-left"> + symbol: + </span> + Symbol + + <span class="no-left">, </span> + + + <span class=""> + ownerIfExists: + </span> + Symbol + + <span class="no-left">, </span> + + + <span class=""> + name: + </span> + Name + + <span class="no-left">, </span> + + + <span class=""> + initFlags: + </span> + FlagSet + + <span class="no-left">, </span> + + + <span class=""> + initInfo: + </span> + Type + + <span class="no-left">, </span> + + + <span class=""> + initPrivateWithin: + </span> + Symbol + + <span class="no-left">, </span> + + + <span class=""> + initRunId: + </span> + RunId + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="ThisName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ThisName');">[+]</span> <span class="member-annotations"> </span> @@ -5368,12 +5493,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ThisName"> + + </div> + <div class="member-body-long" id ="long-body-ThisName"> + + </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="assocFile" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'assocFile');">[+]</span> <span class="member-annotations"> </span> @@ -5399,12 +5541,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-assocFile"> + + </div> + <div class="member-body-long" id ="long-body-assocFile"> + + </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="coord" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coord');">[+]</span> <span class="member-annotations"> </span> @@ -5430,12 +5589,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-coord"> + + </div> + <div class="member-body-long" id ="long-body-coord"> + + </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 private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'id');">[+]</span> <span class="member-annotations"> </span> @@ -5461,12 +5637,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-id"> + + </div> + <div class="member-body-long" id ="long-body-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="nextInRun" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nextInRun');">[+]</span> <span class="member-annotations"> </span> @@ -5492,16 +5685,37 @@ </div><!-- end member-title --> <div class="member-body"> - <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> + <div class="member-body-short" id="short-body-nextInRun"> + <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> <p>There may be several <code>SingleDenotation</code>s with different validity representing... </p> + </div> + <div class="member-body-long" id ="long-body-nextInRun"> + <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> +<p>There may be several <code>SingleDenotation</code>s with different validity +representing the same underlying definition at different phases. +These are called a "flock". Flock members are generated by</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="superIdHint" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'superIdHint');">[+]</span> <span class="member-annotations"> </span> @@ -5527,12 +5741,29 @@ representing... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-superIdHint"> + + </div> + <div class="member-body-long" id ="long-body-superIdHint"> + + </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,pre,safeIntersection)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '&(that,pre,safeIntersection)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5600,7 +5831,8 @@ representing... </div><!-- end member-title --> <div class="member-body"> - <p>Form a denotation by conjoining with denotation <code>that</code>.</p> + <div class="member-body-short" id="short-body-&(that,pre,safeIntersection)(ctx)"> + <p>Form a denotation by conjoining with denotation <code>that</code>.</p> <p>NoDenotations are dropped. MultiDenotations are handled by merging parts with same signatures. Sin... </p> @@ -5614,11 +5846,49 @@ parts with same signatures. Sin... </p> <p></p> + </div> + <div class="member-body-long" id ="long-body-&(that,pre,safeIntersection)(ctx)"> + <p>Form a denotation by conjoining with denotation <code>that</code>.</p> +<p>NoDenotations are dropped. MultiDenotations are handled by merging +parts with same signatures. SingleDenotations with equal signatures +are joined as follows:</p> +<p>In a first step, consider only those denotations which have symbols +that are accessible from prefix <code>pre</code>.</p> +<p>If there are several such denotations, try to pick one by applying the following +three precedence rules in decreasing order of priority:</p> +<ol> +<li>Prefer denotations with more specific infos.</li> +<li>If infos are equally specific, prefer denotations with concrete symbols over denotations +with abstract symbols.</li> +<li>If infos are equally specific and symbols are equally concrete, +prefer denotations with symbols defined in subclasses +over denotations with symbols defined in proper superclasses.</li> +</ol> +<p>If there is exactly one (preferred) accessible denotation, return it.</p> +<p>If there is no preferred accessible denotation, return a JointRefDenotation +with one of the operand symbols (unspecified which one), and an info which +is the intersection (using <code>&</code> or <code>safe_&</code> if <code>safeIntersection</code> is true) +of the infos of the operand denotations.</p> +<p>If SingleDenotations with different signatures are joined, return NoDenotation.</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="accessBoundary(base)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'accessBoundary(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5670,16 +5940,37 @@ parts with same signatures. Sin... </div><!-- end member-title --> <div class="member-body"> - <p>The class or term symbol up to which this symbol is accessible, + <div class="member-body-short" id="short-body-accessBoundary(base)(ctx)"> + <p>The class or term symbol up to which this symbol is accessible, or RootClass if it is public. As java protected statics are otherwise completely inacce... </p> + </div> + <div class="member-body-long" id ="long-body-accessBoundary(base)(ctx)"> + <p>The class or term symbol up to which this symbol is accessible, +or RootClass if it is public. As java protected statics are +otherwise completely inaccessible in scala, they are treated +as public.</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="accessedFieldOrGetter(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'accessedFieldOrGetter(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5720,13 +6011,31 @@ otherwise completely inacce... </div><!-- end member-title --> <div class="member-body"> - <p>The field accessed by this getter or setter, or if it does not exist, the getter</p> + <div class="member-body-short" id="short-body-accessedFieldOrGetter(ctx)"> + <p>The field accessed by this getter or setter, or if it does not exist, the getter</p> + + </div> + <div class="member-body-long" id ="long-body-accessedFieldOrGetter(ctx)"> + <p>The field accessed by this getter or setter, or if it does not exist, the getter</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="accessibleFrom(pre,superAccess)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'accessibleFrom(pre,superAccess)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5786,14 +6095,33 @@ otherwise completely inacce... </div><!-- end member-title --> <div class="member-body"> - <p>The denotation made up from the alternatives of this denotation that + <div class="member-body-short" id="short-body-accessibleFrom(pre,superAccess)(ctx)"> + <p>The denotation made up from the alternatives of this denotation that are accessible from prefix <code>pre</code>, or NoDenotation if no accessible alternative exist...</p> + </div> + <div class="member-body-long" id ="long-body-accessibleFrom(pre,superAccess)(ctx)"> + <p>The denotation made up from the alternatives of this denotation that +are accessible from prefix <code>pre</code>, or NoDenotation if no accessible alternative exists.</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="addAnnotation(annot)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'addAnnotation(annot)');">[+]</span> <span class="member-annotations"> </span> @@ -5832,13 +6160,31 @@ are accessible from prefix <code>pre</code>, or NoDenotation if no accessible al </div><!-- end member-title --> <div class="member-body"> - <p>Add given annotation to the annotations of this denotation</p> + <div class="member-body-short" id="short-body-addAnnotation(annot)"> + <p>Add given annotation to the annotations of this denotation</p> + + </div> + <div class="member-body-long" id ="long-body-addAnnotation(annot)"> + <p>Add given annotation to the annotations of this denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="addAnnotations(annots)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'addAnnotations(annots)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5893,13 +6239,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>Add all given annotations to this symbol</p> + <div class="member-body-short" id="short-body-addAnnotations(annots)(ctx)"> + <p>Add all given annotations to this symbol</p> + </div> + <div class="member-body-long" id ="long-body-addAnnotations(annots)(ctx)"> + <p>Add all given annotations to this symbol</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="allOverriddenSymbols(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'allOverriddenSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5935,18 +6299,39 @@ Annotation - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +Symbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>All symbols overriden by this denotation.</p> + <div class="member-body-short" id="short-body-allOverriddenSymbols(ctx)"> + <p>All symbols overriden by this denotation.</p> + </div> + <div class="member-body-long" id ="long-body-allOverriddenSymbols(ctx)"> + <p>All symbols overriden by this denotation.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="alternatives" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'alternatives');">[+]</span> <span class="member-annotations"> </span> @@ -5967,18 +6352,39 @@ Annotation - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +SingleDenotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The set of alternative single-denotations making up this denotation</p> + <div class="member-body-short" id="short-body-alternatives"> + <p>The set of alternative single-denotations making up this denotation</p> + </div> + <div class="member-body-long" id ="long-body-alternatives"> + <p>The set of alternative single-denotations making up this denotation</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="altsWith(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'altsWith(p)');">[+]</span> <span class="member-annotations"> </span> @@ -6012,18 +6418,39 @@ Annotation - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +SingleDenotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The alternatives of this denotation that satisfy the predicate <code>p</code>.</p> + <div class="member-body-short" id="short-body-altsWith(p)"> + <p>The alternatives of this denotation that satisfy the predicate <code>p</code>.</p> + </div> + <div class="member-body-long" id ="long-body-altsWith(p)"> + <p>The alternatives of this denotation that satisfy the predicate <code>p</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="annotations(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'annotations(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6059,18 +6486,39 @@ Annotation - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +Annotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The annotations of this denotation</p> + <div class="member-body-short" id="short-body-annotations(ctx)"> + <p>The annotations of this denotation</p> + + </div> + <div class="member-body-long" id ="long-body-annotations(ctx)"> + <p>The annotations of this denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="annotations_=(annots)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'annotations_=(annots)');">[+]</span> <span class="member-annotations"> </span> @@ -6112,13 +6560,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>Update the annotations of this denotation</p> + <div class="member-body-short" id="short-body-annotations_=(annots)"> + <p>Update the annotations of this denotation</p> + </div> + <div class="member-body-long" id ="long-body-annotations_=(annots)"> + <p>Update the annotations of this denotation</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="asClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'asClass');">[+]</span> <span class="member-annotations"> </span> @@ -6144,13 +6610,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>Cast to class denotation</p> + <div class="member-body-short" id="short-body-asClass"> + <p>Cast to class denotation</p> + + </div> + <div class="member-body-long" id ="long-body-asClass"> + <p>Cast to class denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="asSeenFrom(pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'asSeenFrom(pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6202,13 +6686,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>The denotation with info(s) as seen from prefix type</p> + <div class="member-body-short" id="short-body-asSeenFrom(pre)(ctx)"> + <p>The denotation with info(s) as seen from prefix type</p> + </div> + <div class="member-body-long" id ="long-body-asSeenFrom(pre)(ctx)"> + <p>The denotation with info(s) as seen from prefix type</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="asSingleDenotation" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'asSingleDenotation');">[+]</span> <span class="member-annotations"> </span> @@ -6234,12 +6736,29 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-asSingleDenotation"> + + </div> + <div class="member-body-long" id ="long-body-asSingleDenotation"> + + </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="asSymDenotation" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'asSymDenotation');">[+]</span> <span class="member-annotations"> </span> @@ -6265,12 +6784,29 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-asSymDenotation"> + + </div> + <div class="member-body-long" id ="long-body-asSymDenotation"> + + </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="assertNoSkolems(tp)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'assertNoSkolems(tp)');">[+]</span> <span class="member-annotations"> </span> @@ -6309,12 +6845,29 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-assertNoSkolems(tp)"> + + </div> + <div class="member-body-long" id ="long-body-assertNoSkolems(tp)"> + + </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="associatedFile(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'associatedFile(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6355,13 +6908,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>The source or class file from which this class was generated, null if not applicable.</p> + <div class="member-body-short" id="short-body-associatedFile(ctx)"> + <p>The source or class file from which this class was generated, null if not applicable.</p> + </div> + <div class="member-body-long" id ="long-body-associatedFile(ctx)"> + <p>The source or class file from which this class was generated, null if not applicable.</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="atSignature(sig,site,relaxed)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'atSignature(sig,site,relaxed)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6429,14 +7000,33 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>Resolve overloaded denotation to pick the ones with the given signature + <div class="member-body-short" id="short-body-atSignature(sig,site,relaxed)(ctx)"> + <p>Resolve overloaded denotation to pick the ones with the given signature +when seen from prefix <code>site</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-atSignature(sig,site,relaxed)(ctx)"> + <p>Resolve overloaded denotation to pick the ones with the given signature when seen from prefix <code>site</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="baseClasses(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'baseClasses(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6472,19 +7062,41 @@ when seen from prefix <code>site</code>.</p> - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +ClassSymbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The base classes of this class in linearization order, + <div class="member-body-short" id="short-body-baseClasses(ctx)"> + <p>The base classes of this class in linearization order, with the class itself as first element.</p> + </div> + <div class="member-body-long" id ="long-body-baseClasses(ctx)"> + <p>The base classes of this class in linearization order, +with the class itself as first element.</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="baseTypeRefOf(tp)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'baseTypeRefOf(tp)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6536,13 +7148,31 @@ with the class itself as first element.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Compute tp.baseTypeRef(this)</p> + <div class="member-body-short" id="short-body-baseTypeRefOf(tp)(ctx)"> + <p>Compute tp.baseTypeRef(this)</p> + </div> + <div class="member-body-long" id ="long-body-baseTypeRefOf(tp)(ctx)"> + <p>Compute tp.baseTypeRef(this)</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="canMatchInheritedSymbols(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'canMatchInheritedSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6583,14 +7213,33 @@ with the class itself as first element.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If false, this symbol cannot possibly participate in an override, + <div class="member-body-short" id="short-body-canMatchInheritedSymbols(ctx)"> + <p>If false, this symbol cannot possibly participate in an override, +either as overrider or overridee.</p> + + </div> + <div class="member-body-long" id ="long-body-canMatchInheritedSymbols(ctx)"> + <p>If false, this symbol cannot possibly participate in an override, either as overrider or overridee.</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="checkUnique(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'checkUnique(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6631,13 +7280,31 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If this is a SingleDenotation, return it, otherwise throw a TypeError</p> + <div class="member-body-short" id="short-body-checkUnique(ctx)"> + <p>If this is a SingleDenotation, return it, otherwise throw a TypeError</p> + + </div> + <div class="member-body-long" id ="long-body-checkUnique(ctx)"> + <p>If this is a SingleDenotation, return it, otherwise throw a TypeError</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="classDenot(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'classDenot(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6678,12 +7345,29 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-classDenot(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-classDenot(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="classInfo(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'classInfo(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6724,13 +7408,31 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The info asserted to have type ClassInfo</p> + <div class="member-body-short" id="short-body-classInfo(ctx)"> + <p>The info asserted to have type ClassInfo</p> + + </div> + <div class="member-body-long" id ="long-body-classInfo(ctx)"> + <p>The info asserted to have type ClassInfo</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="classParents(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'classParents(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6766,18 +7468,39 @@ either as overrider or overridee.</p> - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +TypeRef +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The denotations of all parents in this class.</p> + <div class="member-body-short" id="short-body-classParents(ctx)"> + <p>The denotations of all parents in this class.</p> + + </div> + <div class="member-body-long" id ="long-body-classParents(ctx)"> + <p>The denotations of all parents in this class.</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="classSymbol" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'classSymbol');">[+]</span> <span class="member-annotations"> </span> @@ -6803,13 +7526,31 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbol asserted to have type ClassSymbol</p> + <div class="member-body-short" id="short-body-classSymbol"> + <p>The symbol asserted to have type ClassSymbol</p> + </div> + <div class="member-body-long" id ="long-body-classSymbol"> + <p>The symbol asserted to have type ClassSymbol</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="clone()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'clone()');">[+]</span> <span class="member-annotations"> </span> @@ -6842,12 +7583,29 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-clone()"> + + </div> + <div class="member-body-long" id ="long-body-clone()"> + + </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="companionClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'companionClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6888,15 +7646,35 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The class with the same (type-) name as this module or module class, + <div class="member-body-short" id="short-body-companionClass(ctx)"> + <p>The class with the same (type-) name as this module or module class, and which is also defined in the same scope and compilation unit. NoSymbol if this...</p> + </div> + <div class="member-body-long" id ="long-body-companionClass(ctx)"> + <p>The class with the same (type-) name as this module or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol if this class does not exist.</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="companionModule(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'companionModule(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6937,15 +7715,35 @@ NoSymbol if this...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The module object with the same (term-) name as this class or module class, + <div class="member-body-short" id="short-body-companionModule(ctx)"> + <p>The module object with the same (term-) name as this class or module class, and which is also defined in the same scope and compilation unit. NoSymbol i...</p> + </div> + <div class="member-body-long" id ="long-body-companionModule(ctx)"> + <p>The module object with the same (term-) name as this class or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol if this module does not exist.</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="completer" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'completer');">[+]</span> <span class="member-annotations"> </span> @@ -6971,13 +7769,31 @@ NoSymbol i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The completer of this denotation. @pre: Denotation is not yet completed</p> + <div class="member-body-short" id="short-body-completer"> + <p>The completer of this denotation. @pre: Denotation is not yet completed</p> + </div> + <div class="member-body-long" id ="long-body-completer"> + <p>The completer of this denotation. @pre: Denotation is not yet completed</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="computeAsSeenFrom(pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'computeAsSeenFrom(pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7029,12 +7845,29 @@ NoSymbol i...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-computeAsSeenFrom(pre)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-computeAsSeenFrom(pre)(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="computeNPMembersNamed(name,inherited)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'computeNPMembersNamed(name,inherited)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7094,12 +7927,29 @@ NoSymbol i...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-computeNPMembersNamed(name,inherited)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-computeNPMembersNamed(name,inherited)(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="containsSym(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'containsSym(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -7138,13 +7988,31 @@ NoSymbol i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Group contains a denotation that refers to given symbol</p> + <div class="member-body-short" id="short-body-containsSym(sym)"> + <p>Group contains a denotation that refers to given symbol</p> + + </div> + <div class="member-body-long" id ="long-body-containsSym(sym)"> + <p>Group contains a denotation that refers to given symbol</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copySymDenotation(symbol,owner,name,initFlags,info,privateWithin,annotations)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copySymDenotation(symbol,owner,name,initFlags,info,privateWithin,annotations)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7247,13 +8115,31 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>Copy this denotation, overriding selective fields</p> + <div class="member-body-short" id="short-body-copySymDenotation(symbol,owner,name,initFlags,info,privateWithin,annotations)(ctx)"> + <p>Copy this denotation, overriding selective fields</p> + </div> + <div class="member-body-long" id ="long-body-copySymDenotation(symbol,owner,name,initFlags,info,privateWithin,annotations)(ctx)"> + <p>Copy this denotation, overriding selective fields</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="coveredInterval(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coveredInterval(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7294,14 +8180,33 @@ Annotation </div><!-- end member-title --> <div class="member-body"> - <p>The period (interval of phases) for which there exists + <div class="member-body-short" id="short-body-coveredInterval(ctx)"> + <p>The period (interval of phases) for which there exists +a valid denotation in this flock.</p> + + </div> + <div class="member-body-long" id ="long-body-coveredInterval(ctx)"> + <p>The period (interval of phases) for which there exists a valid denotation in this flock.</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="current(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'current(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7342,17 +8247,45 @@ a valid denotation in this flock.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Produce a denotation that is valid for the given context. + <div class="member-body-short" id="short-body-current(ctx)"> + <p>Produce a denotation that is valid for the given context. Usually called when !(validFor contains ctx.period) (even though this is not a precondition). I... </p> + </div> + <div class="member-body-long" id ="long-body-current(ctx)"> + <p>Produce a denotation that is valid for the given context. +Usually called when !(validFor contains ctx.period) +(even though this is not a precondition). +If the runId of the context is the same as runId of this denotation, +the right flock member is located, or, if it does not exist yet, +created by invoking a transformer (@See Transformers). +If the runId's differ, but this denotation is a SymDenotation +and its toplevel owner class or module +is still a member of its enclosing package, then the whole flock +is brought forward to be valid in the new runId. Otherwise +the symbol is stale, which constitutes an internal error.</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="currentPackageDecls(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'currentPackageDecls(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7393,16 +8326,37 @@ I... </div><!-- end member-title --> <div class="member-body"> - <p>If this is a package class, the symbols entered in it + <div class="member-body-short" id="short-body-currentPackageDecls(ctx)"> + <p>If this is a package class, the symbols entered in it before it is completed. (this is needed to eagerly enter synthetic aliases such as AnyRef into a p... </p> + </div> + <div class="member-body-long" id ="long-body-currentPackageDecls(ctx)"> + <p>If this is a package class, the symbols entered in it +before it is completed. (this is needed to eagerly enter synthetic +aliases such as AnyRef into a package class without forcing it. +Right now, the only usage is for the AnyRef alias in 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="debugString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'debugString');">[+]</span> <span class="member-annotations"> </span> @@ -7428,12 +8382,29 @@ aliases such as AnyRef into a p... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-debugString"> + + </div> + <div class="member-body-long" id ="long-body-debugString"> + + </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="definedPeriodsString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'definedPeriodsString');">[+]</span> <span class="member-annotations"> </span> @@ -7459,12 +8430,29 @@ aliases such as AnyRef into a p... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-definedPeriodsString"> + + </div> + <div class="member-body-long" id ="long-body-definedPeriodsString"> + + </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="delete(sym)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'delete(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7516,15 +8504,35 @@ aliases such as AnyRef into a p... </div><!-- end member-title --> <div class="member-body"> - <p>Delete symbol from current scope. + <div class="member-body-short" id="short-body-delete(sym)(ctx)"> + <p>Delete symbol from current scope. +Note: We require that this does not happen after the first time +someone does a findMember on a subclass.</p> + + </div> + <div class="member-body-long" id ="long-body-delete(sym)(ctx)"> + <p>Delete symbol from current scope. Note: We require that this does not happen after the first time someone does a findMember on a subclass.</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="derivedSingleDenotation(symbol,info)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'derivedSingleDenotation(symbol,info)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7584,12 +8592,29 @@ someone does a findMember on a subclass.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-derivedSingleDenotation(symbol,info)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-derivedSingleDenotation(symbol,info)(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="derivesFrom(base)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'derivesFrom(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7641,14 +8666,33 @@ someone does a findMember on a subclass.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this a subclass of <code>base</code>, + <div class="member-body-short" id="short-body-derivesFrom(base)(ctx)"> + <p>Is this a subclass of <code>base</code>, and is the denoting symbol also different from <code>Null</code> or <code>Nothing</code>?</p> + </div> + <div class="member-body-long" id ="long-body-derivesFrom(base)(ctx)"> + <p>Is this a subclass of <code>base</code>, +and is the denoting symbol also different from <code>Null</code> or <code>Nothing</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="disambiguate(p)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'disambiguate(p)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7700,16 +8744,38 @@ and is the denoting symbol also different from <code>Null</code> or <code>Nothin </div><!-- end member-title --> <div class="member-body"> - <p>If this denotation is overloaded, filter with given predicate. + <div class="member-body-short" id="short-body-disambiguate(p)(ctx)"> + <p>If this denotation is overloaded, filter with given predicate. If result is still overloaded throw a TypeError. Note: disambiguate is slightly different... </p> + </div> + <div class="member-body-long" id ="long-body-disambiguate(p)(ctx)"> + <p>If this denotation is overloaded, filter with given predicate. +If result is still overloaded throw a TypeError. +Note: disambiguate is slightly different from suchThat in that +single-denotations that do not satisfy the predicate are left alone +(whereas suchThat would map them to NoDenotation).</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="effectiveName(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'effectiveName(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7750,16 +8816,37 @@ Note: disambiguate is slightly different... </div><!-- end member-title --> <div class="member-body"> - <p>The name, except + <div class="member-body-short" id="short-body-effectiveName(ctx)"> + <p>The name, except - if this is a module class, strip the module class suffix - if this is a companion object with a clash-avoiding name, strip the "avoid...</p> + </div> + <div class="member-body-long" id ="long-body-effectiveName(ctx)"> + <p>The name, except +- if this is a module class, strip the module class suffix +- if this is a companion object with a clash-avoiding name, strip the +"avoid clash" suffix</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="effectiveOwner(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'effectiveOwner(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7800,13 +8887,31 @@ Note: disambiguate is slightly different... </div><!-- end member-title --> <div class="member-body"> - <p>The owner, skipping package objects, labels and non-lazy valdefs.</p> + <div class="member-body-short" id="short-body-effectiveOwner(ctx)"> + <p>The owner, skipping package objects, labels and non-lazy valdefs.</p> + + </div> + <div class="member-body-long" id ="long-body-effectiveOwner(ctx)"> + <p>The owner, skipping package objects, labels and non-lazy valdefs.</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="enclosingClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enclosingClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7847,7 +8952,8 @@ Note: disambiguate is slightly different... </div><!-- end member-title --> <div class="member-body"> - <p>The class containing this denotation. + <div class="member-body-short" id="short-body-enclosingClass(ctx)"> + <p>The class containing this denotation. If this denotation is already a class, return itself Definitions flagged with InSuperCall are treated specially. Th... @@ -7855,11 +8961,36 @@ Th... <p> </p> + </div> + <div class="member-body-long" id ="long-body-enclosingClass(ctx)"> + <p>The class containing this denotation. +If this denotation is already a class, return itself +Definitions flagged with InSuperCall are treated specially. +Their enclosing class is not the lexically enclosing class, +but in turn the enclosing class of the latter. This reflects +the context created by <code>Context#superCallContext</code>, <code>Context#thisCallArgContext</code> +for these definitions.</p> +<p>Note, that as packages have ClassSymbols, top level classes will have an <code>enclosingClass</code> +with Package flag set.</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="enclosingClassNamed(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enclosingClassNamed(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7911,13 +9042,31 @@ Th... </div><!-- end member-title --> <div class="member-body"> - <p>The class containing this denotation which has the given effective name.</p> + <div class="member-body-short" id="short-body-enclosingClassNamed(name)(ctx)"> + <p>The class containing this denotation which has the given effective name.</p> + </div> + <div class="member-body-long" id ="long-body-enclosingClassNamed(name)(ctx)"> + <p>The class containing this denotation which has the given effective name.</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="enclosingMethod(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enclosingMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7958,14 +9107,33 @@ Th... </div><!-- end member-title --> <div class="member-body"> - <p>The closest enclosing method containing this definition. + <div class="member-body-short" id="short-body-enclosingMethod(ctx)"> + <p>The closest enclosing method containing this definition. +A local dummy owner is mapped to the primary constructor of the class.</p> + + </div> + <div class="member-body-long" id ="long-body-enclosingMethod(ctx)"> + <p>The closest enclosing method containing this definition. A local dummy owner is mapped to the primary constructor of the class.</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="enclosingPackageClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enclosingPackageClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8006,13 +9174,31 @@ A local dummy owner is mapped to the primary constructor of the class.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The package class containing this denotation</p> + <div class="member-body-short" id="short-body-enclosingPackageClass(ctx)"> + <p>The package class containing this denotation</p> + + </div> + <div class="member-body-long" id ="long-body-enclosingPackageClass(ctx)"> + <p>The package class containing this denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="enclosingSubClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enclosingSubClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8053,14 +9239,33 @@ A local dummy owner is mapped to the primary constructor of the class.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The class that encloses the owner of the current context + <div class="member-body-short" id="short-body-enclosingSubClass(ctx)"> + <p>The class that encloses the owner of the current context +and that is a subclass of this class. NoSymbol if no such class exists.</p> + + </div> + <div class="member-body-long" id ="long-body-enclosingSubClass(ctx)"> + <p>The class that encloses the owner of the current context and that is a subclass of this class. NoSymbol if no such class exists.</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="ensureCompleted()(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ensureCompleted()(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8106,13 +9311,31 @@ and that is a subclass of this class. NoSymbol if no such class exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Make sure this denotation is completed</p> + <div class="member-body-short" id="short-body-ensureCompleted()(ctx)"> + <p>Make sure this denotation is completed</p> + </div> + <div class="member-body-long" id ="long-body-ensureCompleted()(ctx)"> + <p>Make sure this denotation is completed</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="ensureFreshScopeAfter(phase)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ensureFreshScopeAfter(phase)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8164,14 +9387,33 @@ and that is a subclass of this class. NoSymbol if no such class exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If this class has the same <code>decls</code> scope reference in <code>phase</code> and + <div class="member-body-short" id="short-body-ensureFreshScopeAfter(phase)(ctx)"> + <p>If this class has the same <code>decls</code> scope reference in <code>phase</code> and +<code>phase.next</code>, install a new denotation with a cloned scope in <code>phase.next</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-ensureFreshScopeAfter(phase)(ctx)"> + <p>If this class has the same <code>decls</code> scope reference in <code>phase</code> and <code>phase.next</code>, install a new denotation with a cloned scope in <code>phase.next</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="ensureNotPrivate(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ensureNotPrivate(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8212,13 +9454,31 @@ and that is a subclass of this class. NoSymbol if no such class exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If denotation is private, remove the Private flag and expand the name if necessary</p> + <div class="member-body-short" id="short-body-ensureNotPrivate(ctx)"> + <p>If denotation is private, remove the Private flag and expand the name if necessary</p> + + </div> + <div class="member-body-long" id ="long-body-ensureNotPrivate(ctx)"> + <p>If denotation is private, remove the Private flag and expand the name if necessary</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="ensureTypeParamsInCorrectOrder()(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ensureTypeParamsInCorrectOrder()(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8264,14 +9524,33 @@ and that is a subclass of this class. NoSymbol if no such class exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Make sure the type parameters of this class appear in the order given + <div class="member-body-short" id="short-body-ensureTypeParamsInCorrectOrder()(ctx)"> + <p>Make sure the type parameters of this class appear in the order given by <code>typeParams</code> in the scope of the class. Reorder definitions in scope if necessar...</p> + </div> + <div class="member-body-long" id ="long-body-ensureTypeParamsInCorrectOrder()(ctx)"> + <p>Make sure the type parameters of this class appear in the order given +by <code>typeParams</code> in the scope of the class. Reorder definitions in scope if necessary.</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="enter(sym,scope)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enter(sym,scope)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8331,15 +9610,35 @@ by <code>typeParams</code> in the scope of the class. Reorder definitions in sco </div><!-- end member-title --> <div class="member-body"> - <p>Enter a symbol in current scope, and future scopes of same denotation. + <div class="member-body-short" id="short-body-enter(sym,scope)(ctx)"> + <p>Enter a symbol in current scope, and future scopes of same denotation. Note: We require that this does not happen after the first time someone does a fi...</p> + </div> + <div class="member-body-long" id ="long-body-enter(sym,scope)(ctx)"> + <p>Enter a symbol in current scope, and future scopes of same denotation. +Note: We require that this does not happen after the first time +someone does a findMember on a subclass.</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="enterNoReplace(sym,scope)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'enterNoReplace(sym,scope)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8399,13 +9698,31 @@ someone does a fi...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Enter a symbol in given <code>scope</code> without potentially replacing the old copy.</p> + <div class="member-body-short" id="short-body-enterNoReplace(sym,scope)(ctx)"> + <p>Enter a symbol in given <code>scope</code> without potentially replacing the old copy.</p> + </div> + <div class="member-body-long" id ="long-body-enterNoReplace(sym,scope)(ctx)"> + <p>Enter a symbol in given <code>scope</code> without potentially replacing the old copy.</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="eq(x$0)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'eq(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -8444,12 +9761,29 @@ someone does a fi...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-eq(x$0)"> + + </div> + <div class="member-body-long" id ="long-body-eq(x$0)"> + + </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> @@ -8475,13 +9809,31 @@ someone does a fi...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation different from NoDenotation or an ErrorDenotation?</p> + <div class="member-body-short" id="short-body-exists"> + <p>Is this denotation different from NoDenotation or an ErrorDenotation?</p> + </div> + <div class="member-body-long" id ="long-body-exists"> + <p>Is this denotation different from NoDenotation or an ErrorDenotation?</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="expandedName(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'expandedName(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8522,13 +9874,31 @@ someone does a fi...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The expanded name of this denotation.</p> + <div class="member-body-short" id="short-body-expandedName(ctx)"> + <p>The expanded name of this denotation.</p> + + </div> + <div class="member-body-long" id ="long-body-expandedName(ctx)"> + <p>The expanded name of this denotation.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="extendedOverriddenSymbols(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'extendedOverriddenSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8564,18 +9934,39 @@ someone does a fi...</p> - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +Symbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>Returns all matching symbols defined in parents of the selftype.</p> + <div class="member-body-short" id="short-body-extendedOverriddenSymbols(ctx)"> + <p>Returns all matching symbols defined in parents of the selftype.</p> + + </div> + <div class="member-body-long" id ="long-body-extendedOverriddenSymbols(ctx)"> + <p>Returns all matching symbols defined in parents of the selftype.</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="fallbackToText(printer)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fallbackToText(printer)');">[+]</span> <span class="member-annotations"> </span> @@ -8614,14 +10005,33 @@ someone does a fi...</p> </div><!-- end member-title --> <div class="member-body"> - <p>A fallback text representation, if the pattern matching + <div class="member-body-short" id="short-body-fallbackToText(printer)"> + <p>A fallback text representation, if the pattern matching +in Printers does not have a case for this showable element</p> + + </div> + <div class="member-body-long" id ="long-body-fallbackToText(printer)"> + <p>A fallback text representation, if the pattern matching in Printers does not have a case for this showable element</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="filterAnnotations(p)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filterAnnotations(p)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8673,13 +10083,31 @@ in Printers does not have a case for this showable element</p> </div><!-- end member-title --> <div class="member-body"> - <p>Keep only those annotations that satisfy <code>p</code></p> + <div class="member-body-short" id="short-body-filterAnnotations(p)(ctx)"> + <p>Keep only those annotations that satisfy <code>p</code></p> + </div> + <div class="member-body-long" id ="long-body-filterAnnotations(p)(ctx)"> + <p>Keep only those annotations that satisfy <code>p</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="filterDisjoint(denots)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filterDisjoint(denots)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8731,14 +10159,33 @@ in Printers does not have a case for this showable element</p> </div><!-- end member-title --> <div class="member-body"> - <p>Keep only those denotations in this group which have a signature + <div class="member-body-short" id="short-body-filterDisjoint(denots)(ctx)"> + <p>Keep only those denotations in this group which have a signature +that's not already defined by <code>denots</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-filterDisjoint(denots)(ctx)"> + <p>Keep only those denotations in this group which have a signature that's not already defined by <code>denots</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="filterExcluded(excluded)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filterExcluded(excluded)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8790,14 +10237,33 @@ that's not already defined by <code>denots</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Keep only those denotations in this group whose flags do not intersect + <div class="member-body-short" id="short-body-filterExcluded(excluded)(ctx)"> + <p>Keep only those denotations in this group whose flags do not intersect +with <code>excluded</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-filterExcluded(excluded)(ctx)"> + <p>Keep only those denotations in this group whose flags do not intersect with <code>excluded</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="filterWithPredicate(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filterWithPredicate(p)');">[+]</span> <span class="member-annotations"> </span> @@ -8836,13 +10302,31 @@ with <code>excluded</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Keep only those denotations in this group which satisfy predicate <code>p</code>.</p> + <div class="member-body-short" id="short-body-filterWithPredicate(p)"> + <p>Keep only those denotations in this group which satisfy predicate <code>p</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-filterWithPredicate(p)"> + <p>Keep only those denotations in this group which satisfy predicate <code>p</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="finalize()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'finalize()');">[+]</span> <span class="member-annotations"> </span> @@ -8875,12 +10359,29 @@ with <code>excluded</code>.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-finalize()"> + + </div> + <div class="member-body-long" id ="long-body-finalize()"> + + </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="findMember(name,pre,excluded)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'findMember(name,pre,excluded)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8948,16 +10449,37 @@ with <code>excluded</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Find member of this denotation with given name and + <div class="member-body-short" id="short-body-findMember(name,pre,excluded)(ctx)"> + <p>Find member of this denotation with given name and produce a denotation that contains the type of the member as seen from given prefix <code>pre</code>. Exclude all... </p> + </div> + <div class="member-body-long" id ="long-body-findMember(name,pre,excluded)(ctx)"> + <p>Find member of this denotation with given name and +produce a denotation that contains the type of the member +as seen from given prefix <code>pre</code>. Exclude all members that have +flags in <code>excluded</code> from consideration.</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="first" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'first');">[+]</span> <span class="member-annotations"> </span> @@ -8983,13 +10505,31 @@ as seen from given prefix <code>pre</code>. Exclude all... </div><!-- end member-title --> <div class="member-body"> - <p>First/last denotation in the group</p> + <div class="member-body-short" id="short-body-first"> + <p>First/last denotation in the group</p> + + </div> + <div class="member-body-long" id ="long-body-first"> + <p>First/last denotation in the group</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="flags(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flags(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9030,13 +10570,31 @@ as seen from given prefix <code>pre</code>. Exclude all... </div><!-- end member-title --> <div class="member-body"> - <p>The flag set</p> + <div class="member-body-short" id="short-body-flags(ctx)"> + <p>The flag set</p> + </div> + <div class="member-body-long" id ="long-body-flags(ctx)"> + <p>The flag set</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="flagsUNSAFE" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flagsUNSAFE');">[+]</span> <span class="member-annotations"> </span> @@ -9062,14 +10620,33 @@ as seen from given prefix <code>pre</code>. Exclude all... </div><!-- end member-title --> <div class="member-body"> - <p>The flag set without forcing symbol completion. + <div class="member-body-short" id="short-body-flagsUNSAFE"> + <p>The flag set without forcing symbol completion. +Should be used only for printing.</p> + + </div> + <div class="member-body-long" id ="long-body-flagsUNSAFE"> + <p>The flag set without forcing symbol completion. Should be used only for printing.</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="flags_=(flags)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flags_=(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -9108,13 +10685,31 @@ Should be used only for printing.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Update the flag set</p> + <div class="member-body-short" id="short-body-flags_=(flags)"> + <p>Update the flag set</p> + + </div> + <div class="member-body-long" id ="long-body-flags_=(flags)"> + <p>Update the flag set</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="flatName(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flatName(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9155,13 +10750,31 @@ Should be used only for printing.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The encoded flat name of this denotation, where joined names are separated by <code>separator</code> characters.</p> + <div class="member-body-short" id="short-body-flatName(ctx)"> + <p>The encoded flat name of this denotation, where joined names are separated by <code>separator</code> characters.</p> + </div> + <div class="member-body-long" id ="long-body-flatName(ctx)"> + <p>The encoded flat name of this denotation, where joined names are separated by <code>separator</code> characters.</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="fullName(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fullName(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9202,13 +10815,31 @@ Should be used only for printing.</p> </div><!-- end member-title --> <div class="member-body"> - <p><code>fullName</code> where `.' is the separator character</p> + <div class="member-body-short" id="short-body-fullName(ctx)"> + <p><code>fullName</code> where `.' is the separator character</p> + + </div> + <div class="member-body-long" id ="long-body-fullName(ctx)"> + <p><code>fullName</code> where `.' is the separator character</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="fullNameSeparated(separator)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fullNameSeparated(separator)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9260,16 +10891,42 @@ Should be used only for printing.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The encoded full path name of this denotation, where outer names and inner names + <div class="member-body-short" id="short-body-fullNameSeparated(separator)(ctx)"> + <p>The encoded full path name of this denotation, where outer names and inner names are separated by <code>separator</code> strings. Never translates expansions of oper... </p> + </div> + <div class="member-body-long" id ="long-body-fullNameSeparated(separator)(ctx)"> + <p>The encoded full path name of this denotation, where outer names and inner names +are separated by <code>separator</code> strings. +Never translates expansions of operators back to operator symbol. +Drops package objects. Represents terms in the owner chain by a simple <code>~</code>. +(Note: scalac uses nothing to represent terms, which can cause name clashes +between same-named definitions in different enclosing methods. Before this commit +we used `$' but this can cause ambiguities with the class separator '$'). +A separator "" means "flat name"; the real separator in this case is "$" and +enclosing packages do not form part of the name.</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="getAnnotation(cls)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'getAnnotation(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9316,18 +10973,39 @@ Never translates expansions of oper... - <span class="no-left">: Option</span> + <span class="no-left">: Option +<span class="no-left no-right">[</span> +Annotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>Optionally, the annotation matching the given class symbol</p> + <div class="member-body-short" id="short-body-getAnnotation(cls)(ctx)"> + <p>Optionally, the annotation matching the given class symbol</p> + + </div> + <div class="member-body-long" id ="long-body-getAnnotation(cls)(ctx)"> + <p>Optionally, the annotation matching the given class symbol</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="hasAltWith(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasAltWith(p)');">[+]</span> <span class="member-annotations"> </span> @@ -9366,13 +11044,31 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - <p>Does this denotation have an alternative that satisfies the predicate <code>p</code>?</p> + <div class="member-body-short" id="short-body-hasAltWith(p)"> + <p>Does this denotation have an alternative that satisfies the predicate <code>p</code>?</p> + </div> + <div class="member-body-long" id ="long-body-hasAltWith(p)"> + <p>Does this denotation have an alternative that satisfies the predicate <code>p</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="hasAnnotation(cls)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasAnnotation(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9424,13 +11120,31 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - <p>Does this denotation have an annotation matching the given class symbol?</p> + <div class="member-body-short" id="short-body-hasAnnotation(cls)(ctx)"> + <p>Does this denotation have an annotation matching the given class symbol?</p> + + </div> + <div class="member-body-long" id ="long-body-hasAnnotation(cls)(ctx)"> + <p>Does this denotation have an annotation matching the given class symbol?</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="hasDefaultParams(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasDefaultParams(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9471,13 +11185,31 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - <p>Does this symbol have defined or inherited default parameters?</p> + <div class="member-body-short" id="short-body-hasDefaultParams(ctx)"> + <p>Does this symbol have defined or inherited default parameters?</p> + </div> + <div class="member-body-long" id ="long-body-hasDefaultParams(ctx)"> + <p>Does this symbol have defined or inherited default parameters?</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="hasSkolems(tp)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasSkolems(tp)');">[+]</span> <span class="member-annotations"> </span> @@ -9516,12 +11248,29 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-hasSkolems(tp)"> + + </div> + <div class="member-body-long" id ="long-body-hasSkolems(tp)"> + + </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="hasUniqueSym" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasUniqueSym');">[+]</span> <span class="member-annotations"> </span> @@ -9547,12 +11296,29 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-hasUniqueSym"> + + </div> + <div class="member-body-long" id ="long-body-hasUniqueSym"> + + </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="history" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'history');">[+]</span> <span class="member-annotations"> </span> @@ -9573,17 +11339,37 @@ Never translates expansions of oper... - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +SingleDenotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-history"> + + </div> + <div class="member-body-long" id ="long-body-history"> + + </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="info(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'info(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9624,15 +11410,35 @@ Never translates expansions of oper... </div><!-- end member-title --> <div class="member-body"> - <p>The type info. + <div class="member-body-short" id="short-body-info(ctx)"> + <p>The type info. +The info is an instance of TypeType iff this is a type denotation +Uncompleted denotations set myInfo to a LazyType.</p> + + </div> + <div class="member-body-long" id ="long-body-info(ctx)"> + <p>The type info. The info is an instance of TypeType iff this is a type denotation Uncompleted denotations set myInfo to a LazyType.</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="infoOrCompleter" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'infoOrCompleter');">[+]</span> <span class="member-annotations"> </span> @@ -9658,13 +11464,31 @@ Uncompleted denotations set myInfo to a LazyType.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The type info, or, if symbol is not yet completed, the completer</p> + <div class="member-body-short" id="short-body-infoOrCompleter"> + <p>The type info, or, if symbol is not yet completed, the completer</p> + </div> + <div class="member-body-long" id ="long-body-infoOrCompleter"> + <p>The type info, or, if symbol is not yet completed, the completer</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="info_=(tp)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'info_=(tp)');">[+]</span> <span class="member-annotations"> </span> @@ -9703,12 +11527,29 @@ Uncompleted denotations set myInfo to a LazyType.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-info_=(tp)"> + + </div> + <div class="member-body-long" id ="long-body-info_=(tp)"> + + </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="initial" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'initial');">[+]</span> <span class="member-annotations"> </span> @@ -9734,14 +11575,33 @@ Uncompleted denotations set myInfo to a LazyType.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The version of this SingleDenotation that was valid in the first phase + <div class="member-body-short" id="short-body-initial"> + <p>The version of this SingleDenotation that was valid in the first phase +of this run.</p> + + </div> + <div class="member-body-long" id ="long-body-initial"> + <p>The version of this SingleDenotation that was valid in the first phase of this run.</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="installAfter(phase)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'installAfter(phase)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9793,13 +11653,31 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Install this denotation as the result of the given denotation transformer.</p> + <div class="member-body-short" id="short-body-installAfter(phase)(ctx)"> + <p>Install this denotation as the result of the given denotation transformer.</p> + </div> + <div class="member-body-long" id ="long-body-installAfter(phase)(ctx)"> + <p>Install this denotation as the result of the given denotation transformer.</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="invalidateInheritedInfo()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'invalidateInheritedInfo()');">[+]</span> <span class="member-annotations"> </span> @@ -9832,13 +11710,31 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Invalidate all caches and fields that depend on base classes and their contents</p> + <div class="member-body-short" id="short-body-invalidateInheritedInfo()"> + <p>Invalidate all caches and fields that depend on base classes and their contents</p> + + </div> + <div class="member-body-long" id ="long-body-invalidateInheritedInfo()"> + <p>Invalidate all caches and fields that depend on base classes and their contents</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="is(fs)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9890,13 +11786,31 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set?</p> + <div class="member-body-short" id="short-body-is(fs)(ctx)"> + <p>Has this denotation one of the flags in <code>fs</code> set?</p> + </div> + <div class="member-body-long" id ="long-body-is(fs)(ctx)"> + <p>Has this denotation one of the flags in <code>fs</code> set?</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="is(fs)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9948,13 +11862,31 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set?</p> + <div class="member-body-short" id="short-body-is(fs)(ctx)"> + <p>Has this denotation all of the flags in <code>fs</code> set?</p> + + </div> + <div class="member-body-long" id ="long-body-is(fs)(ctx)"> + <p>Has this denotation all of the flags in <code>fs</code> set?</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="is(fs,butNot)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10014,14 +11946,33 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags + <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)"> + <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags +in <code>butNot</code> are set?</p> + + </div> + <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)"> + <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags in <code>butNot</code> are set?</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="is(fs,butNot)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10081,14 +12032,33 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags + <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)"> + <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags +in <code>butNot</code> are set?</p> + + </div> + <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)"> + <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags in <code>butNot</code> are set?</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="isAbsent(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAbsent(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10129,13 +12099,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is symbol known to not exist?</p> + <div class="member-body-short" id="short-body-isAbsent(ctx)"> + <p>Is symbol known to not exist?</p> + </div> + <div class="member-body-long" id ="long-body-isAbsent(ctx)"> + <p>Is symbol known to not exist?</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="isAbstractOrAliasType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAbstractOrAliasType');">[+]</span> <span class="member-annotations"> </span> @@ -10161,13 +12149,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol an abstract or alias type?</p> + <div class="member-body-short" id="short-body-isAbstractOrAliasType"> + <p>Is this symbol an abstract or alias type?</p> + + </div> + <div class="member-body-long" id ="long-body-isAbstractOrAliasType"> + <p>Is this symbol an abstract or alias type?</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isAbstractType(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAbstractType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10208,13 +12214,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol an abstract type?</p> + <div class="member-body-short" id="short-body-isAbstractType(ctx)"> + <p>Is this symbol an abstract type?</p> + </div> + <div class="member-body-long" id ="long-body-isAbstractType(ctx)"> + <p>Is this symbol an abstract type?</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isAccessibleFrom(pre,superAccess,whyNot)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAccessibleFrom(pre,superAccess,whyNot)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10282,13 +12306,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this definition accessible as a member of tree with type <code>pre</code>?</p> + <div class="member-body-short" id="short-body-isAccessibleFrom(pre,superAccess,whyNot)(ctx)"> + <p>Is this definition accessible as a member of tree with type <code>pre</code>?</p> + + </div> + <div class="member-body-long" id ="long-body-isAccessibleFrom(pre,superAccess,whyNot)(ctx)"> + <p>Is this definition accessible as a member of tree with type <code>pre</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="isAliasType(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAliasType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10329,13 +12371,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol an alias type?</p> + <div class="member-body-short" id="short-body-isAliasType(ctx)"> + <p>Is this symbol an alias type?</p> + </div> + <div class="member-body-long" id ="long-body-isAliasType(ctx)"> + <p>Is this symbol an alias type?</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isAnonymousClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAnonymousClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10376,13 +12436,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol an anonymous class?</p> + <div class="member-body-short" id="short-body-isAnonymousClass(ctx)"> + <p>Is this symbol an anonymous class?</p> + + </div> + <div class="member-body-long" id ="long-body-isAnonymousClass(ctx)"> + <p>Is this symbol an anonymous class?</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="isAnonymousFunction(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAnonymousFunction(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10423,12 +12501,29 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isAnonymousFunction(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-isAnonymousFunction(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="isAnonymousModuleVal(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAnonymousModuleVal(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10469,12 +12564,29 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isAnonymousModuleVal(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-isAnonymousModuleVal(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="isAsConcrete(that)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isAsConcrete(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10526,13 +12638,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol concrete, or that symbol deferred?</p> + <div class="member-body-short" id="short-body-isAsConcrete(that)(ctx)"> + <p>Is this symbol concrete, or that symbol deferred?</p> + </div> + <div class="member-body-long" id ="long-body-isAsConcrete(that)(ctx)"> + <p>Is this symbol concrete, or that symbol deferred?</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="isClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isClass');">[+]</span> <span class="member-annotations"> </span> @@ -10558,13 +12688,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation a class?</p> + <div class="member-body-short" id="short-body-isClass"> + <p>Is this denotation a class?</p> + + </div> + <div class="member-body-long" id ="long-body-isClass"> + <p>Is this denotation a class?</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="isClassConstructor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isClassConstructor');">[+]</span> <span class="member-annotations"> </span> @@ -10590,13 +12738,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>is this the constructor of a class?</p> + <div class="member-body-short" id="short-body-isClassConstructor"> + <p>is this the constructor of a class?</p> + </div> + <div class="member-body-long" id ="long-body-isClassConstructor"> + <p>is this the constructor of a class?</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="isCoDefinedWith(that)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCoDefinedWith(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10648,13 +12814,31 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation defined in the same scope and compilation unit as that symbol?</p> + <div class="member-body-short" id="short-body-isCoDefinedWith(that)(ctx)"> + <p>Is this denotation defined in the same scope and compilation unit as that symbol?</p> + + </div> + <div class="member-body-long" id ="long-body-isCoDefinedWith(that)(ctx)"> + <p>Is this denotation defined in the same scope and compilation unit as that symbol?</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isCompanionMethod(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCompanionMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10695,16 +12879,37 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this a companion class method or companion object method? + <div class="member-body-short" id="short-body-isCompanionMethod(ctx)"> + <p>Is this a companion class method or companion object method? These methods are generated by Symbols#synthesizeCompanionMethod and used in SymDenotations... </p> + </div> + <div class="member-body-long" id ="long-body-isCompanionMethod(ctx)"> + <p>Is this a companion class method or companion object method? +These methods are generated by Symbols#synthesizeCompanionMethod +and used in SymDenotations#companionClass and +SymDenotations#companionModule .</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="isCompleted" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCompleted');">[+]</span> <span class="member-annotations"> </span> @@ -10730,13 +12935,31 @@ and used in SymDenotations... </div><!-- end member-title --> <div class="member-body"> - <p>The denotation is completed: info is not a lazy type and attributes have defined values</p> + <div class="member-body-short" id="short-body-isCompleted"> + <p>The denotation is completed: info is not a lazy type and attributes have defined values</p> + + </div> + <div class="member-body-long" id ="long-body-isCompleted"> + <p>The denotation is completed: info is not a lazy type and attributes have defined values</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="isCompleting" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isCompleting');">[+]</span> <span class="member-annotations"> </span> @@ -10762,13 +12985,31 @@ and used in SymDenotations... </div><!-- end member-title --> <div class="member-body"> - <p>The denotation is in train of being completed</p> + <div class="member-body-short" id="short-body-isCompleting"> + <p>The denotation is in train of being completed</p> + </div> + <div class="member-body-long" id ="long-body-isCompleting"> + <p>The denotation is in train of being completed</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="isConstructor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isConstructor');">[+]</span> <span class="member-annotations"> </span> @@ -10794,13 +13035,31 @@ and used in SymDenotations... </div><!-- end member-title --> <div class="member-body"> - <p>Is this the constructor of a trait or a class</p> + <div class="member-body-short" id="short-body-isConstructor"> + <p>Is this the constructor of a trait or a class</p> + + </div> + <div class="member-body-long" id ="long-body-isConstructor"> + <p>Is this the constructor of a trait or a class</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="isContainedIn(boundary)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isContainedIn(boundary)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10852,14 +13111,33 @@ and used in SymDenotations... </div><!-- end member-title --> <div class="member-body"> - <p>Is this definition contained in <code>boundary</code>? + <div class="member-body-short" id="short-body-isContainedIn(boundary)(ctx)"> + <p>Is this definition contained in <code>boundary</code>? +Same as <code>ownersIterator contains boundary</code> but more efficient.</p> + + </div> + <div class="member-body-long" id ="long-body-isContainedIn(boundary)(ctx)"> + <p>Is this definition contained in <code>boundary</code>? Same as <code>ownersIterator contains boundary</code> but more efficient.</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="isEffectiveRoot(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEffectiveRoot(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10900,13 +13178,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol the empty package class or its companion object?</p> + <div class="member-body-short" id="short-body-isEffectiveRoot(ctx)"> + <p>Is this symbol the empty package class or its companion object?</p> + </div> + <div class="member-body-long" id ="long-body-isEffectiveRoot(ctx)"> + <p>Is this symbol the empty package class or its companion 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="isEffectivelyFinal(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEffectivelyFinal(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10947,13 +13243,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A symbol is effectively final if it cannot be overridden in a subclass</p> + <div class="member-body-short" id="short-body-isEffectivelyFinal(ctx)"> + <p>A symbol is effectively final if it cannot be overridden in a subclass</p> + + </div> + <div class="member-body-long" id ="long-body-isEffectivelyFinal(ctx)"> + <p>A symbol is effectively final if it cannot be overridden in a subclass</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="isEmptyPackage(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEmptyPackage(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10994,13 +13308,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol the empty package class or its companion object?</p> + <div class="member-body-short" id="short-body-isEmptyPackage(ctx)"> + <p>Is this symbol the empty package class or its companion object?</p> + </div> + <div class="member-body-long" id ="long-body-isEmptyPackage(ctx)"> + <p>Is this symbol the empty package class or its companion 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="isError" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isError');">[+]</span> <span class="member-annotations"> </span> @@ -11026,13 +13358,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>is this symbol the result of an erroneous definition?</p> + <div class="member-body-short" id="short-body-isError"> + <p>is this symbol the result of an erroneous definition?</p> + + </div> + <div class="member-body-long" id ="long-body-isError"> + <p>is this symbol the result of an erroneous definition?</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="isGetter(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isGetter(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11073,13 +13423,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this a getter?</p> + <div class="member-body-short" id="short-body-isGetter(ctx)"> + <p>Is this a getter?</p> + </div> + <div class="member-body-long" id ="long-body-isGetter(ctx)"> + <p>Is this a getter?</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="isImplClassConstructor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isImplClassConstructor');">[+]</span> <span class="member-annotations"> </span> @@ -11105,13 +13473,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this the constructor of a trait?</p> + <div class="member-body-short" id="short-body-isImplClassConstructor"> + <p>Is this the constructor of a trait?</p> + + </div> + <div class="member-body-long" id ="long-body-isImplClassConstructor"> + <p>Is this the constructor of a trait?</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="isImport" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isImport');">[+]</span> <span class="member-annotations"> </span> @@ -11137,13 +13523,31 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>is this a symbol representing an import?</p> + <div class="member-body-short" id="short-body-isImport"> + <p>is this a symbol representing an import?</p> + </div> + <div class="member-body-long" id ="long-body-isImport"> + <p>is this a symbol representing an import?</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="isIncompleteIn(base)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isIncompleteIn(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11195,16 +13599,37 @@ Same as <code>ownersIterator contains boundary</code> but more efficient.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A member of class <code>base</code> is incomplete if + <div class="member-body-short" id="short-body-isIncompleteIn(base)(ctx)"> + <p>A member of class <code>base</code> is incomplete if (1) it is declared deferred or (2) it is abstract override and its super symbol in <code>base</code> is nonexistent or incompl...</p> + </div> + <div class="member-body-long" id ="long-body-isIncompleteIn(base)(ctx)"> + <p>A member of class <code>base</code> is incomplete if +(1) it is declared deferred or +(2) it is abstract override and its super symbol in <code>base</code> is +nonexistent or incomplete.</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="isInlineMethod(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isInlineMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11245,12 +13670,29 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isInlineMethod(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-isInlineMethod(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="isLocalDummy" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isLocalDummy');">[+]</span> <span class="member-annotations"> </span> @@ -11276,13 +13718,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this a local template dummmy?</p> + <div class="member-body-short" id="short-body-isLocalDummy"> + <p>Is this a local template dummmy?</p> + + </div> + <div class="member-body-long" id ="long-body-isLocalDummy"> + <p>Is this a local template dummmy?</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="isNullableClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isNullableClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11323,13 +13783,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol a class references to which that are supertypes of null?</p> + <div class="member-body-short" id="short-body-isNullableClass(ctx)"> + <p>Is this symbol a class references to which that are supertypes of null?</p> + </div> + <div class="member-body-long" id ="long-body-isNullableClass(ctx)"> + <p>Is this symbol a class references to which that are supertypes of null?</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="isNumericValueClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isNumericValueClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11370,13 +13848,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is symbol a primitive numeric value class?</p> + <div class="member-body-short" id="short-body-isNumericValueClass(ctx)"> + <p>Is symbol a primitive numeric value class?</p> + + </div> + <div class="member-body-long" id ="long-body-isNumericValueClass(ctx)"> + <p>Is symbol a primitive numeric value class?</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="isOverloaded" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isOverloaded');">[+]</span> <span class="member-annotations"> </span> @@ -11402,13 +13898,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation overloaded?</p> + <div class="member-body-short" id="short-body-isOverloaded"> + <p>Is this denotation overloaded?</p> + </div> + <div class="member-body-long" id ="long-body-isOverloaded"> + <p>Is this denotation overloaded?</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="isPackageObject(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isPackageObject(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11449,13 +13963,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol a package object or its module class?</p> + <div class="member-body-short" id="short-body-isPackageObject(ctx)"> + <p>Is this symbol a package object or its module class?</p> + + </div> + <div class="member-body-long" id ="long-body-isPackageObject(ctx)"> + <p>Is this symbol a package object or its module class?</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="isPhantomClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isPhantomClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11496,13 +14028,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is symbol a phantom class for which no runtime representation exists?</p> + <div class="member-body-short" id="short-body-isPhantomClass(ctx)"> + <p>Is symbol a phantom class for which no runtime representation exists?</p> + </div> + <div class="member-body-long" id ="long-body-isPhantomClass(ctx)"> + <p>Is symbol a phantom class for which no runtime representation exists?</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="isPrimaryConstructor(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isPrimaryConstructor(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11543,13 +14093,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Does this symbol denote the primary constructor of its enclosing class?</p> + <div class="member-body-short" id="short-body-isPrimaryConstructor(ctx)"> + <p>Does this symbol denote the primary constructor of its enclosing class?</p> + + </div> + <div class="member-body-long" id ="long-body-isPrimaryConstructor(ctx)"> + <p>Does this symbol denote the primary constructor of its enclosing class?</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="isPrimitiveValueClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isPrimitiveValueClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11590,13 +14158,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is symbol a primitive value class?</p> + <div class="member-body-short" id="short-body-isPrimitiveValueClass(ctx)"> + <p>Is symbol a primitive value class?</p> + </div> + <div class="member-body-long" id ="long-body-isPrimitiveValueClass(ctx)"> + <p>Is symbol a primitive value class?</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="isProperlyContainedIn(boundary)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isProperlyContainedIn(boundary)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11648,12 +14234,29 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isProperlyContainedIn(boundary)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-isProperlyContainedIn(boundary)(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="isRealClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isRealClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11694,13 +14297,31 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation a non-trait class?</p> + <div class="member-body-short" id="short-body-isRealClass(ctx)"> + <p>Is this denotation a non-trait class?</p> + </div> + <div class="member-body-long" id ="long-body-isRealClass(ctx)"> + <p>Is this denotation a non-trait class?</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="isRealMethod(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isRealMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11741,17 +14362,39 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this a "real" method? A real method is a method which is: + <div class="member-body-short" id="short-body-isRealMethod(ctx)"> + <p>Is this a "real" method? A real method is a method which is: +- not an accessor +- not a label +- not an anonymous function +- not a companion method</p> + + </div> + <div class="member-body-long" id ="long-body-isRealMethod(ctx)"> + <p>Is this a "real" method? A real method is a method which is: - not an accessor - not a label - not an anonymous function - not a companion 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 id="isRefinementClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isRefinementClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11792,15 +14435,35 @@ nonexistent or incompl...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol a class representing a refinement? These classes + <div class="member-body-short" id="short-body-isRefinementClass(ctx)"> + <p>Is this symbol a class representing a refinement? These classes are used only temporarily in Typer and Unpickler as an intermediate step for creating Re...</p> + </div> + <div class="member-body-long" id ="long-body-isRefinementClass(ctx)"> + <p>Is this symbol a class representing a refinement? These classes +are used only temporarily in Typer and Unpickler as an intermediate +step for creating Refinement types.</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="isRoot" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isRoot');">[+]</span> <span class="member-annotations"> </span> @@ -11826,13 +14489,31 @@ step for creating Re...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol the root class or its companion object?</p> + <div class="member-body-short" id="short-body-isRoot"> + <p>Is this symbol the root class or its companion object?</p> + </div> + <div class="member-body-long" id ="long-body-isRoot"> + <p>Is this symbol the root class or its companion 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="isSelfSym(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isSelfSym(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11873,16 +14554,42 @@ step for creating Re...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is this the denotation of a self symbol of some class? + <div class="member-body-short" id="short-body-isSelfSym(ctx)"> + <p>Is this the denotation of a self symbol of some class? This is the case if one of two conditions holds: 1. It is the symbol referred to in the selfInfo... </p> + </div> + <div class="member-body-long" id ="long-body-isSelfSym(ctx)"> + <p>Is this the denotation of a self symbol of some class? +This is the case if one of two conditions holds: +1. It is the symbol referred to in the selfInfo part of the ClassInfo +which is the type of this symbol's owner. +2. This symbol is owned by a class, it's selfInfo field refers to a type +(indicating the self definition does not introduce a name), and the +symbol's name is "_". +TODO: Find a more robust way to characterize self symbols, maybe by +spending a Flag on them?</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="isSetter(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isSetter(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11923,13 +14630,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a setter?</p> + <div class="member-body-short" id="short-body-isSetter(ctx)"> + <p>Is this a setter?</p> + </div> + <div class="member-body-long" id ="long-body-isSetter(ctx)"> + <p>Is this a setter?</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="isSkolem" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isSkolem');">[+]</span> <span class="member-annotations"> </span> @@ -11955,12 +14680,29 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isSkolem"> + + </div> + <div class="member-body-long" id ="long-body-isSkolem"> + + </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="isStable(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isStable(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12001,13 +14743,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a denotation of a stable term (or an arbitrary type)?</p> + <div class="member-body-short" id="short-body-isStable(ctx)"> + <p>Is this a denotation of a stable term (or an arbitrary type)?</p> + </div> + <div class="member-body-long" id ="long-body-isStable(ctx)"> + <p>Is this a denotation of a stable term (or an arbitrary type)?</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isStatic(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isStatic(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12048,13 +14808,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation static (i.e. with no outer instance)?</p> + <div class="member-body-short" id="short-body-isStatic(ctx)"> + <p>Is this denotation static (i.e. with no outer instance)?</p> + + </div> + <div class="member-body-long" id ="long-body-isStatic(ctx)"> + <p>Is this denotation static (i.e. with no outer instance)?</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="isStaticConstructor(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isStaticConstructor(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12095,13 +14873,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Does this symbol denote the static constructor of its enclosing class?</p> + <div class="member-body-short" id="short-body-isStaticConstructor(ctx)"> + <p>Does this symbol denote the static constructor of its enclosing class?</p> + </div> + <div class="member-body-long" id ="long-body-isStaticConstructor(ctx)"> + <p>Does this symbol denote the static constructor of its enclosing class?</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="isStaticOwner(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isStaticOwner(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12142,13 +14938,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a package class or module class that defines static symbols?</p> + <div class="member-body-short" id="short-body-isStaticOwner(ctx)"> + <p>Is this a package class or module class that defines static symbols?</p> + + </div> + <div class="member-body-long" id ="long-body-isStaticOwner(ctx)"> + <p>Is this a package class or module class that defines static symbols?</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="isSubClass(base)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isSubClass(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12200,13 +15014,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a subclass of the given class <code>base</code>?</p> + <div class="member-body-short" id="short-body-isSubClass(base)(ctx)"> + <p>Is this a subclass of the given class <code>base</code>?</p> + </div> + <div class="member-body-long" id ="long-body-isSubClass(base)(ctx)"> + <p>Is this a subclass of the given class <code>base</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="isTerm" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isTerm');">[+]</span> <span class="member-annotations"> </span> @@ -12232,13 +15064,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a reference to a term symbol?</p> + <div class="member-body-short" id="short-body-isTerm"> + <p>Is this a reference to a term symbol?</p> + + </div> + <div class="member-body-long" id ="long-body-isTerm"> + <p>Is this a reference to a term symbol?</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isType');">[+]</span> <span class="member-annotations"> </span> @@ -12264,13 +15114,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this denotation a type?</p> + <div class="member-body-short" id="short-body-isType"> + <p>Is this denotation a type?</p> + </div> + <div class="member-body-long" id ="long-body-isType"> + <p>Is this denotation a type?</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isValueClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isValueClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12311,13 +15179,31 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this symbol a class that extends <code>AnyVal</code>?</p> + <div class="member-body-short" id="short-body-isValueClass(ctx)"> + <p>Is this symbol a class that extends <code>AnyVal</code>?</p> + + </div> + <div class="member-body-long" id ="long-body-isValueClass(ctx)"> + <p>Is this symbol a class that extends <code>AnyVal</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="isValueClassConvertMethod(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isValueClassConvertMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12358,15 +15244,35 @@ This is the case if one of two conditions holds: </div><!-- end member-title --> <div class="member-body"> - <p>Is this a syntetic method that represents conversions between representations of a value class + <div class="member-body-short" id="short-body-isValueClassConvertMethod(ctx)"> + <p>Is this a syntetic method that represents conversions between representations of a value class These methods are generated in ExtensionMethods and used...</p> + </div> + <div class="member-body-long" id ="long-body-isValueClassConvertMethod(ctx)"> + <p>Is this a syntetic method that represents conversions between representations of a value class +These methods are generated in ExtensionMethods +and used in ElimErasedValueType.</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="isWeakOwner(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isWeakOwner(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12407,16 +15313,37 @@ and used...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is an owner that would be skipped by effectiveOwner. Skipped are + <div class="member-body-short" id="short-body-isWeakOwner(ctx)"> + <p>Symbol is an owner that would be skipped by effectiveOwner. Skipped are - package objects - labels - non-lazy valdefs</p> + </div> + <div class="member-body-long" id ="long-body-isWeakOwner(ctx)"> + <p>Symbol is an owner that would be skipped by effectiveOwner. Skipped are +- package objects +- labels +- non-lazy valdefs</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="last" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'last');">[+]</span> <span class="member-annotations"> </span> @@ -12442,12 +15369,29 @@ and used...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-last"> + + </div> + <div class="member-body-long" id ="long-body-last"> + + </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="lexicallyEnclosingClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'lexicallyEnclosingClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12488,13 +15432,31 @@ and used...</p> </div><!-- end member-title --> <div class="member-body"> - <p>A class that in source code would be lexically enclosing</p> + <div class="member-body-short" id="short-body-lexicallyEnclosingClass(ctx)"> + <p>A class that in source code would be lexically enclosing</p> + </div> + <div class="member-body-long" id ="long-body-lexicallyEnclosingClass(ctx)"> + <p>A class that in source code would be lexically enclosing</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="linkedClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'linkedClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12535,15 +15497,35 @@ and used...</p> </div><!-- end member-title --> <div class="member-body"> - <p>If this is a class, the module class of its companion object. + <div class="member-body-short" id="short-body-linkedClass(ctx)"> + <p>If this is a class, the module class of its companion object. If this is a module class, its companion class. NoSymbol otherwise.</p> + </div> + <div class="member-body-long" id ="long-body-linkedClass(ctx)"> + <p>If this is a class, the module class of its companion object. +If this is a module class, its companion class. +NoSymbol otherwise.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="mapInfo(f)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'mapInfo(f)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12595,13 +15577,31 @@ NoSymbol otherwise.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A denotation with the info of this denotation transformed using <code>f</code></p> + <div class="member-body-short" id="short-body-mapInfo(f)(ctx)"> + <p>A denotation with the info of this denotation transformed using <code>f</code></p> + </div> + <div class="member-body-long" id ="long-body-mapInfo(f)(ctx)"> + <p>A denotation with the info of this denotation transformed using <code>f</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="mapInherited(ownDenots,prevDenots,pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'mapInherited(ownDenots,prevDenots,pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12669,16 +15669,42 @@ NoSymbol otherwise.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Keep only those inherited members M of this predenotation for which the following is true + <div class="member-body-short" id="short-body-mapInherited(ownDenots,prevDenots,pre)(ctx)"> + <p>Keep only those inherited members M of this predenotation for which the following is true - M is not marked Private - If M has a unique symbol, it does... </p> + </div> + <div class="member-body-long" id ="long-body-mapInherited(ownDenots,prevDenots,pre)(ctx)"> + <p>Keep only those inherited members M of this predenotation for which the following is true +- M is not marked Private +- If M has a unique symbol, it does not appear in <code>prevDenots</code>. +- M's signature as seen from prefix <code>pre</code> does not appear in <code>ownDenots</code> +Return the denotation as seen from <code>pre</code>. +Called from SymDenotations.computeMember. There, <code>ownDenots</code> are the denotations found in +the base class, which shadow any inherited denotations with the same signature. +<code>prevDenots</code> are the denotations that are defined in the class or inherited from +a base type which comes earlier in the linearization.</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="markAbsent()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'markAbsent()');">[+]</span> <span class="member-annotations"> </span> @@ -12711,13 +15737,31 @@ NoSymbol otherwise.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Make denotation not exist</p> + <div class="member-body-short" id="short-body-markAbsent()"> + <p>Make denotation not exist</p> + </div> + <div class="member-body-long" id ="long-body-markAbsent()"> + <p>Make denotation not exist</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="matches(other)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'matches(other)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12769,13 +15813,31 @@ NoSymbol otherwise.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Group contains a denotation with given signature</p> + <div class="member-body-short" id="short-body-matches(other)(ctx)"> + <p>Group contains a denotation with given signature</p> + + </div> + <div class="member-body-long" id ="long-body-matches(other)(ctx)"> + <p>Group contains a denotation with given signature</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="matchingDecl(inClass,site)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'matchingDecl(inClass,site)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12835,14 +15897,33 @@ NoSymbol otherwise.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The non-private symbol whose name and type matches the type of this symbol + <div class="member-body-short" id="short-body-matchingDecl(inClass,site)(ctx)"> + <p>The non-private symbol whose name and type matches the type of this symbol in the given class.</p> + </div> + <div class="member-body-long" id ="long-body-matchingDecl(inClass,site)(ctx)"> + <p>The non-private symbol whose name and type matches the type of this symbol +in the given class.</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="matchingDenotation(site,targetType)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'matchingDenotation(site,targetType)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12902,14 +15983,33 @@ in the given class.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The alternative of this denotation that has a type matching <code>targetType</code> when seen + <div class="member-body-short" id="short-body-matchingDenotation(site,targetType)(ctx)"> + <p>The alternative of this denotation that has a type matching <code>targetType</code> when seen as a member of type <code>site</code>, <code>NoDenotation</code> if none exists.</p> + </div> + <div class="member-body-long" id ="long-body-matchingDenotation(site,targetType)(ctx)"> + <p>The alternative of this denotation that has a type matching <code>targetType</code> when seen +as a member of type <code>site</code>, <code>NoDenotation</code> if none exists.</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="matchingMember(site)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'matchingMember(site)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12961,13 +16061,31 @@ as a member of type <code>site</code>, <code>NoDenotation</code> if none exists. </div><!-- end member-title --> <div class="member-body"> - <p>The non-private member of <code>site</code> whose name and type matches the type of this symbol</p> + <div class="member-body-short" id="short-body-matchingMember(site)(ctx)"> + <p>The non-private member of <code>site</code> whose name and type matches the type of this symbol</p> + </div> + <div class="member-body-long" id ="long-body-matchingMember(site)(ctx)"> + <p>The non-private member of <code>site</code> whose name and type matches the type of this symbol</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="maybeOwner" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'maybeOwner');">[+]</span> <span class="member-annotations"> </span> @@ -12993,13 +16111,31 @@ as a member of type <code>site</code>, <code>NoDenotation</code> if none exists. </div><!-- end member-title --> <div class="member-body"> - <p>Same as owner, except returns NoSymbol for NoSymbol</p> + <div class="member-body-short" id="short-body-maybeOwner"> + <p>Same as owner, except returns NoSymbol for NoSymbol</p> + + </div> + <div class="member-body-long" id ="long-body-maybeOwner"> + <p>Same as owner, except returns NoSymbol for NoSymbol</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="memberCanMatchInheritedSymbols(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'memberCanMatchInheritedSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13040,14 +16176,33 @@ as a member of type <code>site</code>, <code>NoDenotation</code> if none exists. </div><!-- end member-title --> <div class="member-body"> - <p>If false, this class member cannot possibly participate in an override, + <div class="member-body-short" id="short-body-memberCanMatchInheritedSymbols(ctx)"> + <p>If false, this class member cannot possibly participate in an override, +either as overrider or overridee.</p> + + </div> + <div class="member-body-long" id ="long-body-memberCanMatchInheritedSymbols(ctx)"> + <p>If false, this class member cannot possibly participate in an override, either as overrider or overridee.</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="memberFingerPrint(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'memberFingerPrint(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13088,16 +16243,37 @@ either as overrider or overridee.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A bloom filter for the names of all members in this class. + <div class="member-body-short" id="short-body-memberFingerPrint(ctx)"> + <p>A bloom filter for the names of all members in this class. Makes sense only for parent classes, and should definitely not be used for package classes be... </p> + </div> + <div class="member-body-long" id ="long-body-memberFingerPrint(ctx)"> + <p>A bloom filter for the names of all members in this class. +Makes sense only for parent classes, and should definitely +not be used for package classes because cache never +gets invalidated.</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="memberNames(keepOnly)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'memberNames(keepOnly)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13144,17 +16320,37 @@ not be used for package classes be... - <span class="no-left">: Set</span> + <span class="no-left">: Set +<span class="no-left no-right">[</span> +Name +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-memberNames(keepOnly)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-memberNames(keepOnly)(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="membersNamed(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'membersNamed(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13206,15 +16402,35 @@ not be used for package classes be... </div><!-- end member-title --> <div class="member-body"> - <p>All members of this class that have the given name. + <div class="member-body-short" id="short-body-membersNamed(name)(ctx)"> + <p>All members of this class that have the given name. The elements of the returned pre-denotation all have existing symbols.</p> + </div> + <div class="member-body-long" id ="long-body-membersNamed(name)(ctx)"> + <p>All members of this class that have the given name. +The elements of the returned pre-denotation all +have existing symbols.</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="membersNeedAsSeenFrom(pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'membersNeedAsSeenFrom(pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13266,14 +16482,33 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Do members of this symbol need translation via asSeenFrom when + <div class="member-body-short" id="short-body-membersNeedAsSeenFrom(pre)(ctx)"> + <p>Do members of this symbol need translation via asSeenFrom when +accessed via prefix <code>pre</code>?</p> + + </div> + <div class="member-body-long" id ="long-body-membersNeedAsSeenFrom(pre)(ctx)"> + <p>Do members of this symbol need translation via asSeenFrom when accessed via prefix <code>pre</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="mergeNames(names1,names2,syntheticName)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'mergeNames(names1,names2,syntheticName)');">[+]</span> <span class="member-annotations"> </span> @@ -13337,14 +16572,33 @@ N </div><!-- end member-title --> <div class="member-body"> - <p>Merge two lists of names. If names in corresponding positions match, keep them, + <div class="member-body-short" id="short-body-mergeNames(names1,names2,syntheticName)"> + <p>Merge two lists of names. If names in corresponding positions match, keep them, +otherwise generate new synthetic names.</p> + + </div> + <div class="member-body-long" id ="long-body-mergeNames(names1,names2,syntheticName)"> + <p>Merge two lists of names. If names in corresponding positions match, keep them, otherwise generate new synthetic names.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="moduleClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'moduleClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13385,13 +16639,31 @@ otherwise generate new synthetic names.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The class implementing this module, NoSymbol if not applicable.</p> + <div class="member-body-short" id="short-body-moduleClass(ctx)"> + <p>The class implementing this module, NoSymbol if not applicable.</p> + + </div> + <div class="member-body-long" id ="long-body-moduleClass(ctx)"> + <p>The class implementing this module, NoSymbol if not applicable.</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="namedType(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'namedType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13432,14 +16704,33 @@ otherwise generate new synthetic names.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The NamedType representing this denotation at its original location. + <div class="member-body-short" id="short-body-namedType(ctx)"> + <p>The NamedType representing this denotation at its original location. Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whether this denotes a type or...</p> + </div> + <div class="member-body-long" id ="long-body-namedType(ctx)"> + <p>The NamedType representing this denotation at its original location. +Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whether this denotes a type or not.</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="namedTypeParams(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'namedTypeParams(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13475,18 +16766,39 @@ Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whe - <span class="no-left">: Set</span> + <span class="no-left">: Set +<span class="no-left no-right">[</span> +TypeSymbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The named type parameters declared or inherited by this class</p> + <div class="member-body-short" id="short-body-namedTypeParams(ctx)"> + <p>The named type parameters declared or inherited by this class</p> + </div> + <div class="member-body-long" id ="long-body-namedTypeParams(ctx)"> + <p>The named type parameters declared or inherited by this class</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="ne(x$0)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ne(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -13525,12 +16837,29 @@ Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whe </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ne(x$0)"> + + </div> + <div class="member-body-long" id ="long-body-ne(x$0)"> + + </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="newLikeThis(s,i)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'newLikeThis(s,i)');">[+]</span> <span class="member-annotations"> </span> @@ -13577,12 +16906,29 @@ Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whe </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-newLikeThis(s,i)"> + + </div> + <div class="member-body-long" id ="long-body-newLikeThis(s,i)"> + + </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="nextInRun_=(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nextInRun_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -13621,16 +16967,37 @@ Same as either <code>typeRef</code> or <code>termRefWithSig</code> depending whe </div><!-- end member-title --> <div class="member-body"> - <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> + <div class="member-body-short" id="short-body-nextInRun_=(x$1)"> + <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> <p>There may be several <code>SingleDenotation</code>s with different validity representing... </p> + </div> + <div class="member-body-long" id ="long-body-nextInRun_=(x$1)"> + <p>The next SingleDenotation in this run, with wrap-around from last to first.</p> +<p>There may be several <code>SingleDenotation</code>s with different validity +representing the same underlying definition at different phases. +These are called a "flock". Flock members are generated by</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="nonMemberTermRef(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nonMemberTermRef(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13671,12 +17038,29 @@ representing... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-nonMemberTermRef(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-nonMemberTermRef(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="nonPrivateMembersNamed(name,inherited)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'nonPrivateMembersNamed(name,inherited)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13736,15 +17120,35 @@ representing... </div><!-- end member-title --> <div class="member-body"> - <p>All non-private members of this class that have the given name. + <div class="member-body-short" id="short-body-nonPrivateMembersNamed(name,inherited)(ctx)"> + <p>All non-private members of this class that have the given name. +The elements of the returned pre-denotation all +have existing symbols.</p> + + </div> + <div class="member-body-long" id ="long-body-nonPrivateMembersNamed(name,inherited)(ctx)"> + <p>All non-private members of this class that have the given name. The elements of the returned pre-denotation all have existing symbols.</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="notify()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'notify()');">[+]</span> <span class="member-annotations"> </span> @@ -13777,12 +17181,29 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-notify()"> + + </div> + <div class="member-body-long" id ="long-body-notify()"> + + </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="notifyAll()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'notifyAll()');">[+]</span> <span class="member-annotations"> </span> @@ -13815,12 +17236,29 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-notifyAll()"> + + </div> + <div class="member-body-long" id ="long-body-notifyAll()"> + + </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="orElse(that)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span> <span class="member-annotations"> </span> @@ -13859,13 +17297,31 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If this denotation does not exist, fallback to alternative</p> + <div class="member-body-short" id="short-body-orElse(that)"> + <p>If this denotation does not exist, fallback to alternative</p> + + </div> + <div class="member-body-long" id ="long-body-orElse(that)"> + <p>If this denotation does not exist, fallback to alternative</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="orElse(that)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span> <span class="member-annotations"> </span> @@ -13904,12 +17360,29 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-orElse(that)"> + + </div> + <div class="member-body-long" id ="long-body-orElse(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="originalName(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'originalName(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13950,13 +17423,31 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The name with which the denoting symbol was created</p> + <div class="member-body-short" id="short-body-originalName(ctx)"> + <p>The name with which the denoting symbol was created</p> + + </div> + <div class="member-body-long" id ="long-body-originalName(ctx)"> + <p>The name with which the denoting symbol was created</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="overriddenSymbol(inClass)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'overriddenSymbol(inClass)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14008,13 +17499,31 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbol, in class <code>inClass</code>, that is overridden by this denotation.</p> + <div class="member-body-short" id="short-body-overriddenSymbol(inClass)(ctx)"> + <p>The symbol, in class <code>inClass</code>, that is overridden by this denotation.</p> + </div> + <div class="member-body-long" id ="long-body-overriddenSymbol(inClass)(ctx)"> + <p>The symbol, in class <code>inClass</code>, that is overridden by this denotation.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="overridingSymbol(inClass)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'overridingSymbol(inClass)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14066,13 +17575,31 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbol overriding this symbol in given subclass <code>ofclazz</code>.</p> + <div class="member-body-short" id="short-body-overridingSymbol(inClass)(ctx)"> + <p>The symbol overriding this symbol in given subclass <code>ofclazz</code>.</p> + </div> + <div class="member-body-long" id ="long-body-overridingSymbol(inClass)(ctx)"> + <p>The symbol overriding this symbol in given subclass <code>ofclazz</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="owner" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'owner');">[+]</span> <span class="member-annotations"> </span> @@ -14098,13 +17625,31 @@ have existing symbols.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The owner of the symbol; overridden in NoDenotation</p> + <div class="member-body-short" id="short-body-owner"> + <p>The owner of the symbol; overridden in NoDenotation</p> + + </div> + <div class="member-body-long" id ="long-body-owner"> + <p>The owner of the symbol; overridden in NoDenotation</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="ownersIterator(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ownersIterator(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14140,18 +17685,39 @@ have existing symbols.</p> - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +Symbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The chain of owners of this denotation, starting with the denoting symbol itself</p> + <div class="member-body-short" id="short-body-ownersIterator(ctx)"> + <p>The chain of owners of this denotation, starting with the denoting symbol itself</p> + + </div> + <div class="member-body-long" id ="long-body-ownersIterator(ctx)"> + <p>The chain of owners of this denotation, starting with the denoting symbol itself</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="paramAccessors(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'paramAccessors(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14187,19 +17753,41 @@ have existing symbols.</p> - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +Symbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The parameter accessors of this class. Term and type accessors, + <div class="member-body-short" id="short-body-paramAccessors(ctx)"> + <p>The parameter accessors of this class. Term and type accessors, +getters and setters are all returned int his list</p> + + </div> + <div class="member-body-long" id ="long-body-paramAccessors(ctx)"> + <p>The parameter accessors of this class. Term and type accessors, getters and setters are all returned int his list</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="prefixString" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'prefixString');">[+]</span> <span class="member-annotations"> </span> @@ -14225,13 +17813,31 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>The prefix string to be used when displaying this symbol without denotation</p> + <div class="member-body-short" id="short-body-prefixString"> + <p>The prefix string to be used when displaying this symbol without denotation</p> + + </div> + <div class="member-body-long" id ="long-body-prefixString"> + <p>The prefix string to be used when displaying this symbol without denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="primaryConstructor(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'primaryConstructor(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14272,13 +17878,31 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>The primary constructor of a class or trait, NoSymbol if not applicable.</p> + <div class="member-body-short" id="short-body-primaryConstructor(ctx)"> + <p>The primary constructor of a class or trait, NoSymbol if not applicable.</p> + </div> + <div class="member-body-long" id ="long-body-primaryConstructor(ctx)"> + <p>The primary constructor of a class or trait, NoSymbol if not applicable.</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="privateWithin(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'privateWithin(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14319,13 +17943,31 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>The privateWithin boundary, NoSymbol if no boundary is given.</p> + <div class="member-body-short" id="short-body-privateWithin(ctx)"> + <p>The privateWithin boundary, NoSymbol if no boundary is given.</p> + + </div> + <div class="member-body-long" id ="long-body-privateWithin(ctx)"> + <p>The privateWithin boundary, NoSymbol if no boundary is given.</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="privateWithin_=(sym)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'privateWithin_=(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -14364,13 +18006,31 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>Set privateWithin.</p> + <div class="member-body-short" id="short-body-privateWithin_=(sym)"> + <p>Set privateWithin.</p> + </div> + <div class="member-body-long" id ="long-body-privateWithin_=(sym)"> + <p>Set privateWithin.</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="removeAnnotation(cls)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'removeAnnotation(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14422,13 +18082,31 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>Remove annotation with given class from this denotation</p> + <div class="member-body-short" id="short-body-removeAnnotation(cls)(ctx)"> + <p>Remove annotation with given class from this denotation</p> + + </div> + <div class="member-body-long" id ="long-body-removeAnnotation(cls)(ctx)"> + <p>Remove annotation with given class from this denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="replace(prev,replacement)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'replace(prev,replacement)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14488,14 +18166,33 @@ getters and setters are all returned int his list</p> </div><!-- end member-title --> <div class="member-body"> - <p>Replace symbol <code>prev</code> (if defined in current class) by symbol <code>replacement</code>. + <div class="member-body-short" id="short-body-replace(prev,replacement)(ctx)"> + <p>Replace symbol <code>prev</code> (if defined in current class) by symbol <code>replacement</code>. If <code>prev</code> is not defined in current class, do nothing.</p> + </div> + <div class="member-body-long" id ="long-body-replace(prev,replacement)(ctx)"> + <p>Replace symbol <code>prev</code> (if defined in current class) by symbol <code>replacement</code>. +If <code>prev</code> is not defined in current class, do nothing.</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="requiredClass(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredClass(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14547,12 +18244,29 @@ If <code>prev</code> is not defined in current class, do nothing.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredClass(name)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredClass(name)(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="requiredMethod(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14604,12 +18318,29 @@ If <code>prev</code> is not defined in current class, do nothing.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredMethod(name)(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="requiredMethod(name,argTypes)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14672,12 +18403,29 @@ Type </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(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="requiredMethodRef(name,argTypes)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethodRef(name,argTypes)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14740,12 +18488,29 @@ Type </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredMethodRef(name,argTypes)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredMethodRef(name,argTypes)(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="requiredMethodRef(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethodRef(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14797,12 +18562,29 @@ Type </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredMethodRef(name)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredMethodRef(name)(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="requiredSymbol(p,source,generateStubs)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredSymbol(p,source,generateStubs)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14870,15 +18652,35 @@ Type </div><!-- end member-title --> <div class="member-body"> - <p>Return symbol in this denotation that satisfies the given predicate. + <div class="member-body-short" id="short-body-requiredSymbol(p,source,generateStubs)(ctx)"> + <p>Return symbol in this denotation that satisfies the given predicate. if generateStubs is specified, return a stubsymbol if denotation is a missing ref. </p> + </div> + <div class="member-body-long" id ="long-body-requiredSymbol(p,source,generateStubs)(ctx)"> + <p>Return symbol in this denotation that satisfies the given predicate. +if generateStubs is specified, return a stubsymbol if denotation is a missing ref. +Throw a <code>TypeError</code> if predicate fails to disambiguate symbol or no alternative matches.</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="requiredValue(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredValue(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14930,12 +18732,29 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredValue(name)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredValue(name)(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="requiredValueRef(name)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'requiredValueRef(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14987,12 +18806,29 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-requiredValueRef(name)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-requiredValueRef(name)(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="resetFlag(flags)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'resetFlag(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -15031,13 +18867,31 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - <p>Unset given flags(s) of this denotation</p> + <div class="member-body-short" id="short-body-resetFlag(flags)"> + <p>Unset given flags(s) of this denotation</p> + + </div> + <div class="member-body-long" id ="long-body-resetFlag(flags)"> + <p>Unset given flags(s) of this denotation</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="scalacLinkedClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'scalacLinkedClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15078,12 +18932,29 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-scalacLinkedClass(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-scalacLinkedClass(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="setApplicableFlags(flags)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'setApplicableFlags(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -15122,13 +18993,31 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - <p>Set applicable flags from <code>flags</code> which is a subset of {NoInits, PureInterface}</p> + <div class="member-body-short" id="short-body-setApplicableFlags(flags)"> + <p>Set applicable flags from <code>flags</code> which is a subset of {NoInits, PureInterface}</p> + + </div> + <div class="member-body-long" id ="long-body-setApplicableFlags(flags)"> + <p>Set applicable flags from <code>flags</code> which is a subset of {NoInits, PureInterface}</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="setFlag(flags)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'setFlag(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -15167,13 +19056,31 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - <p>Set given flags(s) of this denotation</p> + <div class="member-body-short" id="short-body-setFlag(flags)"> + <p>Set given flags(s) of this denotation</p> + </div> + <div class="member-body-long" id ="long-body-setFlag(flags)"> + <p>Set given flags(s) of this denotation</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="show(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'show(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15214,13 +19121,31 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - <p>The string representation of this showable element.</p> + <div class="member-body-short" id="short-body-show(ctx)"> + <p>The string representation of this showable element.</p> + + </div> + <div class="member-body-long" id ="long-body-show(ctx)"> + <p>The string representation of this showable element.</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="showDcl(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'showDcl(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15261,14 +19186,33 @@ if generateStubs is specified, return a stubsymbol if denotation is a missing re </div><!-- end member-title --> <div class="member-body"> - <p>Show declaration string; useful for showing declarations + <div class="member-body-short" id="short-body-showDcl(ctx)"> + <p>Show declaration string; useful for showing declarations as seen from subclasses.</p> + </div> + <div class="member-body-long" id ="long-body-showDcl(ctx)"> + <p>Show declaration string; useful for showing declarations +as seen from subclasses.</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="showSummary(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'showSummary(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15309,12 +19253,29 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-showSummary(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-showSummary(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="showSummary(depth)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'showSummary(depth)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15366,15 +19327,35 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The summarized string representation of this showable element. + <div class="member-body-short" id="short-body-showSummary(depth)(ctx)"> + <p>The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.</p> + + </div> + <div class="member-body-long" id ="long-body-showSummary(depth)(ctx)"> + <p>The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.</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="signature(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'signature(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15415,13 +19396,31 @@ Config.summarizeDepth.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The signature of the denotation.</p> + <div class="member-body-short" id="short-body-signature(ctx)"> + <p>The signature of the denotation.</p> + </div> + <div class="member-body-long" id ="long-body-signature(ctx)"> + <p>The signature of the denotation.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="skipWeakOwner(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'skipWeakOwner(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15462,13 +19461,31 @@ Config.summarizeDepth.</p> </div><!-- end member-title --> <div class="member-body"> - <p>If this is a weak owner, its owner, otherwise the denoting symbol.</p> + <div class="member-body-short" id="short-body-skipWeakOwner(ctx)"> + <p>If this is a weak owner, its owner, otherwise the denoting symbol.</p> + + </div> + <div class="member-body-long" id ="long-body-skipWeakOwner(ctx)"> + <p>If this is a weak owner, its owner, otherwise the denoting symbol.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="sourceModule(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'sourceModule(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15509,13 +19526,31 @@ Config.summarizeDepth.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The module implemented by this module class, NoSymbol if not applicable.</p> + <div class="member-body-short" id="short-body-sourceModule(ctx)"> + <p>The module implemented by this module class, NoSymbol if not applicable.</p> + </div> + <div class="member-body-long" id ="long-body-sourceModule(ctx)"> + <p>The module implemented by this module class, NoSymbol if not applicable.</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="staleSymbolError(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'staleSymbolError(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15556,12 +19591,29 @@ Config.summarizeDepth.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-staleSymbolError(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-staleSymbolError(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="suchThat(p)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'suchThat(p)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15613,14 +19665,33 @@ Config.summarizeDepth.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The unique alternative of this denotation that satisfies the predicate <code>p</code>, + <div class="member-body-short" id="short-body-suchThat(p)(ctx)"> + <p>The unique alternative of this denotation that satisfies the predicate <code>p</code>, or NoDenotation if no satisfying alternative exists.</p> + </div> + <div class="member-body-long" id ="long-body-suchThat(p)(ctx)"> + <p>The unique alternative of this denotation that satisfies the predicate <code>p</code>, +or NoDenotation if no satisfying alternative exists.</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="superClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'superClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15661,13 +19732,31 @@ or NoDenotation if no satisfying alternative exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbol of the superclass, NoSymbol if no superclass exists</p> + <div class="member-body-short" id="short-body-superClass(ctx)"> + <p>The symbol of the superclass, NoSymbol if no superclass exists</p> + </div> + <div class="member-body-long" id ="long-body-superClass(ctx)"> + <p>The symbol of the superclass, NoSymbol if no superclass exists</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="superId(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'superId(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15708,15 +19797,35 @@ or NoDenotation if no satisfying alternative exists.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A unique, densely packed integer tag for each class symbol, -1 + <div class="member-body-short" id="short-body-superId(ctx)"> + <p>A unique, densely packed integer tag for each class symbol, -1 for all other symbols. To save memory, this method should be called only if class is a su...</p> + </div> + <div class="member-body-long" id ="long-body-superId(ctx)"> + <p>A unique, densely packed integer tag for each class symbol, -1 +for all other symbols. To save memory, this method +should be called only if class is a super class of some other class.</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="superIdHint_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'superIdHint_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -15755,12 +19864,29 @@ should be called only if class is a su...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-superIdHint_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-superIdHint_=(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="superSymbolIn(base)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'superSymbolIn(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15812,15 +19938,35 @@ should be called only if class is a su...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbol accessed by a super in the definition of this symbol when + <div class="member-body-short" id="short-body-superSymbolIn(base)(ctx)"> + <p>The symbol accessed by a super in the definition of this symbol when seen from class <code>base</code>. This symbol is always concrete. pre: <code>this.owner</code> is in the bas...</p> + </div> + <div class="member-body-long" id ="long-body-superSymbolIn(base)(ctx)"> + <p>The symbol accessed by a super in the definition of this symbol when +seen from class <code>base</code>. This symbol is always concrete. +pre: <code>this.owner</code> is in the base class sequence of <code>base</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="syncWithParents(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'syncWithParents(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15861,14 +20007,33 @@ pre: <code>this.owner</code> is in the bas...</p> </div><!-- end member-title --> <div class="member-body"> - <p>invalidate caches influenced by parent classes if one of the parents + <div class="member-body-short" id="short-body-syncWithParents(ctx)"> + <p>invalidate caches influenced by parent classes if one of the parents is younger than the denotation itself.</p> + </div> + <div class="member-body-long" id ="long-body-syncWithParents(ctx)"> + <p>invalidate caches influenced by parent classes if one of the parents +is younger than the denotation itself.</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="synchronized(x$0)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'synchronized(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -15907,12 +20072,29 @@ is younger than the denotation itself.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-synchronized(x$0)"> + + </div> + <div class="member-body-long" id ="long-body-synchronized(x$0)"> + + </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="termRef(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'termRef(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15953,13 +20135,31 @@ is younger than the denotation itself.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The TermRef representing this term denotation at its original location.</p> + <div class="member-body-short" id="short-body-termRef(ctx)"> + <p>The TermRef representing this term denotation at its original location.</p> + + </div> + <div class="member-body-long" id ="long-body-termRef(ctx)"> + <p>The TermRef representing this term denotation at its original location.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="termRefWithSig(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'termRefWithSig(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16000,14 +20200,33 @@ is younger than the denotation itself.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The TermRef representing this term denotation at its original location + <div class="member-body-short" id="short-body-termRefWithSig(ctx)"> + <p>The TermRef representing this term denotation at its original location at the denotation's signature.</p> + </div> + <div class="member-body-long" id ="long-body-termRefWithSig(ctx)"> + <p>The TermRef representing this term denotation at its original location +at the denotation's signature.</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="thisType(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'thisType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16048,16 +20267,37 @@ at the denotation's signature.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The this-type depends on the kind of class: + <div class="member-body-short" id="short-body-thisType(ctx)"> + <p>The this-type depends on the kind of class: - for a package class <code>p</code>: ThisType(TypeRef(Noprefix, p)) - for a module class <code>m</code>: A term ref to m's source mo... </p> + </div> + <div class="member-body-long" id ="long-body-thisType(ctx)"> + <p>The this-type depends on the kind of class: +- for a package class <code>p</code>: ThisType(TypeRef(Noprefix, p)) +- for a module class <code>m</code>: A term ref to m's source module. +- for all other classes <code>c</code> with owner <code>o</code>: ThisType(TypeRef(o.thisType, c))</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="toDenot(pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toDenot(pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16109,13 +20349,31 @@ at the denotation's signature.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Convert to full denotation by &-ing all elements</p> + <div class="member-body-short" id="short-body-toDenot(pre)(ctx)"> + <p>Convert to full denotation by &-ing all elements</p> + </div> + <div class="member-body-long" id ="long-body-toDenot(pre)(ctx)"> + <p>Convert to full denotation by &-ing all elements</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="toString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span> <span class="member-annotations"> </span> @@ -16141,12 +20399,29 @@ at the denotation's signature.</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 id="toText(printer)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span> <span class="member-annotations"> </span> @@ -16185,15 +20460,35 @@ at the denotation's signature.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The text representation of this showable element. + <div class="member-body-short" id="short-body-toText(printer)"> + <p>The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.</p> + </div> + <div class="member-body-long" id ="long-body-toText(printer)"> + <p>The text representation of this showable element. +This normally dispatches to a pattern matching +method in Printers.</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="topLevelClass(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'topLevelClass(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16234,14 +20529,33 @@ method in Printers.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The top-level class containing this denotation, + <div class="member-body-short" id="short-body-topLevelClass(ctx)"> + <p>The top-level class containing this denotation, +except for a toplevel module, where its module class is returned.</p> + + </div> + <div class="member-body-long" id ="long-body-topLevelClass(ctx)"> + <p>The top-level class containing this denotation, except for a toplevel module, where its module class is returned.</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="transformAfter(phase,f)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'transformAfter(phase,f)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16301,14 +20615,33 @@ except for a toplevel module, where its module class is returned.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Apply a transformation <code>f</code> to all denotations in this group that start at or after + <div class="member-body-short" id="short-body-transformAfter(phase,f)(ctx)"> + <p>Apply a transformation <code>f</code> to all denotations in this group that start at or after given phase. Denotations are replaced while keeping the same validity...</p> + </div> + <div class="member-body-long" id ="long-body-transformAfter(phase,f)(ctx)"> + <p>Apply a transformation <code>f</code> to all denotations in this group that start at or after +given phase. Denotations are replaced while keeping the same validity periods.</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="transformAnnotations(f)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'transformAnnotations(f)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16360,13 +20693,31 @@ given phase. Denotations are replaced while keeping the same validity...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Apply transform <code>f</code> to all annotations of this denotation</p> + <div class="member-body-short" id="short-body-transformAnnotations(f)(ctx)"> + <p>Apply transform <code>f</code> to all annotations of this denotation</p> + </div> + <div class="member-body-long" id ="long-body-transformAnnotations(f)(ctx)"> + <p>Apply transform <code>f</code> to all annotations of this denotation</p> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="typeParamCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typeParamCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -16392,14 +20743,33 @@ given phase. Denotations are replaced while keeping the same validity...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The flags to be used for a type parameter owned by this symbol. + <div class="member-body-short" id="short-body-typeParamCreationFlags"> + <p>The flags to be used for a type parameter owned by this symbol. +Overridden by ClassDenotation.</p> + + </div> + <div class="member-body-long" id ="long-body-typeParamCreationFlags"> + <p>The flags to be used for a type parameter owned by this symbol. Overridden by ClassDenotation.</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="typeParams(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typeParams(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16435,18 +20805,39 @@ Overridden by ClassDenotation.</p> - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +TypeSymbol +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The type parameters of this class</p> + <div class="member-body-short" id="short-body-typeParams(ctx)"> + <p>The type parameters of this class</p> + </div> + <div class="member-body-long" id ="long-body-typeParams(ctx)"> + <p>The type parameters of this class</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="typeRef(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typeRef(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16487,13 +20878,31 @@ Overridden by ClassDenotation.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The TypeRef representing this type denotation at its original location.</p> + <div class="member-body-short" id="short-body-typeRef(ctx)"> + <p>The TypeRef representing this type denotation at its original location.</p> + + </div> + <div class="member-body-long" id ="long-body-typeRef(ctx)"> + <p>The TypeRef representing this type denotation at its original location.</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlyingSymbol(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingSymbol(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16534,15 +20943,35 @@ Overridden by ClassDenotation.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The field accessed by a getter or setter, or + <div class="member-body-short" id="short-body-underlyingSymbol(ctx)"> + <p>The field accessed by a getter or setter, or +if it does not exists, the getter of a setter, or +if that does not exist the symbol itself.</p> + + </div> + <div class="member-body-long" id ="long-body-underlyingSymbol(ctx)"> + <p>The field accessed by a getter or setter, or if it does not exists, the getter of a setter, or if that does not exist the symbol itself.</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="unforcedAnnotation(cls)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unforcedAnnotation(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16589,19 +21018,41 @@ if that does not exist the symbol itself.</p> - <span class="no-left">: Option</span> + <span class="no-left">: Option +<span class="no-left no-right">[</span> +Annotation +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>The same as getAnnotation, but without ensuring + <div class="member-body-short" id="short-body-unforcedAnnotation(cls)(ctx)"> + <p>The same as getAnnotation, but without ensuring +that the symbol carrying the annotation is completed</p> + + </div> + <div class="member-body-long" id ="long-body-unforcedAnnotation(cls)(ctx)"> + <p>The same as getAnnotation, but without ensuring that the symbol carrying the annotation is completed</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="unforcedDecls(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unforcedDecls(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16642,16 +21093,43 @@ that the symbol carrying the annotation is completed</p> </div><!-- end member-title --> <div class="member-body"> - <p>The symbols defined in this class or object. + <div class="member-body-short" id="short-body-unforcedDecls(ctx)"> + <p>The symbols defined in this class or object. Careful! This does not force the type, so is compilation order dependent. This method should be used only i...</p> <ol></ol> + </div> + <div class="member-body-long" id ="long-body-unforcedDecls(ctx)"> + <p>The symbols defined in this class or object. +Careful! This does not force the type, so is compilation order dependent. +This method should be used only in the following circumstances:</p> +<ol> +<li>When accessing type parameters or type parameter accessors (both are entered before +completion).</li> +<li>When obtaining the current scope in order to enter, rename or delete something there.</li> +<li>When playing it safe in order not to raise CylicReferences, e.g. for printing things +or taking more efficient shortcuts (e.g. the stillValid test).</li> +</ol> + + </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="unforcedInfo" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unforcedInfo');">[+]</span> <span class="member-annotations"> </span> @@ -16672,18 +21150,39 @@ This method should be used only i...</p> - <span class="no-left">: Option</span> + <span class="no-left">: Option +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <p>Optionally, the info if it is completed</p> + <div class="member-body-short" id="short-body-unforcedInfo"> + <p>Optionally, the info if it is completed</p> + </div> + <div class="member-body-long" id ="long-body-unforcedInfo"> + <p>Optionally, the info if it is completed</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="union(that)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'union(that)');">[+]</span> <span class="member-annotations"> </span> @@ -16722,13 +21221,31 @@ This method should be used only i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The union of two groups.</p> + <div class="member-body-short" id="short-body-union(that)"> + <p>The union of two groups.</p> + + </div> + <div class="member-body-long" id ="long-body-union(that)"> + <p>The union of two groups.</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="unsupported(methodName)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unsupported(methodName)');">[+]</span> <span class="member-annotations"> </span> @@ -16767,13 +21284,31 @@ This method should be used only i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Throws an <code>UnsupportedOperationException</code> with the given method name.</p> + <div class="member-body-short" id="short-body-unsupported(methodName)"> + <p>Throws an <code>UnsupportedOperationException</code> with the given method name.</p> + </div> + <div class="member-body-long" id ="long-body-unsupported(methodName)"> + <p>Throws an <code>UnsupportedOperationException</code> with the given method name.</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="updateAnnotation(annot)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'updateAnnotation(annot)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16825,13 +21360,31 @@ This method should be used only i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Remove any annotations with same class as <code>annot</code>, and add <code>annot</code></p> + <div class="member-body-short" id="short-body-updateAnnotation(annot)(ctx)"> + <p>Remove any annotations with same class as <code>annot</code>, and add <code>annot</code></p> + + </div> + <div class="member-body-long" id ="long-body-updateAnnotation(annot)(ctx)"> + <p>Remove any annotations with same class as <code>annot</code>, and add <code>annot</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="valRef(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'valRef(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16872,14 +21425,33 @@ This method should be used only i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The TermRef representing this term denotation at its original location + <div class="member-body-short" id="short-body-valRef(ctx)"> + <p>The TermRef representing this term denotation at its original location +and at signature <code>NotAMethod</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-valRef(ctx)"> + <p>The TermRef representing this term denotation at its original location and at signature <code>NotAMethod</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="validFor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'validFor');">[+]</span> <span class="member-annotations"> </span> @@ -16905,13 +21477,31 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The period during which this denotation is valid.</p> + <div class="member-body-short" id="short-body-validFor"> + <p>The period during which this denotation is valid.</p> + </div> + <div class="member-body-long" id ="long-body-validFor"> + <p>The period during which this denotation is 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="validFor_=(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'validFor_=(p)');">[+]</span> <span class="member-annotations"> </span> @@ -16950,12 +21540,29 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-validFor_=(p)"> + + </div> + <div class="member-body-long" id ="long-body-validFor_=(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="variance(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'variance(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16996,14 +21603,33 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The variance of this type parameter or type member as an Int, with + <div class="member-body-short" id="short-body-variance(ctx)"> + <p>The variance of this type parameter or type member as an Int, with ++1 = Covariant, -1 = Contravariant, 0 = Nonvariant, or not a type parameter</p> + + </div> + <div class="member-body-long" id ="long-body-variance(ctx)"> + <p>The variance of this type parameter or type member as an Int, with +1 = Covariant, -1 = Contravariant, 0 = Nonvariant, or not a type parameter</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="wait()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'wait()');">[+]</span> <span class="member-annotations"> </span> @@ -17036,12 +21662,29 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-wait()"> + + </div> + <div class="member-body-long" id ="long-body-wait()"> + + </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="wait(x$0)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -17080,12 +21723,29 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-wait(x$0)"> + + </div> + <div class="member-body-long" id ="long-body-wait(x$0)"> + + </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="wait(x$0,x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -17132,12 +21792,29 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-wait(x$0,x$1)"> + + </div> + <div class="member-body-long" id ="long-body-wait(x$0,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="|(that,pre)(ctx)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '|(that,pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -17197,9 +21874,26 @@ and at signature <code>NotAMethod</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Form a choice between this denotation and that one.</p> + <div class="member-body-short" id="short-body-|(that,pre)(ctx)"> + <p>Form a choice between this denotation and that one.</p> + + </div> + <div class="member-body-long" id ="long-body-|(that,pre)(ctx)"> + <p>Form a choice between this denotation and that one.</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> |