aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/Flags$.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
commit881c3b182fda1036d5a507d08ff85f7709d70703 (patch)
treec0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/Flags$.html
parentb45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff)
downloaddotty-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$.html3678
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 &amp; override</p>
+ <div class="member-body-short" id="short-body-AbsOverride">
+ <p>Labeled with of abstract &amp; override</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-AbsOverride">
+ <p>Labeled with of abstract &amp; 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>