diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 08:25:39 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 08:25:39 +0000 |
commit | 0053e33ad799c9fc7451c0a7994d6e92745a57e1 (patch) | |
tree | 43a4436ba80e712ae9e28e85ff2eaff4a2d5c36f /api/dotty/tools/dotc/printing | |
parent | 882b4b6e06393574267297ca4fc13fa31bfcfd3f (diff) | |
download | dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.tar.gz dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.tar.bz2 dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.zip |
Update gh-pages site for 4ff656138a2e4e127b763adeee3f0f72d515f6b6
Diffstat (limited to 'api/dotty/tools/dotc/printing')
-rw-r--r-- | api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html | 75 | ||||
-rw-r--r-- | api/dotty/tools/dotc/printing/PlainPrinter.html | 24 | ||||
-rw-r--r-- | api/dotty/tools/dotc/printing/RefinedPrinter.html | 12 |
3 files changed, 87 insertions, 24 deletions
diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html index 3520c4228..f1d8bab04 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html @@ -5561,9 +5561,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(param)" class="member "> + <div id="ParamRefNameString(param)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(param)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(param)');">[+]</span> <span class="member-annotations"> </span> @@ -5575,7 +5575,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5587,7 +5587,7 @@ <span class="no-left"> param: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> + <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a> <span class="no-left">)</span> @@ -5602,10 +5602,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(param)"> + <div class="member-body-short" id="short-body-ParamRefNameString(param)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(param)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(param)"> </div> </div> @@ -5687,6 +5687,69 @@ the decoded original name.</p> </script> </div><!-- end member --> + <div id="toTextRef(tp)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toTextRef(tp)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + override + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + toTextRef + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tp: + </span> + <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/SingletonType.html">SingletonType</a> + + + <span class="no-left">)</span> + + + + + + + <span class="no-left">: Text</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-toTextRef(tp)"> + <p>The string representation of this type used as a prefix</p> + + </div> + <div class="member-body-long" id ="long-body-toTextRef(tp)"> + <p>The string representation of this type used as a prefix</p> + + </div> + </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> + </div><!-- end member --> + </div> </div><!-- end entity-container --> </div> diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html index 12e321d7d..3fe9659f1 100644 --- a/api/dotty/tools/dotc/printing/PlainPrinter.html +++ b/api/dotty/tools/dotc/printing/PlainPrinter.html @@ -5596,9 +5596,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(name)" class="member protected"> + <div id="ParamRefNameString(name)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(name)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -5610,7 +5610,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5622,7 +5622,7 @@ <span class="no-left"> name: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TypeName.html">TypeName</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> <span class="no-left">)</span> @@ -5637,10 +5637,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(name)"> + <div class="member-body-short" id="short-body-ParamRefNameString(name)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(name)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(name)"> </div> </div> @@ -5657,9 +5657,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(param)" class="member protected"> + <div id="ParamRefNameString(param)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(param)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(param)');">[+]</span> <span class="member-annotations"> </span> @@ -5671,7 +5671,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5683,7 +5683,7 @@ <span class="no-left"> param: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a> <span class="no-left">)</span> @@ -5698,10 +5698,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(param)"> + <div class="member-body-short" id="short-body-ParamRefNameString(param)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(param)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(param)"> </div> </div> diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html index 85dfbe5aa..493287dec 100644 --- a/api/dotty/tools/dotc/printing/RefinedPrinter.html +++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html @@ -5691,9 +5691,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(name)" class="member protected"> + <div id="ParamRefNameString(name)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(name)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -5705,7 +5705,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5717,7 +5717,7 @@ <span class="no-left"> name: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TypeName.html">TypeName</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> <span class="no-left">)</span> @@ -5732,10 +5732,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(name)"> + <div class="member-body-short" id="short-body-ParamRefNameString(name)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(name)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(name)"> </div> </div> |