//
 // 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);
     }
 }
Exemplo n.º 2
0
 /// <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 {}
     }
 }
Exemplo n.º 3
0
 public override void Close()
 {
     BaseOutputStream.Close();
 }
Exemplo n.º 4
0
 public static void close(this Java.IO.OutputStream stream)
 {
     stream.Close();
 }