Add missing overrides to CombinedWriters

dafny-lang · Mar 4, 2024 · 2fa02b6 · 2fa02b6
1 parent 7da0184
commit 2fa02b6
Showing 1 changed file with 17 additions and 6 deletions.
diff --git a/Source/XUnitExtensions/Lit/CombinedWriter.cs b/Source/XUnitExtensions/Lit/CombinedWriter.cs
@@ -45,24 +45,35 @@ public override Task WriteAsync(char value) {
     return Task.WhenAll(writers.Select(w => w.WriteAsync(value)));
   }
 
+  public override Task WriteAsync(string? value) {
+    return Task.WhenAll(writers.Select(w => w.WriteAsync(value)));
+  }
+
   public override Task WriteAsync(char[] buffer, int index, int count) {
     return Task.WhenAll(writers.Select(w => w.WriteAsync(buffer, index, count)));
   }
 
-  public override Task WriteLineAsync(char[] buffer, int index, int count) {
-    return Task.WhenAll(writers.Select(w => w.WriteLineAsync(buffer, index, count)));
+  public override Task WriteAsync(ReadOnlyMemory<char> buffer, CancellationToken cancellationToken = new()) {
+    return Task.WhenAll(writers.Select(w => w.WriteAsync(buffer, cancellationToken)));
+  }
 
+  public override Task WriteLineAsync(ReadOnlyMemory<char> buffer, CancellationToken cancellationToken = new()) {
+    return Task.WhenAll(writers.Select(w => w.WriteLineAsync(buffer, cancellationToken)));
   }
 
-  public override Task WriteLineAsync(string? value) {
+  public override Task WriteLineAsync(char value) {
     return Task.WhenAll(writers.Select(w => w.WriteLineAsync(value)));
   }
 
-  public override Task WriteLineAsync(char value) {
+  public override Task WriteLineAsync(string? value) {
     return Task.WhenAll(writers.Select(w => w.WriteLineAsync(value)));
   }
 
-  public override Task WriteLineAsync(ReadOnlyMemory<char> buffer, CancellationToken cancellationToken = new()) {
-    return Task.WhenAll(writers.Select(w => w.WriteLineAsync(buffer, cancellationToken)));
+  public override Task WriteLineAsync(char[] buffer, int index, int count) {
+    return Task.WhenAll(writers.Select(w => w.WriteLineAsync(buffer, index, count)));
+  }
+
+  public override Task WriteLineAsync(StringBuilder? value, CancellationToken cancellationToken = new()) {
+    return Task.WhenAll(writers.Select(w => w.WriteLineAsync(value, cancellationToken)));
   }
 }