//
// 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();
}
