diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-09 15:35:04 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-09 15:35:04 +0000 |
commit | 64ecf7d655559f4468302c1f2f16f14a5d54a129 (patch) | |
tree | 0015ea76cc353def3c2e6237bfd747393b0c5355 /api/dotty/tools/dotc/printing/Highlighting$/Highlight.html | |
parent | 7f7dc22aa140cc3da6f3536f24ac5cba7376ff38 (diff) | |
download | dotty-64ecf7d655559f4468302c1f2f16f14a5d54a129.tar.gz dotty-64ecf7d655559f4468302c1f2f16f14a5d54a129.tar.bz2 dotty-64ecf7d655559f4468302c1f2f16f14a5d54a129.zip |
Update gh-pages site for c82db74c97bec486f3da7cce3128b72711c8cbc3
Diffstat (limited to 'api/dotty/tools/dotc/printing/Highlighting$/Highlight.html')
-rw-r--r-- | api/dotty/tools/dotc/printing/Highlighting$/Highlight.html | 486 |
1 files changed, 243 insertions, 243 deletions
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html index 56028a126..1f05e196c 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html @@ -5484,35 +5484,6 @@ </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> - Charset - - - <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 <span class="no-left">]</span> @@ -5550,7 +5521,7 @@ Int </span> Array <span class="no-left no-right">[</span> -Char +Byte <span class="no-left">]</span> @@ -5569,10 +5540,7 @@ Char <span class="no-left"> x$0: </span> - Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span> + StringBuffer <span class="no-left">)</span> @@ -5617,7 +5585,7 @@ Byte <span class=""> x$3: </span> - String + Charset <span class="no-left">)</span> @@ -5635,7 +5603,26 @@ Byte <span class="no-left"> x$0: </span> - String + Array +<span class="no-left no-right">[</span> +Char +<span class="no-left">]</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> @@ -5653,7 +5640,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> + String <span class="no-left">)</span> @@ -5671,7 +5669,10 @@ Byte <span class="no-left"> x$0: </span> - StringBuilder + Array +<span class="no-left no-right">[</span> +Char +<span class="no-left">]</span> <span class="no-left">)</span> @@ -5716,7 +5717,7 @@ Byte <span class=""> x$3: </span> - Int + String <span class="no-left">)</span> @@ -5734,27 +5735,20 @@ 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> + StringBuilder - <span class=""> - x$1: - </span> - Int - - <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$2: - </span> - Int - <span class="no-left">)</span> </div> @@ -5773,7 +5767,7 @@ Byte </span> Array <span class="no-left no-right">[</span> -Char +Byte <span class="no-left">]</span> <span class="no-left">, </span> @@ -5782,7 +5776,7 @@ Char <span class=""> x$1: </span> - Boolean + Charset <span class="no-left">)</span> @@ -5800,17 +5794,6 @@ 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> String @@ -5826,6 +5809,23 @@ Byte <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$1: + </span> + Int + + <span class="no-left">)</span> </div> </div> @@ -5862,14 +5862,6 @@ Byte </span> Int - <span class="no-left">, </span> - - - <span class=""> - x$3: - </span> - Charset - <span class="no-left">)</span> </div> @@ -5888,7 +5880,7 @@ Byte </span> Array <span class="no-left no-right">[</span> -Char +Byte <span class="no-left">]</span> <span class="no-left">, </span> @@ -5907,6 +5899,14 @@ Char </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$3: + </span> + Int + <span class="no-left">)</span> </div> @@ -5925,7 +5925,7 @@ Char </span> Array <span class="no-left no-right">[</span> -Byte +Char <span class="no-left">]</span> <span class="no-left">, </span> @@ -5934,7 +5934,7 @@ Byte <span class=""> x$1: </span> - Int + Boolean <span class="no-left">)</span> @@ -6894,7 +6894,7 @@ Byte <span class="no-left"> x$0: </span> - CharSequence + StringBuffer <span class="no-left">)</span> @@ -6955,7 +6955,7 @@ Byte <span class="no-left"> x$0: </span> - StringBuffer + CharSequence <span class="no-left">)</span> @@ -7289,11 +7289,11 @@ Byte </script> </div><!-- end member --> - <div id="getBytes()" class="member "> + <div id="getBytes(x$0)" 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)');">[+]</span> <span class="member-annotations"> - + @throws </span> <span class="member-modifiers"> @@ -7312,6 +7312,12 @@ Byte <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + String + + <span class="no-left">)</span> @@ -7327,10 +7333,10 @@ Byte </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)"> </div> - <div class="member-body-long" id ="long-body-getBytes()"> + <div class="member-body-long" id ="long-body-getBytes(x$0)"> </div> </div> @@ -7347,11 +7353,11 @@ Byte </script> </div><!-- end member --> - <div id="getBytes(x$0)" 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(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0,x$1,x$2,x$3)');">[+]</span> <span class="member-annotations"> - @throws + @Deprecated @deprecated </span> <span class="member-modifiers"> @@ -7373,7 +7379,34 @@ Byte <span class="no-left"> x$0: </span> - String + 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> @@ -7383,18 +7416,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(x$0)"> + <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(x$0)"> + <div class="member-body-long" id ="long-body-getBytes(x$0,x$1,x$2,x$3)"> </div> </div> @@ -7411,11 +7441,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"> @@ -7434,39 +7464,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> @@ -7474,15 +7471,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> @@ -7563,9 +7563,9 @@ Byte </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> @@ -7589,6 +7589,22 @@ 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 @@ -7598,7 +7614,7 @@ Char <span class=""> - x$1: + x$3: </span> Int @@ -7615,10 +7631,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> @@ -7635,9 +7651,9 @@ Char </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> @@ -7661,22 +7677,6 @@ 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 @@ -7686,7 +7686,7 @@ Char <span class=""> - x$3: + x$1: </span> Int @@ -7703,10 +7703,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> @@ -7778,9 +7778,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> @@ -7806,6 +7806,14 @@ Char </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -7819,10 +7827,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> @@ -7865,7 +7873,7 @@ Char <span class="no-left"> x$0: </span> - Int + String <span class="no-left">, </span> @@ -7908,9 +7916,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> @@ -7936,14 +7944,6 @@ Char </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -7957,10 +7957,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> @@ -8003,7 +8003,7 @@ Char <span class="no-left"> x$0: </span> - String + Int <span class="no-left">)</span> @@ -8278,9 +8278,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> @@ -8306,6 +8306,14 @@ Char </span> String + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -8319,10 +8327,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> @@ -8339,9 +8347,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> @@ -8367,14 +8375,6 @@ Char </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -8388,10 +8388,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> @@ -9417,9 +9417,9 @@ String </script> </div><!-- end member --> - <div id="startsWith(x$0,x$1)" class="member "> + <div id="startsWith(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startsWith(x$0,x$1)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startsWith(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -9445,14 +9445,6 @@ String </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -9466,10 +9458,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-startsWith(x$0,x$1)"> + <div class="member-body-short" id="short-body-startsWith(x$0)"> </div> - <div class="member-body-long" id ="long-body-startsWith(x$0,x$1)"> + <div class="member-body-long" id ="long-body-startsWith(x$0)"> </div> </div> @@ -9486,9 +9478,9 @@ String </script> </div><!-- end member --> - <div id="startsWith(x$0)" class="member "> + <div id="startsWith(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startsWith(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startsWith(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -9514,6 +9506,14 @@ String </span> String + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -9527,10 +9527,10 @@ String </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-startsWith(x$0)"> + <div class="member-body-short" id="short-body-startsWith(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-startsWith(x$0)"> + <div class="member-body-long" id ="long-body-startsWith(x$0,x$1)"> </div> </div> @@ -10132,9 +10132,9 @@ Char </script> </div><!-- end member --> - <div id="toUpperCase(x$0)" class="member "> + <div id="toUpperCase()" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toUpperCase(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toUpperCase()');">[+]</span> <span class="member-annotations"> </span> @@ -10155,12 +10155,6 @@ Char <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Locale - - <span class="no-left">)</span> @@ -10173,10 +10167,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-toUpperCase(x$0)"> + <div class="member-body-short" id="short-body-toUpperCase()"> </div> - <div class="member-body-long" id ="long-body-toUpperCase(x$0)"> + <div class="member-body-long" id ="long-body-toUpperCase()"> </div> </div> @@ -10193,9 +10187,9 @@ Char </script> </div><!-- end member --> - <div id="toUpperCase()" class="member "> + <div id="toUpperCase(x$0)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toUpperCase()');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toUpperCase(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -10216,6 +10210,12 @@ Char <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Locale + + <span class="no-left">)</span> @@ -10228,10 +10228,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-toUpperCase()"> + <div class="member-body-short" id="short-body-toUpperCase(x$0)"> </div> - <div class="member-body-long" id ="long-body-toUpperCase()"> + <div class="member-body-long" id ="long-body-toUpperCase(x$0)"> </div> </div> @@ -10358,9 +10358,9 @@ Char </script> </div><!-- end member --> - <div id="wait(x$0)" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -10386,6 +10386,14 @@ Char </span> Long + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -10399,10 +10407,10 @@ Char </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-wait(x$0)"> + <div class="member-body-short" id="short-body-wait(x$0,x$1)"> </div> - <div class="member-body-long" id ="long-body-wait(x$0)"> + <div class="member-body-long" id ="long-body-wait(x$0,x$1)"> </div> </div> @@ -10419,9 +10427,9 @@ Char </script> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait(x$0)" 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(x$0)');">[+]</span> <span class="member-annotations"> </span> @@ -10447,14 +10455,6 @@ Char </span> Long - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -10468,10 +10468,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(x$0)"> </div> - <div class="member-body-long" id ="long-body-wait(x$0,x$1)"> + <div class="member-body-long" id ="long-body-wait(x$0)"> </div> </div> |