diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 11:45:14 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 11:45:14 +0000 |
commit | dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c (patch) | |
tree | d84fc1ff8ac09197b0d2bc36432e8b49706763c8 /api/dotty/tools/dotc/printing | |
parent | 1c334b12934f39dcc3e20a0d39bb434ddc065918 (diff) | |
download | dotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.tar.gz dotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.tar.bz2 dotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.zip |
Update gh-pages site for 62c2a1e2d6265cf7f096e4c4e51e4e883bce1514
Diffstat (limited to 'api/dotty/tools/dotc/printing')
66 files changed, 943 insertions, 283 deletions
diff --git a/api/dotty/tools/dotc/printing/Formatting$.html b/api/dotty/tools/dotc/printing/Formatting$.html index dd9b1b762..f113560e5 100644 --- a/api/dotty/tools/dotc/printing/Formatting$.html +++ b/api/dotty/tools/dotc/printing/Formatting$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> @@ -5916,9 +5926,9 @@ where: T is a type in the initalizer of value s which is an alias of </script> </div><!-- end member --> - <div id="explained2(op)(ctx)" class="member "> + <div id="explained(op)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button " onclick="toggleMemberBody(this, 'explained2(op)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'explained(op)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5930,7 +5940,7 @@ where: T is a type in the initalizer of value s which is an alias of </span> <span class="member-name "> - explained2 + explained </span> @@ -5970,11 +5980,11 @@ where: T is a type in the initalizer of value s which is an alias of </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-explained2(op)(ctx)"> + <div class="member-body-short" id="short-body-explained(op)(ctx)"> <p>Entrypoint for explanation string interpolator:</p> </div> - <div class="member-body-long" id ="long-body-explained2(op)(ctx)"> + <div class="member-body-long" id ="long-body-explained(op)(ctx)"> <p>Entrypoint for explanation string interpolator:</p> <pre><code>ex"disambiguate $tpe1 and $tpe2" </code></pre> diff --git a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html index cfaf4a8df..ea86235ab 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html index 6be0e1be5..3132d7398 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Formatting$/Seen.html b/api/dotty/tools/dotc/printing/Formatting$/Seen.html index e4e442934..f07d7d50e 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/Seen.html +++ b/api/dotty/tools/dotc/printing/Formatting$/Seen.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html index 232cd3437..41b611b55 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html index 523c7d912..927935c66 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$.html b/api/dotty/tools/dotc/printing/Highlighting$.html index cefb023cb..c64602608 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html index 4765b892f..2513f9d28 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black.html b/api/dotty/tools/dotc/printing/Highlighting$/Black.html index c0570b89e..f22e866ea 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Black.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Black.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html index cbd414516..22eacbf4f 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html index 89b30bcec..7dd024433 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html index 41dd2a74c..e9d3ec081 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html index 5eac30c0a..81fe91915 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html index bbd825fb7..95ed78591 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html index b42d903f5..00e44e452 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html index aafc93fc4..9e7b02cdd 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html index 964f780ea..d1b8ca6db 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html index d313b877a..4e31d6c47 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html index 2a6bf55e4..49609f7e2 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html index 7fbe66719..f3227a9df 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html index a56dbe08d..91ae2e7bf 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html index 1dec0d320..ba02ad7c1 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green.html b/api/dotty/tools/dotc/printing/Highlighting$/Green.html index 5e67f4f00..edc9f8285 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Green.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Green.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html index da7da2f47..53225a051 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html index 5c2df3d9e..ea464770e 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html index 274b8dc72..3236c20ee 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> @@ -5467,25 +5477,18 @@ <span class="no-left"> x$0: </span> - String + Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span> + + <span class="no-left">, </span> - <span class="no-left">)</span> - </div> - </div> - - - - <div class="member"> - <div class="member-title"> - <span class="member-name">Highlight</span> - <span class="no-left">(</span> - - - <span class="no-left"> - x$0: + <span class=""> + x$1: </span> - StringBuilder + Charset <span class="no-left">)</span> @@ -5505,7 +5508,7 @@ </span> Array <span class="no-left no-right">[</span> -Byte +Int <span class="no-left">]</span> <span class="no-left">, </span> @@ -5524,14 +5527,6 @@ Byte </span> Int - <span class="no-left">, </span> - - - <span class=""> - x$3: - </span> - Int - <span class="no-left">)</span> </div> @@ -5550,17 +5545,9 @@ Byte </span> Array <span class="no-left no-right">[</span> -Byte +Char <span class="no-left">]</span> - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Charset - <span class="no-left">)</span> </div> @@ -5579,7 +5566,7 @@ Byte </span> Array <span class="no-left no-right">[</span> -Char +Byte <span class="no-left">]</span> @@ -5625,7 +5612,7 @@ Byte <span class=""> x$3: </span> - Charset + String <span class="no-left">)</span> @@ -5643,18 +5630,7 @@ Byte <span class="no-left"> x$0: </span> - Array -<span class="no-left no-right">[</span> -Char -<span class="no-left">]</span> - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Boolean + String <span class="no-left">)</span> @@ -5672,18 +5648,7 @@ Char <span class="no-left"> x$0: </span> - Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span> - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int + StringBuffer <span class="no-left">)</span> @@ -5701,18 +5666,7 @@ Byte <span class="no-left"> x$0: </span> - Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span> - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - String + StringBuilder <span class="no-left">)</span> @@ -5735,18 +5689,30 @@ Byte Byte <span class="no-left">]</span> + <span class="no-left">, </span> + - <span class="no-left">)</span> - </div> - </div> - - - - <div class="member"> - <div class="member-title"> - <span class="member-name">Highlight</span> - <span class="no-left">(</span> + <span class=""> + x$1: + </span> + Int + + <span class="no-left">, </span> + + <span class=""> + x$2: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$3: + </span> + Int + <span class="no-left">)</span> </div> @@ -5784,14 +5750,6 @@ Byte </span> Int - <span class="no-left">, </span> - - - <span class=""> - x$3: - </span> - String - <span class="no-left">)</span> </div> @@ -5819,15 +5777,36 @@ Char <span class=""> x$1: </span> - Int + Boolean + + + <span class="no-left">)</span> + </div> + </div> + + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Highlight</span> + <span class="no-left">(</span> + + + <span class="no-left"> + x$0: + </span> + Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span> <span class="no-left">, </span> <span class=""> - x$2: + x$1: </span> - Int + String <span class="no-left">)</span> @@ -5842,12 +5821,24 @@ Char <span class="no-left">(</span> + <span class="no-left">)</span> + </div> + </div> + + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Highlight</span> + <span class="no-left">(</span> + + <span class="no-left"> x$0: </span> Array <span class="no-left no-right">[</span> -Int +Byte <span class="no-left">]</span> <span class="no-left">, </span> @@ -5866,6 +5857,14 @@ Int </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$3: + </span> + Charset + <span class="no-left">)</span> </div> @@ -5884,7 +5883,7 @@ Int </span> Array <span class="no-left no-right">[</span> -Byte +Char <span class="no-left">]</span> <span class="no-left">, </span> @@ -5919,7 +5918,18 @@ Byte <span class="no-left"> x$0: </span> - StringBuffer + Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int <span class="no-left">)</span> @@ -6879,7 +6889,7 @@ Byte <span class="no-left"> x$0: </span> - StringBuffer + CharSequence <span class="no-left">)</span> @@ -6940,7 +6950,7 @@ Byte <span class="no-left"> x$0: </span> - CharSequence + StringBuffer <span class="no-left">)</span> @@ -7274,11 +7284,11 @@ Byte </script> </div><!-- end member --> - <div id="getBytes(x$0,x$1,x$2,x$3)" class="member "> + <div id="getBytes()" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0,x$1,x$2,x$3)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes()');">[+]</span> <span class="member-annotations"> - @Deprecated @deprecated + </span> <span class="member-modifiers"> @@ -7297,39 +7307,6 @@ Byte <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$2: - </span> - Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span> - - <span class="no-left">, </span> - - - <span class=""> - x$3: - </span> - Int - - <span class="no-left">)</span> @@ -7337,15 +7314,18 @@ Byte - <span class="no-left">: Unit</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-getBytes(x$0,x$1,x$2,x$3)"> + <div class="member-body-short" id="short-body-getBytes()"> </div> - <div class="member-body-long" id ="long-body-getBytes(x$0,x$1,x$2,x$3)"> + <div class="member-body-long" id ="long-body-getBytes()"> </div> </div> @@ -7366,7 +7346,7 @@ Byte <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0)');">[+]</span> <span class="member-annotations"> - + @throws </span> <span class="member-modifiers"> @@ -7388,7 +7368,7 @@ Byte <span class="no-left"> x$0: </span> - Charset + String <span class="no-left">)</span> @@ -7426,11 +7406,11 @@ Byte </script> </div><!-- end member --> - <div id="getBytes()" class="member "> + <div id="getBytes(x$0,x$1,x$2,x$3)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes()');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0,x$1,x$2,x$3)');">[+]</span> <span class="member-annotations"> - + @Deprecated @deprecated </span> <span class="member-modifiers"> @@ -7449,6 +7429,39 @@ Byte <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$2: + </span> + Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + x$3: + </span> + Int + + <span class="no-left">)</span> @@ -7456,18 +7469,15 @@ Byte - <span class="no-left">: Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span></span> + <span class="no-left">: Unit</span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-getBytes()"> + <div class="member-body-short" id="short-body-getBytes(x$0,x$1,x$2,x$3)"> </div> - <div class="member-body-long" id ="long-body-getBytes()"> + <div class="member-body-long" id ="long-body-getBytes(x$0,x$1,x$2,x$3)"> </div> </div> @@ -7488,7 +7498,7 @@ Byte <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0)');">[+]</span> <span class="member-annotations"> - @throws + </span> <span class="member-modifiers"> @@ -7510,7 +7520,7 @@ Byte <span class="no-left"> x$0: </span> - String + Charset <span class="no-left">)</span> @@ -7548,9 +7558,9 @@ Byte </script> </div><!-- end member --> - <div id="getChars(x$0,x$1,x$2,x$3)" class="member "> + <div id="getChars(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1,x$2,x$3)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -7574,22 +7584,6 @@ Byte <span class="no-left"> x$0: </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$2: - </span> Array <span class="no-left no-right">[</span> Char @@ -7599,7 +7593,7 @@ Char <span class=""> - x$3: + x$1: </span> Int @@ -7616,10 +7610,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-getChars(x$0,x$1,x$2,x$3)"> + <div class="member-body-short" id="short-body-getChars(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-getChars(x$0,x$1,x$2,x$3)"> + <div class="member-body-long" id ="long-body-getChars(x$0,x$1)"> </div> </div> @@ -7636,9 +7630,9 @@ Char </script> </div><!-- end member --> - <div id="getChars(x$0,x$1)" class="member "> + <div id="getChars(x$0,x$1,x$2,x$3)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1,x$2,x$3)');">[+]</span> <span class="member-annotations"> </span> @@ -7662,6 +7656,22 @@ Char <span class="no-left"> x$0: </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$2: + </span> Array <span class="no-left no-right">[</span> Char @@ -7671,7 +7681,7 @@ Char <span class=""> - x$1: + x$3: </span> Int @@ -7688,10 +7698,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-getChars(x$0,x$1)"> + <div class="member-body-short" id="short-body-getChars(x$0,x$1,x$2,x$3)"> </div> - <div class="member-body-long" id ="long-body-getChars(x$0,x$1)"> + <div class="member-body-long" id ="long-body-getChars(x$0,x$1,x$2,x$3)"> </div> </div> @@ -7789,7 +7799,7 @@ Char <span class="no-left"> x$0: </span> - String + Int <span class="no-left">)</span> @@ -7824,9 +7834,9 @@ Char </script> </div><!-- end member --> - <div id="indexOf(x$0)" class="member "> + <div id="indexOf(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -7852,6 +7862,14 @@ Char </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -7865,10 +7883,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-indexOf(x$0)"> + <div class="member-body-short" id="short-body-indexOf(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-indexOf(x$0)"> + <div class="member-body-long" id ="long-body-indexOf(x$0,x$1)"> </div> </div> @@ -7911,7 +7929,7 @@ Char <span class="no-left"> x$0: </span> - Int + String <span class="no-left">, </span> @@ -7954,9 +7972,9 @@ Char </script> </div><!-- end member --> - <div id="indexOf(x$0,x$1)" class="member "> + <div id="indexOf(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -7982,14 +8000,6 @@ Char </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -8003,10 +8013,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-indexOf(x$0,x$1)"> + <div class="member-body-short" id="short-body-indexOf(x$0)"> </div> - <div class="member-body-long" id ="long-body-indexOf(x$0,x$1)"> + <div class="member-body-long" id ="long-body-indexOf(x$0)"> </div> </div> @@ -8202,9 +8212,9 @@ Char </script> </div><!-- end member --> - <div id="lastIndexOf(x$0,x$1)" class="member "> + <div id="lastIndexOf(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -8228,14 +8238,6 @@ Char <span class="no-left"> x$0: </span> - String - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> Int @@ -8251,10 +8253,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-lastIndexOf(x$0,x$1)"> + <div class="member-body-short" id="short-body-lastIndexOf(x$0)"> </div> - <div class="member-body-long" id ="long-body-lastIndexOf(x$0,x$1)"> + <div class="member-body-long" id ="long-body-lastIndexOf(x$0)"> </div> </div> @@ -8332,9 +8334,9 @@ Char </script> </div><!-- end member --> - <div id="lastIndexOf(x$0)" class="member "> + <div id="lastIndexOf(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -8358,6 +8360,14 @@ Char <span class="no-left"> x$0: </span> + String + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> Int @@ -8373,10 +8383,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-lastIndexOf(x$0)"> + <div class="member-body-short" id="short-body-lastIndexOf(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-lastIndexOf(x$0)"> + <div class="member-body-long" id ="long-body-lastIndexOf(x$0,x$1)"> </div> </div> @@ -9266,9 +9276,9 @@ Char </script> </div><!-- end member --> - <div id="split(x$0)" class="member "> + <div id="split(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -9294,6 +9304,14 @@ Char </span> String + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -9310,10 +9328,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-split(x$0)"> + <div class="member-body-short" id="short-body-split(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-split(x$0)"> + <div class="member-body-long" id ="long-body-split(x$0,x$1)"> </div> </div> @@ -9330,9 +9348,9 @@ String </script> </div><!-- end member --> - <div id="split(x$0,x$1)" class="member "> + <div id="split(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -9358,14 +9376,6 @@ String </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -9382,10 +9392,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-split(x$0,x$1)"> + <div class="member-body-short" id="short-body-split(x$0)"> </div> - <div class="member-body-long" id ="long-body-split(x$0,x$1)"> + <div class="member-body-long" id ="long-body-split(x$0)"> </div> </div> @@ -9601,9 +9611,9 @@ String </script> </div><!-- end member --> - <div id="substring(x$0,x$1)" class="member "> + <div id="substring(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -9629,14 +9639,6 @@ String </span> Int - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -9650,10 +9652,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-substring(x$0,x$1)"> + <div class="member-body-short" id="short-body-substring(x$0)"> </div> - <div class="member-body-long" id ="long-body-substring(x$0,x$1)"> + <div class="member-body-long" id ="long-body-substring(x$0)"> </div> </div> @@ -9670,9 +9672,9 @@ String </script> </div><!-- end member --> - <div id="substring(x$0)" class="member "> + <div id="substring(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -9698,6 +9700,14 @@ String </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -9711,10 +9721,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-substring(x$0)"> + <div class="member-body-short" id="short-body-substring(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-substring(x$0)"> + <div class="member-body-long" id ="long-body-substring(x$0,x$1)"> </div> </div> @@ -9898,9 +9908,9 @@ Char </script> </div><!-- end member --> - <div id="toLowerCase()" class="member "> + <div id="toLowerCase(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase()');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -9921,6 +9931,12 @@ Char <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Locale + + <span class="no-left">)</span> @@ -9933,10 +9949,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-toLowerCase()"> + <div class="member-body-short" id="short-body-toLowerCase(x$0)"> </div> - <div class="member-body-long" id ="long-body-toLowerCase()"> + <div class="member-body-long" id ="long-body-toLowerCase(x$0)"> </div> </div> @@ -9953,9 +9969,9 @@ Char </script> </div><!-- end member --> - <div id="toLowerCase(x$0)" class="member "> + <div id="toLowerCase()" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase()');">[+]</span> <span class="member-annotations"> </span> @@ -9976,12 +9992,6 @@ Char <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Locale - - <span class="no-left">)</span> @@ -9994,10 +10004,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-toLowerCase(x$0)"> + <div class="member-body-short" id="short-body-toLowerCase()"> </div> - <div class="member-body-long" id ="long-body-toLowerCase(x$0)"> + <div class="member-body-long" id ="long-body-toLowerCase()"> </div> </div> @@ -10288,9 +10298,9 @@ Char </script> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait()');">[+]</span> <span class="member-annotations"> </span> @@ -10311,20 +10321,6 @@ Char <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -10337,10 +10333,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-wait(x$0,x$1)"> + <div class="member-body-short" id="short-body-wait()"> </div> - <div class="member-body-long" id ="long-body-wait(x$0,x$1)"> + <div class="member-body-long" id ="long-body-wait()"> </div> </div> @@ -10418,9 +10414,9 @@ Char </script> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait()');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -10441,6 +10437,20 @@ Char <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> @@ -10453,10 +10463,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-wait()"> + <div class="member-body-short" id="short-body-wait(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-wait()"> + <div class="member-body-long" id ="long-body-wait(x$0,x$1)"> </div> </div> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html index 3e0a0e0fb..e47a826ec 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html index 256e68fe9..bc698f01b 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html index 8008155be..912cb1ad7 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html index 613b7de80..d1ae31164 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html index 4756de902..6e6486de3 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html index 747604006..81fbc9f56 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html index d8351b6a5..b98b1eb51 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html index a631c23f0..7c7fa817a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html index d9a2b91ed..2a6261d10 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html index a07adce42..b24d350b1 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red.html b/api/dotty/tools/dotc/printing/Highlighting$/Red.html index f37f80657..8b0b929c9 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Red.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Red.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html index ad37393bf..0decfeb2d 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html index a7319d685..a9fd23541 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html index 855621da5..cdcefecc3 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html index 772c03c9c..6317ff0f0 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White$.html b/api/dotty/tools/dotc/printing/Highlighting$/White$.html index 88a1dc674..e0949f797 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/White$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/White$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White.html b/api/dotty/tools/dotc/printing/Highlighting$/White.html index 415dfd9ce..4b620de1e 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/White.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/White.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html index 0cdc52df5..3365702fe 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html index 637d91eb8..e67355d8b 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html index 7f28817c8..c5358bf6e 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html index f8016e0e9..7725507a0 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html index b3ec5478b..b02716e2a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html index e7e485756..d59ee3beb 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html index 91a9814ee..1f8ece766 100644 --- a/api/dotty/tools/dotc/printing/PlainPrinter.html +++ b/api/dotty/tools/dotc/printing/PlainPrinter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html index cb9ddc132..141aa07cc 100644 --- a/api/dotty/tools/dotc/printing/Printer.html +++ b/api/dotty/tools/dotc/printing/Printer.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Printers.html b/api/dotty/tools/dotc/printing/Printers.html index 3f13b30ca..1f8fb7cd6 100644 --- a/api/dotty/tools/dotc/printing/Printers.html +++ b/api/dotty/tools/dotc/printing/Printers.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html index 9eddb7266..584687f32 100644 --- a/api/dotty/tools/dotc/printing/RefinedPrinter.html +++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Showable.html b/api/dotty/tools/dotc/printing/Showable.html index f338eba16..cea52d6d3 100644 --- a/api/dotty/tools/dotc/printing/Showable.html +++ b/api/dotty/tools/dotc/printing/Showable.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html index 5bc434bf5..577bf1fd4 100644 --- a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html +++ b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$.html b/api/dotty/tools/dotc/printing/Texts$.html index 93bd80067..5f9212301 100644 --- a/api/dotty/tools/dotc/printing/Texts$.html +++ b/api/dotty/tools/dotc/printing/Texts$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Closed.html b/api/dotty/tools/dotc/printing/Texts$/Closed.html index c098ea1ff..8892e54e4 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Closed.html +++ b/api/dotty/tools/dotc/printing/Texts$/Closed.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html index 5350b17ad..4a053881c 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid.html b/api/dotty/tools/dotc/printing/Texts$/Fluid.html index d7ab6ff2a..2bc9695c7 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Fluid.html +++ b/api/dotty/tools/dotc/printing/Texts$/Fluid.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Str$.html b/api/dotty/tools/dotc/printing/Texts$/Str$.html index 77dafd92a..a6609b4f5 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Str$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Str$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Str.html b/api/dotty/tools/dotc/printing/Texts$/Str.html index 8e6e5807d..641f28154 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Str.html +++ b/api/dotty/tools/dotc/printing/Texts$/Str.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Text$.html b/api/dotty/tools/dotc/printing/Texts$/Text$.html index cbb289a9b..6fa790ee0 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Text$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Text$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Text.html b/api/dotty/tools/dotc/printing/Texts$/Text.html index 8d75b92c1..ac7b832a9 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Text.html +++ b/api/dotty/tools/dotc/printing/Texts$/Text.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html index d9593ef0b..6aadcad3c 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical.html b/api/dotty/tools/dotc/printing/Texts$/Vertical.html index af3aac0a1..a3f470d4a 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Vertical.html +++ b/api/dotty/tools/dotc/printing/Texts$/Vertical.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html index 8ae2eb600..6e5ba6e6d 100644 --- a/api/dotty/tools/dotc/printing/index.html +++ b/api/dotty/tools/dotc/printing/index.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> |