/// <summary> /// Writes the contents of this map to the given coded output stream, using the specified codec /// to encode each entry. /// </summary> /// <param name="output">The output stream to write to.</param> /// <param name="codec">The codec to use for each entry.</param> public void WriteTo(CodedOutputStream output, Codec codec) { WriteContext.Initialize(output, out WriteContext ctx); try { WriteTo(ref ctx, codec); } finally { ctx.CopyStateTo(output); } }