updated openapi generator

This commit is contained in:
vabene1111
2024-09-23 13:57:37 +02:00
parent 7e77e56e7f
commit 12e0c7fd7b
151 changed files with 1274 additions and 1142 deletions

View File

@@ -82,9 +82,9 @@ export interface OpenDataVersion {
/**
* Check if a given object implements the OpenDataVersion interface.
*/
export function instanceOfOpenDataVersion(value: object): boolean {
if (!('name' in value)) return false;
if (!('code' in value)) return false;
export function instanceOfOpenDataVersion(value: object): value is OpenDataVersion {
if (!('name' in value) || value['name'] === undefined) return false;
if (!('code' in value) || value['code'] === undefined) return false;
return true;
}