ENMFloskelgruppe.d.ts 751 B

123456789101112131415
  1. import { JavaObject } from '../../../java/lang/JavaObject';
  2. import { ENMFloskel } from '../../../core/data/enm/ENMFloskel';
  3. import { Vector } from '../../../java/util/Vector';
  4. export declare class ENMFloskelgruppe extends JavaObject {
  5. kuerzel: String | null;
  6. bezeichnung: String | null;
  7. hauptgruppe: String | null;
  8. readonly floskeln: Vector<ENMFloskel>;
  9. constructor();
  10. isTranspiledInstanceOf(name: string): boolean;
  11. static transpilerFromJSON(json: string): ENMFloskelgruppe;
  12. static transpilerToJSON(obj: ENMFloskelgruppe): string;
  13. static transpilerToJSONPatch(obj: Partial<ENMFloskelgruppe>): string;
  14. }
  15. export declare function cast_de_nrw_schule_svws_core_data_enm_ENMFloskelgruppe(obj: unknown): ENMFloskelgruppe;