octo/wolfree-dockerfile
1
0
Fork 0
mirror of https://git.disroot.org/wolfree/wolfree-dockerfile synced 2025-06-06 00:49:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

2023-09-26

Browse Source
This commit is contained in:
name
2023-09-27 11:34:23 +00:00
parent e4fc871937
commit 72d8b4e6be
101 changed files with 3032 additions and 1934 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
typescript/src/typescriptExhaustive.ts Normal file
View File

@ -0,0 +1,46 @@
/* SPDX-License-Identifier: AGPL-3.0-or-later */
import type EntrypointParameter from "./EntrypointParameter.js";
import typescriptNever from "./typescriptNever.js";
export default (EntrypointParameter: EntrypointParameter): void => {
Object.freeze(EntrypointParameter);
if (typeof EntrypointParameter.input !== "string") {
typescriptNever(EntrypointParameter.input);
}
if (EntrypointParameter.i2d !== true) {
if (EntrypointParameter.i2d !== undefined) {
typescriptNever(EntrypointParameter.i2d);
}
}
if (!(EntrypointParameter.podstate instanceof Array)) {
typescriptNever(EntrypointParameter.podstate);
}
if (EntrypointParameter.podstate.length !== 3) {
if (EntrypointParameter.podstate.length !== 4) {
typescriptNever(EntrypointParameter.podstate.length);
}
}
if (EntrypointParameter.podstate[0] !== "Step-by-step solution") {
typescriptNever(EntrypointParameter.podstate[0]);
}
if (EntrypointParameter.podstate[1] !== "Step-by-step") {
typescriptNever(EntrypointParameter.podstate[1]);
}
if (EntrypointParameter.podstate[2] !== "Show all steps") {
typescriptNever(EntrypointParameter.podstate[2]);
}
if (typeof EntrypointParameter.podstate[3] !== "string") {
if (typeof EntrypointParameter.podstate[3] !== "undefined") {
typescriptNever(EntrypointParameter.podstate[3]);
}
}
};