@xcpcio/core 0.58.3 → 0.59.0

package/src/rating/rating-history.ts

@@ -1,81 +0,0 @@
-import type { IRatingHistory } from "@xcpcio/types";
-import type { Persons } from "../person";
-import type { dayjs } from "../utils";
-
-import { Person } from "../person";
-import { createDayJS } from "../utils";
-
-export class RatingHistory {
-  rank: number;
-  rating: number;
-
-  teamName: string;
-  organization: string;
-
-  members: Persons;
-  coaches: Persons;
-
-  contestID: string;
-  contestName: string;
-  contestLink: string;
-  contestTime: dayjs.Dayjs;
-
-  constructor() {
-    this.rank = 0;
-    this.rating = 0;
-
-    this.teamName = "";
-    this.organization = "";
-
-    this.members = [];
-    this.coaches = [];
-
-    this.contestID = "";
-    this.contestName = "";
-    this.contestLink = "";
-    this.contestTime = createDayJS();
-  }
-
-  toJSON(): IRatingHistory {
-    return {
-      rank: this.rank,
-      rating: this.rating,
-
-      teamName: this.teamName,
-      organization: this.organization,
-
-      members: this.members.map(member => member.toJSON()),
-      coaches: this.coaches.map(coach => coach.toJSON()),
-
-      contestID: this.contestID,
-      contestName: this.contestName,
-      contestLink: this.contestLink,
-      contestTime: this.contestTime.toDate(),
-    };
-  }
-
-  static fromJSON(iRatingHistory: IRatingHistory | string): RatingHistory {
-    if (typeof iRatingHistory === "string") {
-      iRatingHistory = JSON.parse(iRatingHistory) as IRatingHistory;
-    }
-
-    const ratingHistory = new RatingHistory();
-    ratingHistory.rank = iRatingHistory.rank;
-    ratingHistory.rating = iRatingHistory.rating;
-
-    ratingHistory.teamName = iRatingHistory.teamName;
-    ratingHistory.organization = iRatingHistory.organization;
-
-    ratingHistory.members = iRatingHistory.members.map(iMember => Person.fromJSON(iMember));
-    ratingHistory.coaches = iRatingHistory.coaches.map(iCoach => Person.fromJSON(iCoach));
-
-    ratingHistory.contestID = iRatingHistory.contestID;
-    ratingHistory.contestName = iRatingHistory.contestName;
-    ratingHistory.contestLink = iRatingHistory.contestLink;
-    ratingHistory.contestTime = createDayJS(iRatingHistory.contestTime);
-
-    return ratingHistory;
-  }
-}
-
-export type RatingHistories = Array<RatingHistory>;

package/src/rating/rating-user.ts

@@ -1,99 +0,0 @@
-import type { IRatingUser } from "@xcpcio/types";
-
-import type { Persons } from "../person";
-import type { RatingHistories } from "./rating-history";
-import { Person } from "../person";
-import { RatingHistory } from "./rating-history";
-
-export class RatingUser {
-  id: string;
-  name: string;
-  organization: string;
-
-  members: Persons;
-  coaches: Persons;
-
-  rating: number;
-  minRating: number;
-  maxRating: number;
-
-  rank: number;
-  oldRating: number;
-
-  seed: number;
-  delta: number;
-
-  ratingHistories: RatingHistories;
-
-  constructor() {
-    this.id = "";
-    this.name = "";
-    this.organization = "";
-
-    this.members = [];
-    this.coaches = [];
-
-    this.rating = 0;
-    this.minRating = 0x3F3F3F3F;
-    this.maxRating = -0x3F3F3F3F;
-
-    this.rank = 0;
-    this.oldRating = 0;
-
-    this.seed = 1.0;
-    this.delta = 0;
-
-    this.ratingHistories = [];
-  }
-
-  UpdateRating(rating: number) {
-    this.rating = rating;
-    this.minRating = Math.min(this.minRating, rating);
-    this.maxRating = Math.max(this.maxRating, rating);
-  }
-
-  toJSON(): IRatingUser {
-    return {
-      id: this.id,
-      name: this.name,
-      organization: this.organization,
-
-      members: this.members.map(member => member.toJSON()),
-      coaches: this.coaches.map(coach => coach.toJSON()),
-
-      rating: this.rating,
-      minRating: this.minRating,
-      maxRating: this.maxRating,
-
-      ratingHistories: this.ratingHistories.map(ratingHistory => ratingHistory.toJSON()),
-    };
-  }
-
-  static fromJSON(iRatingUser: IRatingUser | string): RatingUser {
-    if (typeof iRatingUser === "string") {
-      iRatingUser = JSON.parse(iRatingUser) as IRatingUser;
-    }
-
-    const ratingUser = new RatingUser();
-
-    ratingUser.id = iRatingUser.id;
-    ratingUser.name = iRatingUser.name;
-    ratingUser.organization = iRatingUser.organization;
-
-    ratingUser.members = iRatingUser.members.map(member => Person.fromJSON(member));
-    ratingUser.coaches = iRatingUser.coaches.map(coach => Person.fromJSON(coach));
-
-    ratingUser.rating = iRatingUser.rating;
-    ratingUser.minRating = iRatingUser.minRating;
-    ratingUser.maxRating = iRatingUser.maxRating;
-
-    for (const iRatingHistory of iRatingUser.ratingHistories) {
-      ratingUser.ratingHistories.push(RatingHistory.fromJSON(iRatingHistory));
-    }
-
-    return ratingUser;
-  }
-}
-
-export type RatingUsers = Array<RatingUser>;
-export type RatingUserMap = Map<string, RatingUser>;

