public void setStatusResult(Result res, String time, String Memory) { result = res; TimeUsed = time; MemoryUsed = Memory; if (cid != -1) { Contest c = ContestMain.getContest(cid); c.getRank().add(Main.status.getStatu(rid), c); // 通知更新排行榜 } }
public int getContestPid() { return ContestMain.getContest(cid).getcpid(pid); }
public Problem getProblem() { if (cid == -1) return Main.problems.getProblem(pid); else { return ContestMain.getContest(cid).getProblem(pid); } }