Sprachendaten.d.ts 758 B

123456789101112131415
  1. import { JavaObject } from '../../java/lang/JavaObject';
  2. import { Sprachbelegung } from '../../core/data/Sprachbelegung';
  3. import { Sprachpruefung } from '../../core/data/Sprachpruefung';
  4. import { Vector } from '../../java/util/Vector';
  5. export declare class Sprachendaten extends JavaObject {
  6. schuelerID: number;
  7. belegungen: Vector<Sprachbelegung>;
  8. pruefungen: Vector<Sprachpruefung>;
  9. constructor();
  10. isTranspiledInstanceOf(name: string): boolean;
  11. static transpilerFromJSON(json: string): Sprachendaten;
  12. static transpilerToJSON(obj: Sprachendaten): string;
  13. static transpilerToJSONPatch(obj: Partial<Sprachendaten>): string;
  14. }
  15. export declare function cast_de_nrw_schule_svws_core_data_Sprachendaten(obj: unknown): Sprachendaten;