package/src/rating/rating-utility.ts

@@ -1,80 +0,0 @@
-export enum RatingLevel {
-  NEWBIE = "NEWBIE",
-  PUPIL = "PUPIL",
-  SPECIALIST = "SPECIALIST",
-  EXPERT = "EXPERT",
-  CANDIDATE_MASTER = "CANDIDATE_MASTER",
-  MASTER = "MASTER",
-  INTERNATIONAL_MASTER = "INTERNATIONAL_MASTER",
-  GRANDMASTER = "GRANDMASTER",
-  INTERNATIONAL_GRANDMASTER = "INTERNATIONAL_GRANDMASTER",
-  LEGENDARY_GRANDMASTER = "LEGENDARY_GRANDMASTER",
-}
-
-export const RatingLevelToString: { [key in RatingLevel]: string } = {
-  [RatingLevel.NEWBIE]: "Newbie",
-  [RatingLevel.PUPIL]: "Pupil",
-  [RatingLevel.SPECIALIST]: "Specialist",
-  [RatingLevel.EXPERT]: "Expert",
-  [RatingLevel.CANDIDATE_MASTER]: "Candidate Master",
-  [RatingLevel.MASTER]: "Master",
-  [RatingLevel.INTERNATIONAL_MASTER]: "International Master",
-  [RatingLevel.GRANDMASTER]: "Grandmaster",
-  [RatingLevel.INTERNATIONAL_GRANDMASTER]: "International Grandmaster",
-  [RatingLevel.LEGENDARY_GRANDMASTER]: "Legendary Grandmaster",
-};
-
-export class RatingUtility {
-  static getRatingLevel(rating: number): RatingLevel {
-    if (rating >= 3000) {
-      return RatingLevel.LEGENDARY_GRANDMASTER;
-    } else if (rating >= 2600) {
-      return RatingLevel.INTERNATIONAL_GRANDMASTER;
-    } else if (rating >= 2400) {
-      return RatingLevel.GRANDMASTER;
-    } else if (rating >= 2300) {
-      return RatingLevel.INTERNATIONAL_MASTER;
-    } else if (rating >= 2100) {
-      return RatingLevel.MASTER;
-    } else if (rating >= 1900) {
-      return RatingLevel.CANDIDATE_MASTER;
-    } else if (rating >= 1600) {
-      return RatingLevel.EXPERT;
-    } else if (rating >= 1400) {
-      return RatingLevel.SPECIALIST;
-    } else if (rating >= 1200) {
-      return RatingLevel.PUPIL;
-    }
-
-    return RatingLevel.NEWBIE;
-  }
-
-  static getRatingLevelClass(ratingLevel: RatingLevel | number): string {
-    if (typeof ratingLevel === "number") {
-      return this.getRatingLevelClass(this.getRatingLevel(ratingLevel));
-    }
-
-    switch (ratingLevel) {
-      case RatingLevel.NEWBIE:
-        return "user-gray";
-      case RatingLevel.PUPIL:
-        return "user-green";
-      case RatingLevel.SPECIALIST:
-        return "user-cyan";
-      case RatingLevel.EXPERT:
-        return "user-blue";
-      case RatingLevel.CANDIDATE_MASTER:
-        return "user-violet";
-      case RatingLevel.MASTER:
-        return "user-orange";
-      case RatingLevel.INTERNATIONAL_MASTER:
-        return "user-orange";
-      case RatingLevel.GRANDMASTER:
-        return "user-red";
-      case RatingLevel.INTERNATIONAL_GRANDMASTER:
-        return "user-red";
-      case RatingLevel.LEGENDARY_GRANDMASTER:
-        return "user-legendary";
-    }
-  }
-}

package/src/rating/rating.ts

