internal void Write(JsonWriter json)
{
Debug.Assert(user_id != null && session_id != null && build != null);
json.AppendProperty("user_id", user_id)
.AppendProperty("build", build)
.AppendProperty("session_id", session_id);
}
// Add other fields if needed.
internal void Write(JsonWriter json)
{
if (!string.IsNullOrWhiteSpace(platform))
{
json.AppendProperty("platform", platform);
}
if (!string.IsNullOrWhiteSpace(device))
{
json.AppendProperty("device", device);
}
if (!string.IsNullOrWhiteSpace(os_major))
{
json.AppendProperty("os_major", os_major);
}
if (!string.IsNullOrWhiteSpace(os_minor))
{
json.AppendProperty("os_minor", os_minor);
}
}
internal void Write(JsonWriter json)
{
if (!string.IsNullOrWhiteSpace(area))
{
json.AppendProperty("area", area);
}
if (x.HasValue)
{
json.AppendProperty("x", x.Value);
}
if (y.HasValue)
{
json.AppendProperty("y", y.Value);
}
if (z.HasValue)
{
json.AppendProperty("z", z.Value);
}
}
internal void Write(JsonWriter json)
{
Debug.Assert(!string.IsNullOrWhiteSpace(message));
json.AppendProperty("severity", GetSeverityString(severity))
.AppendProperty("message", message);
}
