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/dotc/ast/Trees$/BackquotedIdent.html | |
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/dotc/ast/Trees$/BackquotedIdent.html')
-rw-r--r-- | api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html | 50 |
1 files changed, 50 insertions, 0 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> |