@@ -1,136 +0,0 @@
-import type { IRating } from "@xcpcio/types";
-import type { Ranks } from "../rank";
-import type { Team } from "../team";
-import type { RatingUserMap, RatingUsers } from "./rating-user";
-
-import { createPersons } from "../person";
-import { RatingCalculator } from "./rating-calculator";
-import { RatingHistory } from "./rating-history";
-import { RatingUser } from "./rating-user";
-
-export class Rating {
-  id: string;
-  name: string;
-  baseRating: number;
-
-  contestIDs: string[];
-  users: RatingUsers;
-
-  ranks: Ranks;
-  userMap: RatingUserMap;
-
-  constructor() {
-    this.id = "";
-    this.name = "";
-    this.baseRating = 1500;
-
-    this.contestIDs = [];
-    this.users = [];
-
-    this.ranks = [];
-    this.userMap = new Map<string, RatingUser>();
-  }
-
-  buildRating() {
-    for (const rank of this.ranks) {
-      rank.buildRank();
-
-      const ratingCalculator = new RatingCalculator();
-
-      for (const t of rank.teams) {
-        const id = this.generateTeamId(t);
-
-        let u = null;
-
-        if (!this.userMap.has(id)) {
-          u = new RatingUser();
-          u.id = id;
-          u.name = t.name;
-          u.organization = t.organization;
-
-          u.members = createPersons(t.members ?? []);
-          u.coaches = createPersons(t.coach ?? []);
-
-          u.rank = t.rank;
-          u.oldRating = this.baseRating;
-          u.UpdateRating(this.baseRating);
-
-          this.userMap.set(id, u);
-          this.users.push(u);
-
-          ratingCalculator.users.push(u);
-        } else {
-          u = this.userMap.get(id)!;
-          u.rank = t.rank;
-          u.oldRating = u.rating;
-          ratingCalculator.users.push(u);
-        }
-
-        {
-          const h = new RatingHistory();
-          h.rank = t.rank;
-          h.rating = u.rating;
-
-          h.teamName = t.name;
-          h.organization = t.organization;
-
-          h.members = createPersons(t.members ?? []);
-          h.coaches = createPersons(t.coach ?? []);
-
-          h.contestID = rank.contest.id;
-          h.contestLink = h.contestID;
-          h.contestName = rank.contest.name;
-          h.contestTime = rank.contest.startTime;
-
-          u.ratingHistories.push(h);
-        }
-      }
-
-      ratingCalculator.calculate();
-
-      for (const u of ratingCalculator.users) {
-        u.ratingHistories.at(-1)!.rating = u.rating;
-      }
-    }
-  }
-
-  generateTeamId(t: Team) {
-    const persons = createPersons(t.members ?? []);
-    if (persons.length > 0) {
-      return persons.map(person => person.name.trim()).sort().join("|");
-    }
-
-    return `${t.organization}-${t.name}`;
-  }
-
-  toJSON(): IRating {
-    return {
-      id: this.id,
-      name: this.name,
-      baseRating: this.baseRating,
-
-      contestIDs: this.contestIDs,
-      users: this.users.map(ratingUser => ratingUser.toJSON()),
-    };
-  }
-
-  static fromJSON(iRating: IRating | string): Rating {
-    if (typeof iRating === "string") {
-      iRating = JSON.parse(iRating) as IRating;
-    }
-
-    const rating = new Rating();
-
-    rating.id = iRating.id;
-    rating.name = iRating.name;
-    rating.baseRating = iRating.baseRating;
-
-    rating.contestIDs = iRating.contestIDs;
-
-    for (const iUser of iRating.users) {
-      rating.users.push(RatingUser.fromJSON(iUser));
-    }
-
-    return rating;
-  }
-}

package/src/resolver-operation.ts

@@ -1,22 +0,0 @@
-import { TeamProblemStatistics } from "./problem";
-import { Team } from "./team";
-
-export class ResolverOperation {
-  id: number;
-
-  team: Team;
-  problemIx: number;
-
-  beforeTeamProblemStatistics: TeamProblemStatistics;
-  afterTeamProblemStatistics: TeamProblemStatistics;
-
-  constructor() {
-    this.id = 0;
-
-    this.team = new Team();
-    this.problemIx = 0;
-
-    this.beforeTeamProblemStatistics = new TeamProblemStatistics();
-    this.afterTeamProblemStatistics = new TeamProblemStatistics();
-  }
-}

package/src/resolver-vue.ts

