// // Exception audit: // // Verdict // Exception wrapping is required. // // Rationale // `java.io.OutputStream.close()` throws an exception, see: // // https://developer.android.com/reference/java/io/OutputStream?hl=en#close() // public override void Close() { try { BaseOutputStream.Close(); } catch (Java.IO.IOException ex) when(JNIEnv.ShouldWrapJavaException(ex)) { throw new IOException(ex.Message, ex); } }
/// <summary> /// Release unmanaged resources. /// </summary> /// <param name="disposing">If set, also release managed resources.</param> protected override void Dispose(bool disposing) { if (disposing) { try{ stream.Close(); } catch {} } }
public override void Close() { BaseOutputStream.Close(); }
public static void close(this Java.IO.OutputStream stream) { stream.Close(); }