diff options
| author | nsfisis <nsfisis@gmail.com> | 2025-03-04 22:55:01 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2025-03-08 10:12:44 +0900 |
| commit | 1e6df136d8202c8adf65948527f4c3e7583b338c (patch) | |
| tree | 7c82476f6bbbc71d72ab7e71e39559eca197fd95 /frontend/app/types | |
| parent | 54316868c3bec1ff9b04643dfe6c13cf56bf3246 (diff) | |
| download | phperkaigi-2025-albatross-1e6df136d8202c8adf65948527f4c3e7583b338c.tar.gz phperkaigi-2025-albatross-1e6df136d8202c8adf65948527f4c3e7583b338c.tar.zst phperkaigi-2025-albatross-1e6df136d8202c8adf65948527f4c3e7583b338c.zip | |
websocket to polling
Diffstat (limited to 'frontend/app/types')
| -rw-r--r-- | frontend/app/types/ExecResult.ts | 18 | ||||
| -rw-r--r-- | frontend/app/types/PlayerInfo.ts | 7 | ||||
| -rw-r--r-- | frontend/app/types/PlayerProfile.ts | 1 | ||||
| -rw-r--r-- | frontend/app/types/PlayerState.ts | 7 | ||||
| -rw-r--r-- | frontend/app/types/SubmitResult.ts | 16 |
5 files changed, 1 insertions, 48 deletions
diff --git a/frontend/app/types/ExecResult.ts b/frontend/app/types/ExecResult.ts deleted file mode 100644 index e0b6bb4..0000000 --- a/frontend/app/types/ExecResult.ts +++ /dev/null @@ -1,18 +0,0 @@ -export type ExecResultStatus = - | "waiting_submission" - | "running" - | "success" - | "wrong_answer" - | "timeout" - | "compile_error" - | "runtime_error" - | "internal_error" - | "canceled"; - -export type ExecResult = { - testcase_id: number | null; - status: ExecResultStatus; - label: string; - stdout: string; - stderr: string; -}; diff --git a/frontend/app/types/PlayerInfo.ts b/frontend/app/types/PlayerInfo.ts deleted file mode 100644 index e282ba9..0000000 --- a/frontend/app/types/PlayerInfo.ts +++ /dev/null @@ -1,7 +0,0 @@ -import type { PlayerProfile } from "./PlayerProfile"; -import type { PlayerState } from "./PlayerState"; - -export type PlayerInfo = { - profile: PlayerProfile; - state: PlayerState; -}; diff --git a/frontend/app/types/PlayerProfile.ts b/frontend/app/types/PlayerProfile.ts index 42bdcb8..2e9c16a 100644 --- a/frontend/app/types/PlayerProfile.ts +++ b/frontend/app/types/PlayerProfile.ts @@ -1,4 +1,5 @@ export type PlayerProfile = { + id: number; displayName: string; iconPath: string | null; }; diff --git a/frontend/app/types/PlayerState.ts b/frontend/app/types/PlayerState.ts deleted file mode 100644 index e2a2da9..0000000 --- a/frontend/app/types/PlayerState.ts +++ /dev/null @@ -1,7 +0,0 @@ -import type { SubmitResult } from "./SubmitResult"; - -export type PlayerState = { - score: number | null; - code: string; - submitResult: SubmitResult; -}; diff --git a/frontend/app/types/SubmitResult.ts b/frontend/app/types/SubmitResult.ts deleted file mode 100644 index 6df00b6..0000000 --- a/frontend/app/types/SubmitResult.ts +++ /dev/null @@ -1,16 +0,0 @@ -import type { ExecResult } from "./ExecResult"; - -export type SubmitResultStatus = - | "waiting_submission" - | "running" - | "success" - | "wrong_answer" - | "timeout" - | "compile_error" - | "runtime_error" - | "internal_error"; - -export type SubmitResult = { - status: SubmitResultStatus; - execResults: ExecResult[]; -}; |
