KlassenDaten.d.ts 743 B

1234567891011121314151617
  1. import { JavaObject } from '../../../java/lang/JavaObject';
  2. import { Vector } from '../../../java/util/Vector';
  3. export declare class KlassenDaten extends JavaObject {
  4. id: number;
  5. kuerzel: String | null;
  6. idJahrgang: Number | null;
  7. parallelitaet: String | null;
  8. sortierung: number;
  9. istSichtbar: boolean;
  10. klassenLeitungen: Vector<Number | null> | null;
  11. constructor();
  12. isTranspiledInstanceOf(name: string): boolean;
  13. static transpilerFromJSON(json: string): KlassenDaten;
  14. static transpilerToJSON(obj: KlassenDaten): string;
  15. static transpilerToJSONPatch(obj: Partial<KlassenDaten>): string;
  16. }
  17. export declare function cast_de_nrw_schule_svws_core_data_klassen_KlassenDaten(obj: unknown): KlassenDaten;