public GlkStream(strid_t gstr) { if (gstr.IsNull) throw new ArgumentNullException("gstr"); this.gstr = gstr; }
protected override void Dispose(bool disposing) { if (!gstr.IsNull) { stream_result_t dummy; Glk.glk_stream_close(gstr, out dummy); gstr = strid_t.Null; } }