// // Exception audit: // // Verdict // Exception wrapping is required. // // Rationale // `java.io.OutputStream.flush()` throws an exception, see: // // https://developer.android.com/reference/java/io/OutputStream?hl=en#flush() // public override void Flush() { try { BaseOutputStream.Flush(); } catch (Java.IO.IOException ex) when(JNIEnv.ShouldWrapJavaException(ex)) { throw new IOException(ex.Message, ex); } }
/// <summary> /// Ensure that any buffered data is written to the underlying device. /// </summary> public override void Flush() { stream.Flush(); }
public override void Flush() { BaseOutputStream.Flush(); }