KursDaten.d.ts 716 B

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