2021-07-16 09:52:51 +02:00
|
|
|
import * as tg from "generic-type-guard";
|
|
|
|
|
|
2021-12-14 19:05:14 +01:00
|
|
|
/*
|
|
|
|
|
* WARNING! The original file is in /messages/JsonMessages.
|
|
|
|
|
* All other files are automatically copied from this file on container startup / build
|
|
|
|
|
*/
|
|
|
|
|
|
2021-07-16 09:52:51 +02:00
|
|
|
export const isCharacterTexture = new tg.IsInterface()
|
|
|
|
|
.withProperties({
|
|
|
|
|
id: tg.isNumber,
|
|
|
|
|
level: tg.isNumber,
|
|
|
|
|
url: tg.isString,
|
|
|
|
|
rights: tg.isString,
|
|
|
|
|
})
|
|
|
|
|
.get();
|
|
|
|
|
export type CharacterTexture = tg.GuardedType<typeof isCharacterTexture>;
|
