import { JavaObject, cast_java_lang_Object } from '../../../../java/lang/JavaObject'; import { JavaString, cast_java_lang_String } from '../../../../java/lang/JavaString'; export class BKAnlageAFach extends JavaObject { public kuerzel : String | null = null; public note : number = -1; public constructor() { super(); } isTranspiledInstanceOf(name : string): boolean { return ['de.nrw.schule.svws.core.abschluss.bk.a.BKAnlageAFach'].includes(name); } } export function cast_de_nrw_schule_svws_core_abschluss_bk_a_BKAnlageAFach(obj : unknown) : BKAnlageAFach { return obj as BKAnlageAFach; }