/// <summary> /// Constructs a new OutputStreamWriter using /// <code>out</code> /// as the target /// stream to write converted characters to and /// <code>enc</code> /// as the character /// encoder. /// </summary> /// <param name="out">the target stream to write converted bytes to.</param> /// <param name="enc">the character encoder used for character conversion.</param> public OutputStreamWriter(java.io.OutputStream @out, java.nio.charset.CharsetEncoder enc) : base(@out) { enc.charset(); this.@out = @out; encoder = enc; }