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/Flags$.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/Flags$.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Flags$.html | 3678 |
1 files changed, 3492 insertions, 186 deletions
diff --git a/api/dotty/tools/dotc/core/Flags$.html b/api/dotty/tools/dotc/core/Flags$.html index ef57276fe..0f02fb04a 100644 --- a/api/dotty/tools/dotc/core/Flags$.html +++ b/api/dotty/tools/dotc/core/Flags$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Flags </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="FlagConjunction" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlagConjunction');">[+]</span> <span class="member-annotations"> </span> @@ -5363,15 +5379,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>A class representing flag sets that should be tested + <div class="member-body-short" id="short-body-FlagConjunction"> + <p>A class representing flag sets that should be tested +conjunctively. I.e. for a flag conjunction <code>fc</code>, +<code>x is fc</code> tests whether <code>x</code> contains all flags in <code>fc</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-FlagConjunction"> + <p>A class representing flag sets that should be tested conjunctively. I.e. for a flag conjunction <code>fc</code>, <code>x is fc</code> tests whether <code>x</code> contains all flags in <code>fc</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="FlagConjunction$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlagConjunction$');">[+]</span> <span class="member-annotations"> </span> @@ -5395,15 +5431,35 @@ conjunctively. I.e. for a flag conjunction <code>fc</code>, </div><!-- end member-title --> <div class="member-body"> - <p>A class representing flag sets that should be tested + <div class="member-body-short" id="short-body-FlagConjunction$"> + <p>A class representing flag sets that should be tested +conjunctively. I.e. for a flag conjunction <code>fc</code>, +<code>x is fc</code> tests whether <code>x</code> contains all flags in <code>fc</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-FlagConjunction$"> + <p>A class representing flag sets that should be tested conjunctively. I.e. for a flag conjunction <code>fc</code>, <code>x is fc</code> tests whether <code>x</code> contains all flags in <code>fc</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="FlagSet" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlagSet');">[+]</span> <span class="member-annotations"> </span> @@ -5427,16 +5483,40 @@ conjunctively. I.e. for a flag conjunction <code>fc</code>, </div><!-- end member-title --> <div class="member-body"> - <p>A FlagSet represents a set of flags. Flags are encoded as follows: + <div class="member-body-short" id="short-body-FlagSet"> + <p>A FlagSet represents a set of flags. Flags are encoded as follows: The first two bits indicate whether a flagset applies to terms, to types, or to both.... </p> + </div> + <div class="member-body-long" id ="long-body-FlagSet"> + <p>A FlagSet represents a set of flags. Flags are encoded as follows: +The first two bits indicate whether a flagset applies to terms, +to types, or to both. Bits 2..63 are available for properties +and can be doubly used for terms and types. +Combining two FlagSets with <code>|</code> will give a FlagSet +that has the intersection of the applicability to terms/types +of the two flag sets. It is checked that the intersection is not empty.</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="FlagSet$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlagSet$');">[+]</span> <span class="member-annotations"> </span> @@ -5460,16 +5540,40 @@ to types, or to both.... </div><!-- end member-title --> <div class="member-body"> - <p>A FlagSet represents a set of flags. Flags are encoded as follows: + <div class="member-body-short" id="short-body-FlagSet$"> + <p>A FlagSet represents a set of flags. Flags are encoded as follows: The first two bits indicate whether a flagset applies to terms, to types, or to both.... </p> + </div> + <div class="member-body-long" id ="long-body-FlagSet$"> + <p>A FlagSet represents a set of flags. Flags are encoded as follows: +The first two bits indicate whether a flagset applies to terms, +to types, or to both. Bits 2..63 are available for properties +and can be doubly used for terms and types. +Combining two FlagSets with <code>|</code> will give a FlagSet +that has the intersection of the applicability to terms/types +of the two flag sets. It is checked that the intersection is not empty.</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="AbsOverride" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AbsOverride');">[+]</span> <span class="member-annotations"> </span> @@ -5495,13 +5599,31 @@ to types, or to both.... </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with of abstract & override</p> + <div class="member-body-short" id="short-body-AbsOverride"> + <p>Labeled with of abstract & override</p> + + </div> + <div class="member-body-long" id ="long-body-AbsOverride"> + <p>Labeled with of abstract & override</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="Abstract" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Abstract');">[+]</span> <span class="member-annotations"> </span> @@ -5527,15 +5649,35 @@ to types, or to both.... </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>abstract</code> modifier (an abstract class) + <div class="member-body-short" id="short-body-Abstract"> + <p>Labeled with <code>abstract</code> modifier (an abstract class) Note: You should never see Abstract on any symbol except a class. Note: the flag counts as common, be...</p> + </div> + <div class="member-body-long" id ="long-body-Abstract"> + <p>Labeled with <code>abstract</code> modifier (an abstract class) +Note: You should never see Abstract on any symbol except a class. +Note: the flag counts as common, because it can be combined with OVERRIDE in a term.</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="AbstractAndOverride" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AbstractAndOverride');">[+]</span> <span class="member-annotations"> </span> @@ -5561,12 +5703,29 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-AbstractAndOverride"> + + </div> + <div class="member-body-long" id ="long-body-AbstractAndOverride"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="AbstractFinal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AbstractFinal');">[+]</span> <span class="member-annotations"> </span> @@ -5592,12 +5751,29 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-AbstractFinal"> + + </div> + <div class="member-body-long" id ="long-body-AbstractFinal"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="AbstractOrTrait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AbstractOrTrait');">[+]</span> <span class="member-annotations"> </span> @@ -5623,13 +5799,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>An abstract class or a trait</p> + <div class="member-body-short" id="short-body-AbstractOrTrait"> + <p>An abstract class or a trait</p> + + </div> + <div class="member-body-long" id ="long-body-AbstractOrTrait"> + <p>An abstract class or 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="AbstractSealed" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AbstractSealed');">[+]</span> <span class="member-annotations"> </span> @@ -5655,12 +5849,29 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-AbstractSealed"> + + </div> + <div class="member-body-long" id ="long-body-AbstractSealed"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="AccessFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AccessFlags');">[+]</span> <span class="member-annotations"> </span> @@ -5686,13 +5897,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags representing access rights</p> + <div class="member-body-short" id="short-body-AccessFlags"> + <p>Flags representing access rights</p> + + </div> + <div class="member-body-long" id ="long-body-AccessFlags"> + <p>Flags representing access rights</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="Accessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Accessor');">[+]</span> <span class="member-annotations"> </span> @@ -5718,13 +5947,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>A value or variable accessor (getter or setter)</p> + <div class="member-body-short" id="short-body-Accessor"> + <p>A value or variable accessor (getter or setter)</p> + + </div> + <div class="member-body-long" id ="long-body-Accessor"> + <p>A value or variable accessor (getter or 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="AccessorCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AccessorCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -5750,13 +5997,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Accessors always have these flags set</p> + <div class="member-body-short" id="short-body-AccessorCreationFlags"> + <p>Accessors always have these flags set</p> + + </div> + <div class="member-body-long" id ="long-body-AccessorCreationFlags"> + <p>Accessors always have these flags 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="AccessorOrSealed" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AccessorOrSealed');">[+]</span> <span class="member-annotations"> </span> @@ -5782,12 +6047,29 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-AccessorOrSealed"> + + </div> + <div class="member-body-long" id ="long-body-AccessorOrSealed"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="AliasPreferred" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AliasPreferred');">[+]</span> <span class="member-annotations"> </span> @@ -5813,13 +6095,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>If symbol of a type alias has these flags, prefer the alias</p> + <div class="member-body-short" id="short-body-AliasPreferred"> + <p>If symbol of a type alias has these flags, prefer the alias</p> + + </div> + <div class="member-body-long" id ="long-body-AliasPreferred"> + <p>If symbol of a type alias has these flags, prefer the alias</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="AnyFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AnyFlags');">[+]</span> <span class="member-annotations"> </span> @@ -5845,12 +6145,29 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-AnyFlags"> + + </div> + <div class="member-body-long" id ="long-body-AnyFlags"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Artifact" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Artifact');">[+]</span> <span class="member-annotations"> </span> @@ -5876,13 +6193,31 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol should be ignored when typechecking; will be marked ACC_SYNTHETIC in bytecode</p> + <div class="member-body-short" id="short-body-Artifact"> + <p>Symbol should be ignored when typechecking; will be marked ACC_SYNTHETIC in bytecode</p> + + </div> + <div class="member-body-long" id ="long-body-Artifact"> + <p>Symbol should be ignored when typechecking; will be marked ACC_SYNTHETIC in bytecode</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="BaseTypeArg" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'BaseTypeArg');">[+]</span> <span class="member-annotations"> </span> @@ -5908,14 +6243,33 @@ Note: the flag counts as common, be...</p> </div><!-- end member-title --> <div class="member-body"> - <p>A binding for a type parameter of a base class or trait. + <div class="member-body-short" id="short-body-BaseTypeArg"> + <p>A binding for a type parameter of a base class or trait. TODO: Replace with combination of isType, ExpandedName, and Override?</p> + </div> + <div class="member-body-long" id ="long-body-BaseTypeArg"> + <p>A binding for a type parameter of a base class or trait. +TODO: Replace with combination of isType, ExpandedName, and Override?</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="BindDefinedType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'BindDefinedType');">[+]</span> <span class="member-annotations"> </span> @@ -5941,13 +6295,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A type that is defined by a type bind</p> + <div class="member-body-short" id="short-body-BindDefinedType"> + <p>A type that is defined by a type bind</p> + </div> + <div class="member-body-long" id ="long-body-BindDefinedType"> + <p>A type that is defined by a type bind</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="Bridge" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Bridge');">[+]</span> <span class="member-annotations"> </span> @@ -5973,13 +6345,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A bridge method. Set by Erasure</p> + <div class="member-body-short" id="short-body-Bridge"> + <p>A bridge method. Set by Erasure</p> + + </div> + <div class="member-body-long" id ="long-body-Bridge"> + <p>A bridge method. Set by Erasure</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="Captured" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Captured');">[+]</span> <span class="member-annotations"> </span> @@ -6005,13 +6395,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Variable is accessed from nested function.</p> + <div class="member-body-short" id="short-body-Captured"> + <p>Variable is accessed from nested function.</p> + + </div> + <div class="member-body-long" id ="long-body-Captured"> + <p>Variable is accessed from nested function.</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="Case" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Case');">[+]</span> <span class="member-annotations"> </span> @@ -6037,13 +6445,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A case class or its companion object</p> + <div class="member-body-short" id="short-body-Case"> + <p>A case class or its companion object</p> + + </div> + <div class="member-body-long" id ="long-body-Case"> + <p>A case 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="CaseAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CaseAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -6069,13 +6495,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A case parameter accessor</p> + <div class="member-body-short" id="short-body-CaseAccessor"> + <p>A case parameter accessor</p> + + </div> + <div class="member-body-long" id ="long-body-CaseAccessor"> + <p>A case parameter accessor</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="CaseAccessorOrBaseTypeArg" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CaseAccessorOrBaseTypeArg');">[+]</span> <span class="member-annotations"> </span> @@ -6101,12 +6545,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-CaseAccessorOrBaseTypeArg"> + + </div> + <div class="member-body-long" id ="long-body-CaseAccessorOrBaseTypeArg"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="CaseClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CaseClass');">[+]</span> <span class="member-annotations"> </span> @@ -6132,12 +6593,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-CaseClass"> + + </div> + <div class="member-body-long" id ="long-body-CaseClass"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="CaseVal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CaseVal');">[+]</span> <span class="member-annotations"> </span> @@ -6163,12 +6641,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-CaseVal"> + + </div> + <div class="member-body-long" id ="long-body-CaseVal"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Contravariant" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Contravariant');">[+]</span> <span class="member-annotations"> </span> @@ -6194,12 +6689,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Contravariant"> + + </div> + <div class="member-body-long" id ="long-body-Contravariant"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="ContravariantOrLabel" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ContravariantOrLabel');">[+]</span> <span class="member-annotations"> </span> @@ -6225,13 +6737,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A contravariant type variable / a label method</p> + <div class="member-body-short" id="short-body-ContravariantOrLabel"> + <p>A contravariant type variable / a label method</p> + </div> + <div class="member-body-long" id ="long-body-ContravariantOrLabel"> + <p>A contravariant type variable / a label 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="Covariant" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Covariant');">[+]</span> <span class="member-annotations"> </span> @@ -6257,12 +6787,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Covariant"> + + </div> + <div class="member-body-long" id ="long-body-Covariant"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="CovariantOrOuter" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CovariantOrOuter');">[+]</span> <span class="member-annotations"> </span> @@ -6288,13 +6835,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A covariant type variable / an outer accessor</p> + <div class="member-body-short" id="short-body-CovariantOrOuter"> + <p>A covariant type variable / an outer accessor</p> + </div> + <div class="member-body-long" id ="long-body-CovariantOrOuter"> + <p>A covariant type variable / an outer accessor</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="DefaultMethod" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DefaultMethod');">[+]</span> <span class="member-annotations"> </span> @@ -6320,13 +6885,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a Java default method</p> + <div class="member-body-short" id="short-body-DefaultMethod"> + <p>Symbol is a Java default method</p> + + </div> + <div class="member-body-long" id ="long-body-DefaultMethod"> + <p>Symbol is a Java default 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="DefaultParameter" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DefaultParameter');">[+]</span> <span class="member-annotations"> </span> @@ -6352,13 +6935,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is a default parameter in Scala 2</p> + <div class="member-body-short" id="short-body-DefaultParameter"> + <p>Is a default parameter in Scala 2</p> + + </div> + <div class="member-body-long" id ="long-body-DefaultParameter"> + <p>Is a default parameter in Scala 2</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="DefaultParameterized" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DefaultParameterized');">[+]</span> <span class="member-annotations"> </span> @@ -6384,13 +6985,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A method that has default params</p> + <div class="member-body-short" id="short-body-DefaultParameterized"> + <p>A method that has default params</p> + + </div> + <div class="member-body-long" id ="long-body-DefaultParameterized"> + <p>A method that has default params</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="Deferred" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Deferred');">[+]</span> <span class="member-annotations"> </span> @@ -6416,13 +7035,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A declared, but not defined member</p> + <div class="member-body-short" id="short-body-Deferred"> + <p>A declared, but not defined member</p> + + </div> + <div class="member-body-long" id ="long-body-Deferred"> + <p>A declared, but not defined member</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="DeferredOrParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DeferredOrParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -6448,13 +7085,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A deferred member or a parameter accessor (these don't have right hand sides)</p> + <div class="member-body-short" id="short-body-DeferredOrParamAccessor"> + <p>A deferred member or a parameter accessor (these don't have right hand sides)</p> + + </div> + <div class="member-body-long" id ="long-body-DeferredOrParamAccessor"> + <p>A deferred member or a parameter accessor (these don't have right hand sides)</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="DeferredTerm" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DeferredTerm');">[+]</span> <span class="member-annotations"> </span> @@ -6480,12 +7135,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-DeferredTerm"> + + </div> + <div class="member-body-long" id ="long-body-DeferredTerm"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="DeferredType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DeferredType');">[+]</span> <span class="member-annotations"> </span> @@ -6511,12 +7183,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-DeferredType"> + + </div> + <div class="member-body-long" id ="long-body-DeferredType"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="EmptyFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'EmptyFlags');">[+]</span> <span class="member-annotations"> </span> @@ -6542,13 +7231,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>The empty flag set</p> + <div class="member-body-short" id="short-body-EmptyFlags"> + <p>The empty flag set</p> + + </div> + <div class="member-body-long" id ="long-body-EmptyFlags"> + <p>The empty 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="Enum" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Enum');">[+]</span> <span class="member-annotations"> </span> @@ -6574,13 +7281,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a Java enum</p> + <div class="member-body-short" id="short-body-Enum"> + <p>Symbol is a Java enum</p> + + </div> + <div class="member-body-long" id ="long-body-Enum"> + <p>Symbol is a Java enum</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="Erroneous" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Erroneous');">[+]</span> <span class="member-annotations"> </span> @@ -6606,13 +7331,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>An error symbol</p> + <div class="member-body-short" id="short-body-Erroneous"> + <p>An error symbol</p> + + </div> + <div class="member-body-long" id ="long-body-Erroneous"> + <p>An error 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="ExpandedName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ExpandedName');">[+]</span> <span class="member-annotations"> </span> @@ -6638,13 +7381,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol's name is expanded</p> + <div class="member-body-short" id="short-body-ExpandedName"> + <p>Symbol's name is expanded</p> + + </div> + <div class="member-body-long" id ="long-body-ExpandedName"> + <p>Symbol's name is expanded</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="ExpandedTypeParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ExpandedTypeParam');">[+]</span> <span class="member-annotations"> </span> @@ -6670,13 +7431,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A type parameter with synthesized name</p> + <div class="member-body-short" id="short-body-ExpandedTypeParam"> + <p>A type parameter with synthesized name</p> + </div> + <div class="member-body-long" id ="long-body-ExpandedTypeParam"> + <p>A type parameter with synthesized 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="Final" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Final');">[+]</span> <span class="member-annotations"> </span> @@ -6702,13 +7481,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>final</code> modifier</p> + <div class="member-body-short" id="short-body-Final"> + <p>Labeled with <code>final</code> modifier</p> + </div> + <div class="member-body-long" id ="long-body-Final"> + <p>Labeled with <code>final</code> modifier</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="FinalOrInline" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FinalOrInline');">[+]</span> <span class="member-annotations"> </span> @@ -6734,13 +7531,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>value that's final or inline</p> + <div class="member-body-short" id="short-body-FinalOrInline"> + <p>value that's final or inline</p> + + </div> + <div class="member-body-long" id ="long-body-FinalOrInline"> + <p>value that's final or inline</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="FirstFlag" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FirstFlag');">[+]</span> <span class="member-annotations"> </span> @@ -6766,12 +7581,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-FirstFlag"> + + </div> + <div class="member-body-long" id ="long-body-FirstFlag"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="FirstNotPickledFlag" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FirstNotPickledFlag');">[+]</span> <span class="member-annotations"> </span> @@ -6797,12 +7629,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-FirstNotPickledFlag"> + + </div> + <div class="member-body-long" id ="long-body-FirstNotPickledFlag"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Fresh" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Fresh');">[+]</span> <span class="member-annotations"> </span> @@ -6828,13 +7677,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol always defines a fresh named type</p> + <div class="member-body-short" id="short-body-Fresh"> + <p>Symbol always defines a fresh named type</p> + </div> + <div class="member-body-long" id ="long-body-Fresh"> + <p>Symbol always defines a fresh named 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="FromStartFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FromStartFlags');">[+]</span> <span class="member-annotations"> </span> @@ -6860,13 +7727,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags guaranteed to be set upon symbol creation</p> + <div class="member-body-short" id="short-body-FromStartFlags"> + <p>Flags guaranteed to be set upon symbol creation</p> + + </div> + <div class="member-body-long" id ="long-body-FromStartFlags"> + <p>Flags guaranteed to be set upon symbol creation</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="Frozen" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Frozen');">[+]</span> <span class="member-annotations"> </span> @@ -6892,13 +7777,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Class is not allowed to accept new members because fingerprint of subclass has been taken</p> + <div class="member-body-short" id="short-body-Frozen"> + <p>Class is not allowed to accept new members because fingerprint of subclass has been taken</p> + + </div> + <div class="member-body-long" id ="long-body-Frozen"> + <p>Class is not allowed to accept new members because fingerprint of subclass has been taken</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="FullyCompleted" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FullyCompleted');">[+]</span> <span class="member-annotations"> </span> @@ -6924,13 +7827,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>All class attributes are fully defined</p> + <div class="member-body-short" id="short-body-FullyCompleted"> + <p>All class attributes are fully defined</p> + + </div> + <div class="member-body-long" id ="long-body-FullyCompleted"> + <p>All class attributes are fully defined</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" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'HasDefaultParams');">[+]</span> <span class="member-annotations"> </span> @@ -6956,13 +7877,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has defined or inherited default parameters</p> + <div class="member-body-short" id="short-body-HasDefaultParams"> + <p>Has defined or inherited default parameters</p> + + </div> + <div class="member-body-long" id ="long-body-HasDefaultParams"> + <p>Has 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="HigherKinded" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'HigherKinded');">[+]</span> <span class="member-annotations"> </span> @@ -6988,12 +7927,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-HigherKinded"> + + </div> + <div class="member-body-long" id ="long-body-HigherKinded"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="ImplClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ImplClass');">[+]</span> <span class="member-annotations"> </span> @@ -7019,13 +7975,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is an implementation class of a Scala2 trait</p> + <div class="member-body-short" id="short-body-ImplClass"> + <p>Symbol is an implementation class of a Scala2 trait</p> + + </div> + <div class="member-body-long" id ="long-body-ImplClass"> + <p>Symbol is an implementation class of a Scala2 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="Implicit" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Implicit');">[+]</span> <span class="member-annotations"> </span> @@ -7051,12 +8025,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Implicit"> + + </div> + <div class="member-body-long" id ="long-body-Implicit"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="ImplicitCommon" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitCommon');">[+]</span> <span class="member-annotations"> </span> @@ -7082,13 +8073,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>implicit</code> modifier (implicit value)</p> + <div class="member-body-short" id="short-body-ImplicitCommon"> + <p>Labeled with <code>implicit</code> modifier (implicit value)</p> + + </div> + <div class="member-body-long" id ="long-body-ImplicitCommon"> + <p>Labeled with <code>implicit</code> modifier (implicit value)</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="InSuperCall" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InSuperCall');">[+]</span> <span class="member-annotations"> </span> @@ -7114,13 +8123,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is defined in a super call</p> + <div class="member-body-short" id="short-body-InSuperCall"> + <p>Symbol is defined in a super call</p> + + </div> + <div class="member-body-long" id ="long-body-InSuperCall"> + <p>Symbol is defined in a super call</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="InheritedDefaultParams" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InheritedDefaultParams');">[+]</span> <span class="member-annotations"> </span> @@ -7146,13 +8173,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A method that is known to have inherited default parameters</p> + <div class="member-body-short" id="short-body-InheritedDefaultParams"> + <p>A method that is known to have inherited default parameters</p> + </div> + <div class="member-body-long" id ="long-body-InheritedDefaultParams"> + <p>A method that is known to have 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="Inline" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Inline');">[+]</span> <span class="member-annotations"> </span> @@ -7178,13 +8223,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is inlined</p> + <div class="member-body-short" id="short-body-Inline"> + <p>Symbol is inlined</p> + </div> + <div class="member-body-long" id ="long-body-Inline"> + <p>Symbol is inlined</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="InlineMethod" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InlineMethod');">[+]</span> <span class="member-annotations"> </span> @@ -7210,13 +8273,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>An inline method</p> + <div class="member-body-short" id="short-body-InlineMethod"> + <p>An inline method</p> + </div> + <div class="member-body-long" id ="long-body-InlineMethod"> + <p>An inline 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="InlineParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InlineParam');">[+]</span> <span class="member-annotations"> </span> @@ -7242,13 +8323,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>An inline parameter</p> + <div class="member-body-short" id="short-body-InlineParam"> + <p>An inline parameter</p> + </div> + <div class="member-body-long" id ="long-body-InlineParam"> + <p>An inline 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="JavaDefined" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaDefined');">[+]</span> <span class="member-annotations"> </span> @@ -7274,13 +8373,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is defined by a Java class</p> + <div class="member-body-short" id="short-body-JavaDefined"> + <p>Symbol is defined by a Java class</p> + + </div> + <div class="member-body-long" id ="long-body-JavaDefined"> + <p>Symbol is defined by a Java 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="JavaInterface" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaInterface');">[+]</span> <span class="member-annotations"> </span> @@ -7306,13 +8423,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A Java interface</p> + <div class="member-body-short" id="short-body-JavaInterface"> + <p>A Java interface</p> + + </div> + <div class="member-body-long" id ="long-body-JavaInterface"> + <p>A Java interface</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="JavaModule" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaModule');">[+]</span> <span class="member-annotations"> </span> @@ -7338,13 +8473,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A Java companion object</p> + <div class="member-body-short" id="short-body-JavaModule"> + <p>A Java companion object</p> + + </div> + <div class="member-body-long" id ="long-body-JavaModule"> + <p>A Java 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="JavaProtected" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaProtected');">[+]</span> <span class="member-annotations"> </span> @@ -7370,13 +8523,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A Java companion object</p> + <div class="member-body-short" id="short-body-JavaProtected"> + <p>A Java companion object</p> + + </div> + <div class="member-body-long" id ="long-body-JavaProtected"> + <p>A Java 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="JavaStatic" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaStatic');">[+]</span> <span class="member-annotations"> </span> @@ -7402,13 +8573,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is implemented as a Java static</p> + <div class="member-body-short" id="short-body-JavaStatic"> + <p>Symbol is implemented as a Java static</p> + + </div> + <div class="member-body-long" id ="long-body-JavaStatic"> + <p>Symbol is implemented as a Java static</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="JavaStaticTerm" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaStaticTerm');">[+]</span> <span class="member-annotations"> </span> @@ -7434,12 +8623,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-JavaStaticTerm"> + + </div> + <div class="member-body-long" id ="long-body-JavaStaticTerm"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="JavaStaticType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaStaticType');">[+]</span> <span class="member-annotations"> </span> @@ -7465,12 +8671,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-JavaStaticType"> + + </div> + <div class="member-body-long" id ="long-body-JavaStaticType"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="JavaTrait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaTrait');">[+]</span> <span class="member-annotations"> </span> @@ -7496,13 +8719,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A Java interface, potentially with default methods</p> + <div class="member-body-short" id="short-body-JavaTrait"> + <p>A Java interface, potentially with default methods</p> + + </div> + <div class="member-body-long" id ="long-body-JavaTrait"> + <p>A Java interface, potentially with default methods</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="JavaVarargs" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'JavaVarargs');">[+]</span> <span class="member-annotations"> </span> @@ -7528,13 +8769,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a Java-style varargs method</p> + <div class="member-body-short" id="short-body-JavaVarargs"> + <p>Symbol is a Java-style varargs method</p> + + </div> + <div class="member-body-long" id ="long-body-JavaVarargs"> + <p>Symbol is a Java-style varargs 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="KINDFLAGS" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'KINDFLAGS');">[+]</span> <span class="member-annotations"> </span> @@ -7560,12 +8819,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-KINDFLAGS"> + + </div> + <div class="member-body-long" id ="long-body-KINDFLAGS"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Label" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Label');">[+]</span> <span class="member-annotations"> </span> @@ -7591,12 +8867,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Label"> + + </div> + <div class="member-body-long" id ="long-body-Label"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Lazy" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Lazy');">[+]</span> <span class="member-annotations"> </span> @@ -7622,13 +8915,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>lazy</code> (a lazy val).</p> + <div class="member-body-short" id="short-body-Lazy"> + <p>Labeled with <code>lazy</code> (a lazy val).</p> + + </div> + <div class="member-body-long" id ="long-body-Lazy"> + <p>Labeled with <code>lazy</code> (a lazy val).</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="LazyOrDeferred" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'LazyOrDeferred');">[+]</span> <span class="member-annotations"> </span> @@ -7654,13 +8965,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>A lazy or deferred value</p> + <div class="member-body-short" id="short-body-LazyOrDeferred"> + <p>A lazy or deferred value</p> + + </div> + <div class="member-body-long" id ="long-body-LazyOrDeferred"> + <p>A lazy or deferred value</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="LazyOrTrait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'LazyOrTrait');">[+]</span> <span class="member-annotations"> </span> @@ -7686,12 +9015,29 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-LazyOrTrait"> + + </div> + <div class="member-body-long" id ="long-body-LazyOrTrait"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Lifted" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Lifted');">[+]</span> <span class="member-annotations"> </span> @@ -7717,13 +9063,31 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Class has been lifted out to package level, local value has been lifted out to class level</p> + <div class="member-body-short" id="short-body-Lifted"> + <p>Class has been lifted out to package level, local value has been lifted out to class level</p> + + </div> + <div class="member-body-long" id ="long-body-Lifted"> + <p>Class has been lifted out to package level, local value has been lifted out to class level</p> + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Local" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Local');">[+]</span> <span class="member-annotations"> </span> @@ -7749,14 +9113,33 @@ TODO: Replace with combination of isType, ExpandedName, and Override?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is local to current class (i.e. private[this] or protected[this] + <div class="member-body-short" id="short-body-Local"> + <p>Symbol is local to current class (i.e. private[this] or protected[this] +pre: Private or Protected are also set</p> + + </div> + <div class="member-body-long" id ="long-body-Local"> + <p>Symbol is local to current class (i.e. private[this] or protected[this] pre: Private or Protected are also 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="LocalContravariant" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'LocalContravariant');">[+]</span> <span class="member-annotations"> </span> @@ -7782,13 +9165,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A contravariant type parameter instance</p> + <div class="member-body-short" id="short-body-LocalContravariant"> + <p>A contravariant type parameter instance</p> + </div> + <div class="member-body-long" id ="long-body-LocalContravariant"> + <p>A contravariant type parameter 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="LocalCovariant" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'LocalCovariant');">[+]</span> <span class="member-annotations"> </span> @@ -7814,13 +9215,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A covariant type parameter instance</p> + <div class="member-body-short" id="short-body-LocalCovariant"> + <p>A covariant type parameter instance</p> + </div> + <div class="member-body-long" id ="long-body-LocalCovariant"> + <p>A covariant type parameter 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="Macro" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Macro');">[+]</span> <span class="member-annotations"> </span> @@ -7846,13 +9265,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A macro (Scala 2.x only)</p> + <div class="member-body-short" id="short-body-Macro"> + <p>A macro (Scala 2.x only)</p> + + </div> + <div class="member-body-long" id ="long-body-Macro"> + <p>A macro (Scala 2.x only)</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="MaxFlag" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MaxFlag');">[+]</span> <span class="member-annotations"> </span> @@ -7878,12 +9315,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-MaxFlag"> + + </div> + <div class="member-body-long" id ="long-body-MaxFlag"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Method" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Method');">[+]</span> <span class="member-annotations"> </span> @@ -7909,12 +9363,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Method"> + + </div> + <div class="member-body-long" id ="long-body-Method"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="MethodOrHKCommon" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MethodOrHKCommon');">[+]</span> <span class="member-annotations"> </span> @@ -7940,13 +9411,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A method symbol.</p> + <div class="member-body-short" id="short-body-MethodOrHKCommon"> + <p>A method symbol.</p> + + </div> + <div class="member-body-long" id ="long-body-MethodOrHKCommon"> + <p>A method 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="MethodOrLazy" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MethodOrLazy');">[+]</span> <span class="member-annotations"> </span> @@ -7972,13 +9461,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Either method or lazy</p> + <div class="member-body-short" id="short-body-MethodOrLazy"> + <p>Either method or lazy</p> + + </div> + <div class="member-body-long" id ="long-body-MethodOrLazy"> + <p>Either method or lazy</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="MethodOrLazyOrDeferred" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MethodOrLazyOrDeferred');">[+]</span> <span class="member-annotations"> </span> @@ -8004,13 +9511,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Either method or lazy or deferred</p> + <div class="member-body-short" id="short-body-MethodOrLazyOrDeferred"> + <p>Either method or lazy or deferred</p> + + </div> + <div class="member-body-long" id ="long-body-MethodOrLazyOrDeferred"> + <p>Either method or lazy or 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="MixedIn" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MixedIn');">[+]</span> <span class="member-annotations"> </span> @@ -8036,13 +9561,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Term member has been mixed in</p> + <div class="member-body-short" id="short-body-MixedIn"> + <p>Term member has been mixed in</p> + + </div> + <div class="member-body-long" id ="long-body-MixedIn"> + <p>Term member has been mixed in</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="ModifierFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModifierFlags');">[+]</span> <span class="member-annotations"> </span> @@ -8068,13 +9611,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags representing modifiers that can appear in trees</p> + <div class="member-body-short" id="short-body-ModifierFlags"> + <p>Flags representing modifiers that can appear in trees</p> + + </div> + <div class="member-body-long" id ="long-body-ModifierFlags"> + <p>Flags representing modifiers that can appear in trees</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="Module" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Module');">[+]</span> <span class="member-annotations"> </span> @@ -8100,13 +9661,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A value or class implementing a module</p> + <div class="member-body-short" id="short-body-Module"> + <p>A value or class implementing a module</p> + + </div> + <div class="member-body-long" id ="long-body-Module"> + <p>A value or class implementing a module</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" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleClass');">[+]</span> <span class="member-annotations"> </span> @@ -8132,12 +9711,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ModuleClass"> + + </div> + <div class="member-body-long" id ="long-body-ModuleClass"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="ModuleClassCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleClassCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -8163,13 +9759,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Module classes always have these flags set</p> + <div class="member-body-short" id="short-body-ModuleClassCreationFlags"> + <p>Module classes always have these flags set</p> + + </div> + <div class="member-body-long" id ="long-body-ModuleClassCreationFlags"> + <p>Module classes always have these flags 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="ModuleCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -8195,13 +9809,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Modules always have these flags set</p> + <div class="member-body-short" id="short-body-ModuleCreationFlags"> + <p>Modules always have these flags set</p> + + </div> + <div class="member-body-long" id ="long-body-ModuleCreationFlags"> + <p>Modules always have these flags 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="ModuleOrFinal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleOrFinal');">[+]</span> <span class="member-annotations"> </span> @@ -8227,13 +9859,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Either a module or a final class</p> + <div class="member-body-short" id="short-body-ModuleOrFinal"> + <p>Either a module or a final class</p> + </div> + <div class="member-body-long" id ="long-body-ModuleOrFinal"> + <p>Either a module or a final 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="ModuleVal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleVal');">[+]</span> <span class="member-annotations"> </span> @@ -8259,12 +9909,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ModuleVal"> + + </div> + <div class="member-body-long" id ="long-body-ModuleVal"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Mutable" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Mutable');">[+]</span> <span class="member-annotations"> </span> @@ -8290,13 +9957,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A mutable var</p> + <div class="member-body-short" id="short-body-Mutable"> + <p>A mutable var</p> + </div> + <div class="member-body-long" id ="long-body-Mutable"> + <p>A mutable var</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="MutableOrLazy" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MutableOrLazy');">[+]</span> <span class="member-annotations"> </span> @@ -8322,13 +10007,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Either mutable or lazy</p> + <div class="member-body-short" id="short-body-MutableOrLazy"> + <p>Either mutable or lazy</p> + + </div> + <div class="member-body-long" id ="long-body-MutableOrLazy"> + <p>Either mutable or lazy</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="NamedTypeParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NamedTypeParam');">[+]</span> <span class="member-annotations"> </span> @@ -8354,13 +10057,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A type parameter introduced with [type ... ]</p> + <div class="member-body-short" id="short-body-NamedTypeParam"> + <p>A type parameter introduced with [type ... ]</p> + + </div> + <div class="member-body-long" id ="long-body-NamedTypeParam"> + <p>A type parameter introduced with [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="NoDefaultParams" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NoDefaultParams');">[+]</span> <span class="member-annotations"> </span> @@ -8386,13 +10107,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A method that is known to have no default parameters</p> + <div class="member-body-short" id="short-body-NoDefaultParams"> + <p>A method that is known to have no default parameters</p> + + </div> + <div class="member-body-long" id ="long-body-NoDefaultParams"> + <p>A method that is known to have no 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="NoInits" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NoInits');">[+]</span> <span class="member-annotations"> </span> @@ -8418,13 +10157,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Trait does not have fields or initialization code</p> + <div class="member-body-short" id="short-body-NoInits"> + <p>Trait does not have fields or initialization code</p> + + </div> + <div class="member-body-long" id ="long-body-NoInits"> + <p>Trait does not have fields or initialization 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="NoInitsInterface" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NoInitsInterface');">[+]</span> <span class="member-annotations"> </span> @@ -8450,12 +10207,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-NoInitsInterface"> + + </div> + <div class="member-body-long" id ="long-body-NoInitsInterface"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="NoInitsTrait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NoInitsTrait');">[+]</span> <span class="member-annotations"> </span> @@ -8481,13 +10255,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A trait that does not need to be initialized</p> + <div class="member-body-short" id="short-body-NoInitsTrait"> + <p>A trait that does not need to be initialized</p> + + </div> + <div class="member-body-long" id ="long-body-NoInitsTrait"> + <p>A trait that does not need to be initialized</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="OuterAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'OuterAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -8513,12 +10305,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-OuterAccessor"> + + </div> + <div class="member-body-long" id ="long-body-OuterAccessor"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Override" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Override');">[+]</span> <span class="member-annotations"> </span> @@ -8544,13 +10353,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>override</code> modifier</p> + <div class="member-body-short" id="short-body-Override"> + <p>Labeled with <code>override</code> modifier</p> + + </div> + <div class="member-body-long" id ="long-body-Override"> + <p>Labeled with <code>override</code> modifier</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="Package" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Package');">[+]</span> <span class="member-annotations"> </span> @@ -8576,13 +10403,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A value or class representing a package</p> + <div class="member-body-short" id="short-body-Package"> + <p>A value or class representing a package</p> + + </div> + <div class="member-body-long" id ="long-body-Package"> + <p>A value or class representing a package</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="PackageClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PackageClass');">[+]</span> <span class="member-annotations"> </span> @@ -8608,12 +10453,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-PackageClass"> + + </div> + <div class="member-body-long" id ="long-body-PackageClass"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="PackageCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PackageCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -8639,13 +10501,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>Packages and package classes always have these flags set</p> + <div class="member-body-short" id="short-body-PackageCreationFlags"> + <p>Packages and package classes always have these flags set</p> + + </div> + <div class="member-body-long" id ="long-body-PackageCreationFlags"> + <p>Packages and package classes always have these flags 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="PackageVal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PackageVal');">[+]</span> <span class="member-annotations"> </span> @@ -8671,12 +10551,29 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-PackageVal"> + + </div> + <div class="member-body-long" id ="long-body-PackageVal"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Param" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Param');">[+]</span> <span class="member-annotations"> </span> @@ -8702,13 +10599,31 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A (term or type) parameter to a class or method</p> + <div class="member-body-short" id="short-body-Param"> + <p>A (term or type) parameter to a class or method</p> + + </div> + <div class="member-body-long" id ="long-body-Param"> + <p>A (term or type) parameter to a class or 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="ParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -8734,14 +10649,33 @@ pre: Private or Protected are also set</p> </div><!-- end member-title --> <div class="member-body"> - <p>A field generated for a primary constructor parameter (no matter if it's a 'val' or not), + <div class="member-body-short" id="short-body-ParamAccessor"> + <p>A field generated for a primary constructor parameter (no matter if it's a 'val' or not), +or an accessor of such a field.</p> + + </div> + <div class="member-body-long" id ="long-body-ParamAccessor"> + <p>A field generated for a primary constructor parameter (no matter if it's a 'val' or not), or an accessor of such a field.</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="ParamAndLocal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ParamAndLocal');">[+]</span> <span class="member-annotations"> </span> @@ -8767,13 +10701,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A local parameter</p> + <div class="member-body-short" id="short-body-ParamAndLocal"> + <p>A local parameter</p> + + </div> + <div class="member-body-long" id ="long-body-ParamAndLocal"> + <p>A local 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="ParamForwarder" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ParamForwarder');">[+]</span> <span class="member-annotations"> </span> @@ -8799,13 +10751,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A parameter forwarder</p> + <div class="member-body-short" id="short-body-ParamForwarder"> + <p>A parameter forwarder</p> + </div> + <div class="member-body-long" id ="long-body-ParamForwarder"> + <p>A parameter forwarder</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="ParamOrAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ParamOrAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -8831,13 +10801,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A parameter or parameter accessor</p> + <div class="member-body-short" id="short-body-ParamOrAccessor"> + <p>A parameter or parameter accessor</p> + </div> + <div class="member-body-long" id ="long-body-ParamOrAccessor"> + <p>A parameter or parameter accessor</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="Permanent" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Permanent');">[+]</span> <span class="member-annotations"> </span> @@ -8863,13 +10851,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A denotation that is valid in all run-ids</p> + <div class="member-body-short" id="short-body-Permanent"> + <p>A denotation that is valid in all run-ids</p> + </div> + <div class="member-body-long" id ="long-body-Permanent"> + <p>A denotation that is valid in all run-ids</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="PickledFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PickledFlags');">[+]</span> <span class="member-annotations"> </span> @@ -8895,13 +10901,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>These flags are pickled</p> + <div class="member-body-short" id="short-body-PickledFlags"> + <p>These flags are pickled</p> + </div> + <div class="member-body-long" id ="long-body-PickledFlags"> + <p>These flags are pickled</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="Private" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Private');">[+]</span> <span class="member-annotations"> </span> @@ -8927,13 +10951,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>private</code> modifier</p> + <div class="member-body-short" id="short-body-Private"> + <p>Labeled with <code>private</code> modifier</p> + + </div> + <div class="member-body-long" id ="long-body-Private"> + <p>Labeled with <code>private</code> modifier</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="PrivateAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -8959,13 +11001,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A private accessor</p> + <div class="member-body-short" id="short-body-PrivateAccessor"> + <p>A private accessor</p> + + </div> + <div class="member-body-long" id ="long-body-PrivateAccessor"> + <p>A private accessor</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="PrivateLocal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateLocal');">[+]</span> <span class="member-annotations"> </span> @@ -8991,13 +11051,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled private[this]</p> + <div class="member-body-short" id="short-body-PrivateLocal"> + <p>Labeled private[this]</p> + + </div> + <div class="member-body-long" id ="long-body-PrivateLocal"> + <p>Labeled private[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="PrivateLocalParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateLocalParam');">[+]</span> <span class="member-annotations"> </span> @@ -9023,13 +11101,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A private[this] parameter</p> + <div class="member-body-short" id="short-body-PrivateLocalParam"> + <p>A private[this] parameter</p> + + </div> + <div class="member-body-long" id ="long-body-PrivateLocalParam"> + <p>A private[this] 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="PrivateLocalParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateLocalParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -9055,13 +11151,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A private[this] parameter accessor</p> + <div class="member-body-short" id="short-body-PrivateLocalParamAccessor"> + <p>A private[this] parameter accessor</p> + + </div> + <div class="member-body-long" id ="long-body-PrivateLocalParamAccessor"> + <p>A private[this] parameter accessor</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="PrivateMethod" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateMethod');">[+]</span> <span class="member-annotations"> </span> @@ -9087,13 +11201,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A private method</p> + <div class="member-body-short" id="short-body-PrivateMethod"> + <p>A private method</p> + </div> + <div class="member-body-long" id ="long-body-PrivateMethod"> + <p>A private 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="PrivateOrFinalOrInline" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateOrFinalOrInline');">[+]</span> <span class="member-annotations"> </span> @@ -9119,13 +11251,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled <code>private</code>, <code>final</code>, or <code>inline</code></p> + <div class="member-body-short" id="short-body-PrivateOrFinalOrInline"> + <p>Labeled <code>private</code>, <code>final</code>, or <code>inline</code></p> + </div> + <div class="member-body-long" id ="long-body-PrivateOrFinalOrInline"> + <p>Labeled <code>private</code>, <code>final</code>, or <code>inline</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="PrivateOrLocal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateOrLocal');">[+]</span> <span class="member-annotations"> </span> @@ -9151,13 +11301,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled <code>private</code> or <code>protected[local]</code></p> + <div class="member-body-short" id="short-body-PrivateOrLocal"> + <p>Labeled <code>private</code> or <code>protected[local]</code></p> + + </div> + <div class="member-body-long" id ="long-body-PrivateOrLocal"> + <p>Labeled <code>private</code> or <code>protected[local]</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="PrivateParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -9183,13 +11351,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A private parameter accessor</p> + <div class="member-body-short" id="short-body-PrivateParamAccessor"> + <p>A private parameter accessor</p> + + </div> + <div class="member-body-long" id ="long-body-PrivateParamAccessor"> + <p>A private parameter accessor</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="PrivateTerm" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateTerm');">[+]</span> <span class="member-annotations"> </span> @@ -9215,12 +11401,29 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-PrivateTerm"> + + </div> + <div class="member-body-long" id ="long-body-PrivateTerm"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="PrivateType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PrivateType');">[+]</span> <span class="member-annotations"> </span> @@ -9246,12 +11449,29 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-PrivateType"> + + </div> + <div class="member-body-long" id ="long-body-PrivateType"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Protected" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Protected');">[+]</span> <span class="member-annotations"> </span> @@ -9277,13 +11497,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>protected</code> modifier</p> + <div class="member-body-short" id="short-body-Protected"> + <p>Labeled with <code>protected</code> modifier</p> + </div> + <div class="member-body-long" id ="long-body-Protected"> + <p>Labeled with <code>protected</code> modifier</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="ProtectedLocal" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ProtectedLocal');">[+]</span> <span class="member-annotations"> </span> @@ -9309,13 +11547,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled protected[this]</p> + <div class="member-body-short" id="short-body-ProtectedLocal"> + <p>Labeled protected[this]</p> + </div> + <div class="member-body-long" id ="long-body-ProtectedLocal"> + <p>Labeled protected[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="PureInterface" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PureInterface');">[+]</span> <span class="member-annotations"> </span> @@ -9341,14 +11597,33 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A trait that has only abstract methods as members + <div class="member-body-short" id="short-body-PureInterface"> + <p>A trait that has only abstract methods as members +(and therefore can be represented by a Java interface</p> + + </div> + <div class="member-body-long" id ="long-body-PureInterface"> + <p>A trait that has only abstract methods as members (and therefore can be represented by a Java interface</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="PureInterfaceCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PureInterfaceCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9374,13 +11649,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Pure interfaces always have these flags</p> + <div class="member-body-short" id="short-body-PureInterfaceCreationFlags"> + <p>Pure interfaces always have these flags</p> + + </div> + <div class="member-body-long" id ="long-body-PureInterfaceCreationFlags"> + <p>Pure interfaces always have these flags</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="RetainedModuleClassFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'RetainedModuleClassFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9406,13 +11699,31 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags that can apply to a module class</p> + <div class="member-body-short" id="short-body-RetainedModuleClassFlags"> + <p>Flags that can apply to a module class</p> + + </div> + <div class="member-body-long" id ="long-body-RetainedModuleClassFlags"> + <p>Flags that can apply to a 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="RetainedModuleValAndClassFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'RetainedModuleValAndClassFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9438,14 +11749,33 @@ or an accessor of such a field.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags that can apply to both a module val and a module class, except those that + <div class="member-body-short" id="short-body-RetainedModuleValAndClassFlags"> + <p>Flags that can apply to both a module val and a module class, except those that are added at creation anyway</p> + </div> + <div class="member-body-long" id ="long-body-RetainedModuleValAndClassFlags"> + <p>Flags that can apply to both a module val and a module class, except those that +are added at creation anyway</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="RetainedModuleValFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'RetainedModuleValFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9471,13 +11801,31 @@ are added at creation anyway</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags that can apply to a module val</p> + <div class="member-body-short" id="short-body-RetainedModuleValFlags"> + <p>Flags that can apply to a module val</p> + + </div> + <div class="member-body-long" id ="long-body-RetainedModuleValFlags"> + <p>Flags that can apply to a module val</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="RetainedTypeArgFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'RetainedTypeArgFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9503,14 +11851,33 @@ are added at creation anyway</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags that are passed from a type parameter of a class to a refinement symbol + <div class="member-body-short" id="short-body-RetainedTypeArgFlags"> + <p>Flags that are passed from a type parameter of a class to a refinement symbol that sets the type parameter</p> + </div> + <div class="member-body-long" id ="long-body-RetainedTypeArgFlags"> + <p>Flags that are passed from a type parameter of a class to a refinement symbol +that sets the 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="Scala2Existential" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2Existential');">[+]</span> <span class="member-annotations"> </span> @@ -9536,12 +11903,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Scala2Existential"> + + </div> + <div class="member-body-long" id ="long-body-Scala2Existential"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Scala2ExistentialCommon" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2ExistentialCommon');">[+]</span> <span class="member-annotations"> </span> @@ -9567,13 +11951,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>An existentially bound symbol (Scala 2.x only)</p> + <div class="member-body-short" id="short-body-Scala2ExistentialCommon"> + <p>An existentially bound symbol (Scala 2.x only)</p> + </div> + <div class="member-body-long" id ="long-body-Scala2ExistentialCommon"> + <p>An existentially bound symbol (Scala 2.x only)</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="Scala2ModuleVar" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2ModuleVar');">[+]</span> <span class="member-annotations"> </span> @@ -9599,13 +12001,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A module variable (Scala 2.x only)</p> + <div class="member-body-short" id="short-body-Scala2ModuleVar"> + <p>A module variable (Scala 2.x only)</p> + </div> + <div class="member-body-long" id ="long-body-Scala2ModuleVar"> + <p>A module variable (Scala 2.x only)</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="Scala2Overloaded" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2Overloaded');">[+]</span> <span class="member-annotations"> </span> @@ -9631,13 +12051,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>An overloaded symbol (Scala 2.x only)</p> + <div class="member-body-short" id="short-body-Scala2Overloaded"> + <p>An overloaded symbol (Scala 2.x only)</p> + + </div> + <div class="member-body-long" id ="long-body-Scala2Overloaded"> + <p>An overloaded symbol (Scala 2.x only)</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="Scala2PreSuper" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2PreSuper');">[+]</span> <span class="member-annotations"> </span> @@ -9663,13 +12101,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A definition that's initialized before the super call (Scala 2.x only)</p> + <div class="member-body-short" id="short-body-Scala2PreSuper"> + <p>A definition that's initialized before the super call (Scala 2.x only)</p> + + </div> + <div class="member-body-long" id ="long-body-Scala2PreSuper"> + <p>A definition that's initialized before the super call (Scala 2.x only)</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="Scala2Trait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2Trait');">[+]</span> <span class="member-annotations"> </span> @@ -9695,12 +12151,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Scala2Trait"> + + </div> + <div class="member-body-long" id ="long-body-Scala2Trait"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Scala2x" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2x');">[+]</span> <span class="member-annotations"> </span> @@ -9726,13 +12199,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>An unpickled Scala 2.x class</p> + <div class="member-body-short" id="short-body-Scala2x"> + <p>An unpickled Scala 2.x class</p> + + </div> + <div class="member-body-long" id ="long-body-Scala2x"> + <p>An unpickled Scala 2.x 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="Sealed" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Sealed');">[+]</span> <span class="member-annotations"> </span> @@ -9758,13 +12249,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Labeled with <code>sealed</code> modifier (sealed class)</p> + <div class="member-body-short" id="short-body-Sealed"> + <p>Labeled with <code>sealed</code> modifier (sealed class)</p> + + </div> + <div class="member-body-long" id ="long-body-Sealed"> + <p>Labeled with <code>sealed</code> modifier (sealed 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="SelfName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SelfName');">[+]</span> <span class="member-annotations"> </span> @@ -9790,13 +12299,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a self name</p> + <div class="member-body-short" id="short-body-SelfName"> + <p>Symbol is a self name</p> + + </div> + <div class="member-body-long" id ="long-body-SelfName"> + <p>Symbol is a self 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="SelfNameOrImplClass" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SelfNameOrImplClass');">[+]</span> <span class="member-annotations"> </span> @@ -9822,12 +12349,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SelfNameOrImplClass"> + + </div> + <div class="member-body-long" id ="long-body-SelfNameOrImplClass"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="SelfSymFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SelfSymFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9853,13 +12397,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>The flags of the self symbol</p> + <div class="member-body-short" id="short-body-SelfSymFlags"> + <p>The flags of the self symbol</p> + + </div> + <div class="member-body-long" id ="long-body-SelfSymFlags"> + <p>The flags of the self 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="SourceModifierFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SourceModifierFlags');">[+]</span> <span class="member-annotations"> </span> @@ -9885,13 +12447,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags representing source modifiers</p> + <div class="member-body-short" id="short-body-SourceModifierFlags"> + <p>Flags representing source modifiers</p> + + </div> + <div class="member-body-long" id ="long-body-SourceModifierFlags"> + <p>Flags representing source modifiers</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="Specialized" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Specialized');">[+]</span> <span class="member-annotations"> </span> @@ -9917,13 +12497,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a generated specialized member</p> + <div class="member-body-short" id="short-body-Specialized"> + <p>Symbol is a generated specialized member</p> + </div> + <div class="member-body-long" id ="long-body-Specialized"> + <p>Symbol is a generated specialized member</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="Stable" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Stable');">[+]</span> <span class="member-annotations"> </span> @@ -9949,13 +12547,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Lazy val or method is known or assumed to be stable and realizable</p> + <div class="member-body-short" id="short-body-Stable"> + <p>Lazy val or method is known or assumed to be stable and realizable</p> + </div> + <div class="member-body-long" id ="long-body-Stable"> + <p>Lazy val or method is known or assumed to be stable and realizable</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="StaticProtected" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'StaticProtected');">[+]</span> <span class="member-annotations"> </span> @@ -9981,13 +12597,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Java symbol which is <code>protected</code> and <code>static</code></p> + <div class="member-body-short" id="short-body-StaticProtected"> + <p>Java symbol which is <code>protected</code> and <code>static</code></p> + </div> + <div class="member-body-long" id ="long-body-StaticProtected"> + <p>Java symbol which is <code>protected</code> and <code>static</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="SuperAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SuperAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -10013,13 +12647,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A super accessor</p> + <div class="member-body-short" id="short-body-SuperAccessor"> + <p>A super accessor</p> + </div> + <div class="member-body-long" id ="long-body-SuperAccessor"> + <p>A super accessor</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="SuperAccessorOrScala2x" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SuperAccessorOrScala2x');">[+]</span> <span class="member-annotations"> </span> @@ -10045,12 +12697,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SuperAccessorOrScala2x"> + + </div> + <div class="member-body-long" id ="long-body-SuperAccessorOrScala2x"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var 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" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Synchronized');">[+]</span> <span class="member-annotations"> </span> @@ -10076,13 +12745,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a method which should be marked ACC_SYNCHRONIZED</p> + <div class="member-body-short" id="short-body-Synchronized"> + <p>Symbol is a method which should be marked ACC_SYNCHRONIZED</p> + </div> + <div class="member-body-long" id ="long-body-Synchronized"> + <p>Symbol is a method which should be marked ACC_SYNCHRONIZED</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="Synthetic" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Synthetic');">[+]</span> <span class="member-annotations"> </span> @@ -10108,14 +12795,33 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A compiler-generated symbol, which is visible for type-checking + <div class="member-body-short" id="short-body-Synthetic"> + <p>A compiler-generated symbol, which is visible for type-checking +(compare with artifact)</p> + + </div> + <div class="member-body-long" id ="long-body-Synthetic"> + <p>A compiler-generated symbol, which is visible for type-checking (compare with artifact)</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="SyntheticArtifact" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticArtifact');">[+]</span> <span class="member-annotations"> </span> @@ -10141,12 +12847,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SyntheticArtifact"> + + </div> + <div class="member-body-long" id ="long-body-SyntheticArtifact"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="SyntheticCase" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticCase');">[+]</span> <span class="member-annotations"> </span> @@ -10172,12 +12895,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SyntheticCase"> + + </div> + <div class="member-body-long" id ="long-body-SyntheticCase"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="SyntheticModule" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticModule');">[+]</span> <span class="member-annotations"> </span> @@ -10203,12 +12943,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SyntheticModule"> + + </div> + <div class="member-body-long" id ="long-body-SyntheticModule"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="SyntheticOrPrivate" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticOrPrivate');">[+]</span> <span class="member-annotations"> </span> @@ -10234,13 +12991,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A synthetic or private definition</p> + <div class="member-body-short" id="short-body-SyntheticOrPrivate"> + <p>A synthetic or private definition</p> + + </div> + <div class="member-body-long" id ="long-body-SyntheticOrPrivate"> + <p>A synthetic or private 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="SyntheticTermParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticTermParam');">[+]</span> <span class="member-annotations"> </span> @@ -10266,12 +13041,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SyntheticTermParam"> + + </div> + <div class="member-body-long" id ="long-body-SyntheticTermParam"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="SyntheticTypeParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SyntheticTypeParam');">[+]</span> <span class="member-annotations"> </span> @@ -10297,12 +13089,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SyntheticTypeParam"> + + </div> + <div class="member-body-long" id ="long-body-SyntheticTypeParam"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TERMS" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TERMS');">[+]</span> <span class="member-annotations"> </span> @@ -10328,12 +13137,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TERMS"> + + </div> + <div class="member-body-long" id ="long-body-TERMS"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TERMindex" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TERMindex');">[+]</span> <span class="member-annotations"> </span> @@ -10359,12 +13185,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TERMindex"> + + </div> + <div class="member-body-long" id ="long-body-TERMindex"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TYPES" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TYPES');">[+]</span> <span class="member-annotations"> </span> @@ -10390,12 +13233,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TYPES"> + + </div> + <div class="member-body-long" id ="long-body-TYPES"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TYPESHIFT" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TYPESHIFT');">[+]</span> <span class="member-annotations"> </span> @@ -10421,12 +13281,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TYPESHIFT"> + + </div> + <div class="member-body-long" id ="long-body-TYPESHIFT"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TYPEindex" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TYPEindex');">[+]</span> <span class="member-annotations"> </span> @@ -10452,12 +13329,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TYPEindex"> + + </div> + <div class="member-body-long" id ="long-body-TYPEindex"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TermParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TermParam');">[+]</span> <span class="member-annotations"> </span> @@ -10483,12 +13377,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TermParam"> + + </div> + <div class="member-body-long" id ="long-body-TermParam"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TermParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TermParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -10514,12 +13425,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TermParamAccessor"> + + </div> + <div class="member-body-long" id ="long-body-TermParamAccessor"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Touched" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Touched');">[+]</span> <span class="member-annotations"> </span> @@ -10545,13 +13473,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Denotation is in train of being loaded and completed, used to catch cyclic dependencies</p> + <div class="member-body-short" id="short-body-Touched"> + <p>Denotation is in train of being loaded and completed, used to catch cyclic dependencies</p> + + </div> + <div class="member-body-long" id ="long-body-Touched"> + <p>Denotation is in train of being loaded and completed, used to catch cyclic dependencies</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="Trait" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Trait');">[+]</span> <span class="member-annotations"> </span> @@ -10577,13 +13523,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A trait</p> + <div class="member-body-short" id="short-body-Trait"> + <p>A trait</p> + + </div> + <div class="member-body-long" id ="long-body-Trait"> + <p>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="TypeParam" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeParam');">[+]</span> <span class="member-annotations"> </span> @@ -10609,12 +13573,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeParam"> + + </div> + <div class="member-body-long" id ="long-body-TypeParam"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TypeParamAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeParamAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -10640,12 +13621,29 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeParamAccessor"> + + </div> + <div class="member-body-long" id ="long-body-TypeParamAccessor"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="TypeParamOrAccessor" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeParamOrAccessor');">[+]</span> <span class="member-annotations"> </span> @@ -10671,13 +13669,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A type parameter or type parameter accessor</p> + <div class="member-body-short" id="short-body-TypeParamOrAccessor"> + <p>A type parameter or type parameter accessor</p> + </div> + <div class="member-body-long" id ="long-body-TypeParamOrAccessor"> + <p>A type parameter or type parameter accessor</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="UndefinedFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'UndefinedFlags');">[+]</span> <span class="member-annotations"> </span> @@ -10703,13 +13719,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>The undefined flag set</p> + <div class="member-body-short" id="short-body-UndefinedFlags"> + <p>The undefined flag set</p> + </div> + <div class="member-body-long" id ="long-body-UndefinedFlags"> + <p>The undefined 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="UnstableValue" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'UnstableValue');">[+]</span> <span class="member-annotations"> </span> @@ -10735,13 +13769,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>A value that's unstable unless complemented with a Stable flag</p> + <div class="member-body-short" id="short-body-UnstableValue"> + <p>A value that's unstable unless complemented with a Stable flag</p> + + </div> + <div class="member-body-long" id ="long-body-UnstableValue"> + <p>A value that's unstable unless complemented with a Stable flag</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="VBridge" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'VBridge');">[+]</span> <span class="member-annotations"> </span> @@ -10767,13 +13819,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Symbol is a Java varargs bridge</p> + <div class="member-body-short" id="short-body-VBridge"> + <p>Symbol is a Java varargs bridge</p> + + </div> + <div class="member-body-long" id ="long-body-VBridge"> + <p>Symbol is a Java varargs bridge</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="ValidForever" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ValidForever');">[+]</span> <span class="member-annotations"> </span> @@ -10799,13 +13869,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Is valid forever</p> + <div class="member-body-short" id="short-body-ValidForever"> + <p>Is valid forever</p> + + </div> + <div class="member-body-long" id ="long-body-ValidForever"> + <p>Is valid forever</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="VarianceFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'VarianceFlags');">[+]</span> <span class="member-annotations"> </span> @@ -10831,13 +13919,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>Flags that express the variance of a type parameter.</p> + <div class="member-body-short" id="short-body-VarianceFlags"> + <p>Flags that express the variance of a type parameter.</p> + + </div> + <div class="member-body-long" id ="long-body-VarianceFlags"> + <p>Flags that express the variance of 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="flagName" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flagName');">[+]</span> <span class="member-annotations"> </span> @@ -10858,17 +13964,40 @@ that sets the type parameter</p> - <span class="no-left">: Array</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +Array +<span class="no-left no-right">[</span> +String +<span class="no-left">]</span> +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flagName"> + + </div> + <div class="member-body-long" id ="long-body-flagName"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="ClassTypeParamCreationFlags" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ClassTypeParamCreationFlags');">[+]</span> <span class="member-annotations"> </span> @@ -10894,13 +14023,31 @@ that sets the type parameter</p> </div><!-- end member-title --> <div class="member-body"> - <p>The flags of a class type parameter</p> + <div class="member-body-short" id="short-body-ClassTypeParamCreationFlags"> + <p>The flags of a class type parameter</p> + </div> + <div class="member-body-long" id ="long-body-ClassTypeParamCreationFlags"> + <p>The flags of a class 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="allOf(flagss)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'allOf(flagss)');">[+]</span> <span class="member-annotations"> </span> @@ -10942,12 +14089,29 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-allOf(flagss)"> + + </div> + <div class="member-body-long" id ="long-body-allOf(flagss)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="commonFlag(index,name)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'commonFlag(index,name)');">[+]</span> <span class="member-annotations"> </span> @@ -10994,14 +14158,33 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - <p>The flag with given index between 2 and 63 which applies to both terms and types + <div class="member-body-short" id="short-body-commonFlag(index,name)"> + <p>The flag with given index between 2 and 63 which applies to both terms and types Installs given name as the name of the flag.</p> + </div> + <div class="member-body-long" id ="long-body-commonFlag(index,name)"> + <p>The flag with given index between 2 and 63 which applies to both terms and types +Installs given name as the name of the flag.</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="commonFlags(flagss)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'commonFlags(flagss)');">[+]</span> <span class="member-annotations"> </span> @@ -11043,12 +14226,29 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-commonFlags(flagss)"> + + </div> + <div class="member-body-long" id ="long-body-commonFlags(flagss)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="conjToFlagSet(conj)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'conjToFlagSet(conj)');">[+]</span> <span class="member-annotations"> </span> @@ -11087,12 +14287,29 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-conjToFlagSet(conj)"> + + </div> + <div class="member-body-long" id ="long-body-conjToFlagSet(conj)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="flagRange(start,end)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flagRange(start,end)');">[+]</span> <span class="member-annotations"> </span> @@ -11139,14 +14356,33 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - <p>The flag set containing all defined flags of either kind whose bits + <div class="member-body-short" id="short-body-flagRange(start,end)"> + <p>The flag set containing all defined flags of either kind whose bits lie in the given range</p> + </div> + <div class="member-body-long" id ="long-body-flagRange(start,end)"> + <p>The flag set containing all defined flags of either kind whose bits +lie in the given range</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="isDefinedAsFlag(idx)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isDefinedAsFlag(idx)');">[+]</span> <span class="member-annotations"> </span> @@ -11185,12 +14421,29 @@ lie in the given range</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isDefinedAsFlag(idx)"> + + </div> + <div class="member-body-long" id ="long-body-isDefinedAsFlag(idx)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="termFlag(index,name)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'termFlag(index,name)');">[+]</span> <span class="member-annotations"> </span> @@ -11237,12 +14490,29 @@ lie in the given range</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-termFlag(index,name)"> + + </div> + <div class="member-body-long" id ="long-body-termFlag(index,name)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="typeFlag(index,name)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'typeFlag(index,name)');">[+]</span> <span class="member-annotations"> </span> @@ -11289,14 +14559,33 @@ lie in the given range</p> </div><!-- end member-title --> <div class="member-body"> - <p>The flag with given index between 2 and 63 which applies to types. + <div class="member-body-short" id="short-body-typeFlag(index,name)"> + <p>The flag with given index between 2 and 63 which applies to types. +Installs given name as the name of the flag.</p> + + </div> + <div class="member-body-long" id ="long-body-typeFlag(index,name)"> + <p>The flag with given index between 2 and 63 which applies to types. Installs given name as the name of the flag.</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(flagss)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'union(flagss)');">[+]</span> <span class="member-annotations"> </span> @@ -11338,9 +14627,26 @@ FlagSet </div><!-- end member-title --> <div class="member-body"> - <p>The union of all flags in given flag set</p> + <div class="member-body-short" id="short-body-union(flagss)"> + <p>The union of all flags in given flag set</p> + + </div> + <div class="member-body-long" id ="long-body-union(flagss)"> + <p>The union of all flags in given 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> |