public Run(DateTimeOffset time, TimeSpan span, int runid, int jid, Verdict v, int rank, int timems)
{
this.time = time;
contest_time = span;
id = $"{runid}";
judgement_id = $"{jid}";
judgement_type_id = JudgementType.For(v);
ordinal = rank;
run_time = timems / 1000.0;
}
public Judgement(Judging j, DateTimeOffset contestTime)
{
id = $"{j.JudgingId}";
submission_id = $"{j.SubmissionId}";
judgehost = j.Server;
judgement_type_id = JudgementType.For(j.Status);
valid = j.Active;
start_contest_time = j.StartTime.Value - contestTime;
start_time = j.StartTime.Value;
if (judgement_type_id != null)
{
end_contest_time = j.StopTime.Value - contestTime;
end_time = j.StopTime.Value;
if (judgement_type_id != "CE" && judgement_type_id != "JE")
{
max_run_time = j.ExecuteTime / 1000.0;
}
}
}
