aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-09 15:35:04 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-09 15:35:04 +0000
commit64ecf7d655559f4468302c1f2f16f14a5d54a129 (patch)
tree0015ea76cc353def3c2e6237bfd747393b0c5355 /api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
parent7f7dc22aa140cc3da6f3536f24ac5cba7376ff38 (diff)
downloaddotty-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.html486
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>