diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:58:24 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:58:24 +0000 |
commit | 572ebb4eb2d8316318c3700c14189a5794a1caef (patch) | |
tree | e94af473f1bad499e3932050a59601840d33d403 /api/dotty/tools | |
parent | 7113af20c29c466dc8f96018d27d4d0637d985ea (diff) | |
download | dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.gz dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.bz2 dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.zip |
Update gh-pages site for 99679cffc0a5d20e7e7f3c090eb310a6134eeee7
Diffstat (limited to 'api/dotty/tools')
-rw-r--r-- | api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html | 50 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/Trees$/Ident.html | 50 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/InfixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/InfixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/OpTree.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PostfixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html | 6 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/Symbol.html | 18 | ||||
-rw-r--r-- | api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html | 61 | ||||
-rw-r--r-- | api/dotty/tools/io/Jar$/WManifest.html | 14 |
15 files changed, 140 insertions, 101 deletions
diff --git a/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html b/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html index 746fd260a..380edf2ce 100644 --- a/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html +++ b/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html @@ -5440,6 +5440,56 @@ </script> </div><!-- end member --> + <div id="isBackquoted" class="member "> + <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isBackquoted');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + override + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + isBackquoted + + </span> + + + + + + + <span class="no-left">: Boolean</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-isBackquoted"> + <p>Is this a <code>BackquotedIdent</code> ?</p> + + </div> + <div class="member-body-long" id ="long-body-isBackquoted"> + <p>Is this a <code>BackquotedIdent</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="toString" class="member "> <div class="member-title"> <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span> diff --git a/api/dotty/tools/dotc/ast/Trees$/Ident.html b/api/dotty/tools/dotc/ast/Trees$/Ident.html index 54e3ead2a..b4be50bab 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Ident.html +++ b/api/dotty/tools/dotc/ast/Trees$/Ident.html @@ -5659,6 +5659,56 @@ T </script> </div><!-- end member --> + <div id="isBackquoted" class="member "> + <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isBackquoted');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + isBackquoted + + </span> + + + + + + + <span class="no-left">: Boolean</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-isBackquoted"> + <p>Is this a <code>BackquotedIdent</code> ?</p> + + </div> + <div class="member-body-long" id ="long-body-isBackquoted"> + <p>Is this a <code>BackquotedIdent</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="qualifier" class="member "> <div class="member-title"> <span class="expand-button" onclick="toggleMemberBody(this, 'qualifier');">[+]</span> diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html index b886dd155..c6ba9e945 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html @@ -5396,7 +5396,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html index 6c37523dc..84bd53ac5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html @@ -5377,7 +5377,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5472,7 +5472,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5723,7 +5723,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5837,7 +5837,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/OpTree.html b/api/dotty/tools/dotc/ast/untpd$/OpTree.html index bc45af5f3..e74f126cf 100644 --- a/api/dotty/tools/dotc/ast/untpd$/OpTree.html +++ b/api/dotty/tools/dotc/ast/untpd$/OpTree.html @@ -5485,7 +5485,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html index 6c3b33e80..5b0976282 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html @@ -5396,7 +5396,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html index 229a30239..26338f20c 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html @@ -5377,7 +5377,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -5464,7 +5464,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5619,7 +5619,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -5725,7 +5725,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html index 329210ffb..dc9f6596e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html @@ -5388,7 +5388,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html index b83cb2bda..f397f6b11 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html @@ -5369,7 +5369,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5464,7 +5464,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5611,7 +5611,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5677,7 +5677,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html index 534342d41..1f110f491 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html @@ -5991,7 +5991,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -6501,7 +6501,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -6573,7 +6573,7 @@ Tree <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 81438e96d..5a276823a 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5421,7 +5421,7 @@ <span class="no-left"> - self: + sym: </span> Symbol @@ -5430,36 +5430,36 @@ </div> </div> - - <div class="member"> <div class="member-title"> <span class="member-name">Symbol</span> <span class="no-left">(</span> + <span class="no-left keyword">implicit</span> + <span class="no-left"> - sym: + ctx: </span> - Symbol + Context <span class="no-left">)</span> </div> </div> + + <div class="member"> <div class="member-title"> <span class="member-name">Symbol</span> <span class="no-left">(</span> - <span class="no-left keyword">implicit</span> - <span class="no-left"> - ctx: + self: </span> - Context + Symbol <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html index e2fdd1d4a..4e738c4a8 100644 --- a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html +++ b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html @@ -5396,7 +5396,7 @@ <span class=""> operator: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> + <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a> <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html index dcc28223a..61d14f96d 100644 --- a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html +++ b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html @@ -5363,7 +5363,7 @@ <span class=""> operator: </span> - Name + Ident <span class="no-left">, </span> @@ -5506,7 +5506,7 @@ - <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a></span> + <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a></span> </div><!-- end member-title --> @@ -5709,7 +5709,7 @@ <span class=""> operator: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> + <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a> <span class="no-left">, </span> @@ -5823,7 +5823,7 @@ - <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a></span> + <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a></span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html index 90d8284b1..5ddba80fb 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html @@ -5877,67 +5877,6 @@ They are discarded during the translation.</p> </script> </div><!-- end member --> - <div id="isBackquoted(x)" class="member "> - <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isBackquoted(x)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - isBackquoted - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - x: - </span> - <a href="../../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a> - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: Boolean</span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-isBackquoted(x)"> - - </div> - <div class="member-body-long" id ="long-body-isBackquoted(x)"> - - </div> - </div> - <script> - function toggleMemberBody(span, sig) { - var shortBody = document.getElementById("short-body-" + sig); - var longBody = document.getElementById("long-body-" + sig); - - shortBody.classList.toggle("toggled") - longBody.classList.toggle("toggled") - - span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; - } - </script> - </div><!-- end member --> - <div id="isSyntheticDefaultCase(cdef)" class="member "> <div class="member-title"> <span class="expand-button" onclick="toggleMemberBody(this, 'isSyntheticDefaultCase(cdef)');">[+]</span> diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index bc0b15ba5..5e317c3e5 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5370,6 +5370,12 @@ <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Manifest + + <span class="no-left">)</span> </div> </div> @@ -5385,7 +5391,7 @@ <span class="no-left"> x$0: </span> - Manifest + InputStream <span class="no-left">)</span> @@ -5400,12 +5406,6 @@ <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - InputStream - - <span class="no-left">)</span> </div> </div> |