public JudgeResultException(JudgeResultType type, double time, double memory) { Result = new JudgeResult(type, time, memory); }
public JudgeResultException(JudgeResult result) { Result = result; }