@@ -1,183 +0,0 @@
-import type { Contest } from "./contest";
-import type { Submissions } from "./submission";
-import type { Teams } from "./team";
-
-import { Resolver } from "./resolver";
-import { Team } from "./team";
-
-export class ResolverVue extends Resolver {
-  readonly FLASHING_TIME_MS = 100;
-  readonly ROLLING_TIME_MS = 600;
-
-  maxIndex: number;
-  currentIndex: number;
-
-  maxOpIndex: number;
-  currentOpIndex: number;
-
-  oldRank: number;
-  newRank: number;
-
-  currentTeamId: string;
-  currentProblemIndex: number;
-
-  problemFlashingEnded: boolean;
-  duringAnimation: boolean;
-
-  startScrollUp: boolean;
-  startScrollDown: boolean;
-
-  constructor(contest: Contest, teams: Teams, submissions: Submissions) {
-    super(contest, teams, submissions);
-
-    this.maxIndex = 0;
-    this.currentIndex = 0;
-
-    this.maxOpIndex = 0;
-    this.currentOpIndex = 0;
-
-    this.oldRank = -1;
-    this.newRank = -1;
-
-    this.currentTeamId = "";
-    this.currentProblemIndex = -1;
-
-    this.problemFlashingEnded = true;
-    this.duringAnimation = false;
-
-    this.startScrollUp = false;
-    this.startScrollDown = false;
-  }
-
-  buildResolver() {
-    super.buildResolver();
-
-    this.maxIndex = this.teams.length - 1;
-    this.currentIndex = this.maxIndex;
-
-    this.maxOpIndex = this.operations.length - 1;
-    this.currentOpIndex = 0;
-
-    this.oldRank = -1;
-    this.newRank = -1;
-
-    this.currentTeamId = "";
-    this.currentProblemIndex = -1;
-
-    this.problemFlashingEnded = true;
-    this.duringAnimation = false;
-
-    this.startScrollUp = false;
-    this.startScrollDown = false;
-  }
-
-  next() {
-    if (this.duringAnimation) {
-      return;
-    }
-
-    if (this.currentOpIndex > this.maxOpIndex) {
-      if (this.currentIndex > 0) {
-        this.currentIndex--;
-      }
-
-      return;
-    }
-
-    const op = this.operations[this.currentOpIndex];
-    const pIx = op.problemIx;
-    const teamId = op.team.id;
-    const team = this.teamsMap.get(teamId) as Team;
-    const currentRank = team.rank;
-
-    if (this.currentIndex + 1 > currentRank) {
-      this.currentIndex--;
-      return;
-    }
-
-    if (this.currentIndex + 1 !== currentRank) {
-      return;
-    }
-
-    team.problemStatistics[pIx] = op.afterTeamProblemStatistics;
-    team.calcSolvedData(this.contest.options);
-
-    this.currentProblemIndex = pIx;
-    this.currentTeamId = teamId;
-
-    {
-      this.oldRank = team.rank;
-      this.newRank = this.oldRank;
-      for (let j = this.currentIndex - 1; j >= 0; j--) {
-        if (Team.compare(team, this.teams[j]) < 0) {
-          this.newRank = this.teams[j].rank;
-        } else {
-          break;
-        }
-      }
-    }
-
-    this.currentOpIndex++;
-
-    {
-      let j = this.oldRank - 1;
-
-      while (j >= 0 && Team.compare(this.teams[j], this.teams[j - 1]) < 0) {
-        [this.teams[j], this.teams[j - 1]] = [this.teams[j - 1], this.teams[j]];
-        this.teams[j].rank = j + 1;
-        this.teams[j - 1].rank = j;
-        j--;
-      }
-    }
-  }
-
-  rewind() {
-    if (this.duringAnimation) {
-      return;
-    }
-
-    if (this.currentOpIndex < 1) {
-      return;
-    }
-
-    this.currentOpIndex--;
-
-    const op = this.operations[this.currentOpIndex];
-    const pIx = op.problemIx;
-    const teamId = op.team.id;
-    const team = this.teamsMap.get(teamId) as Team;
-
-    team.problemStatistics[pIx] = op.beforeTeamProblemStatistics;
-    team.calcSolvedData(this.contest.options);
-
-    this.currentProblemIndex = pIx;
-    this.currentTeamId = teamId;
-
-    {
-      this.oldRank = team.rank;
-      this.newRank = this.oldRank;
-      for (let j = this.currentIndex + 1; j <= this.maxIndex; j++) {
-        if (Team.compare(team, this.teams[j]) > 0) {
-          this.newRank = this.teams[j].rank;
-        } else {
-          break;
-        }
-      }
-    }
-
-    {
-      let j = this.oldRank - 1;
-      let newIndex = j;
-
-      while (j < this.maxIndex && Team.compare(this.teams[j], this.teams[j + 1]) > 0) {
-        [this.teams[j], this.teams[j + 1]] = [this.teams[j + 1], this.teams[j]];
-        this.teams[j].rank = j + 1;
-        this.teams[j + 1].rank = j + 2;
-        newIndex = j + 1;
-        j++;
-      }
-
-      this.currentIndex = newIndex;
-    }
-  }
-}