/// <summary>
/// Returns the historical name of the encoding used by this writer to convert characters to
/// bytes, or null if this writer has been closed.
/// </summary>
/// <remarks>
/// Returns the historical name of the encoding used by this writer to convert characters to
/// bytes, or null if this writer has been closed. Most callers should probably keep
/// track of the String or Charset they passed in; this method may not return the same
/// name.
/// </remarks>
public virtual string getEncoding()
{
if (!isOpen())
{
return(null);
}
return(java.io.HistoricalCharsetNames.get(decoder.charset()));
}
