import { JavaObject } from '../../java/lang/JavaObject';
import { ValidatorManager } from '../../asd/validate/ValidatorManager';
import { Schulform } from '../../asd/types/schule/Schulform';
import { SchuleStammdaten } from '../../asd/data/schule/SchuleStammdaten';
import { DateManager } from '../../asd/validate/DateManager';
import { Class } from '../../java/lang/Class';
import { Schuljahresabschnitt } from '../../asd/data/schule/Schuljahresabschnitt';
export declare class ValidatorKontext extends JavaObject {
    /**
     * Die Stammdaten der Schule
     */
    private readonly _schuleStammdaten;
    /**
     * Die Laufeigenschaften der Validatoren
     */
    private readonly _validatorManager;
    /**
     * Die Schuljahresabschnitte der Schule, welche ihrer ID zugeordnet werden
     */
    private readonly _mapSchuljahresabschnitte;
    /**
     * Erzeugt einen neuen Kontext für Validatoren. Prüfe auch, ob die Stammdaten der Schule eine Valiadierung möglich machen
     * oder aufgrund gravierender Fehler eine Prüfungen unmöglich machen.
     *
     * @param schuleStammdaten   die Stammdaten der Schule für den Kontext
     * @param zebras             die Umgebung, in der gerade validiert wird: true: ZeBrAS, false: SVWS
     */
    constructor(schuleStammdaten: SchuleStammdaten, zebras: boolean);
    /**
     * Gibt die Stammdaten der Schule zurück.
     *
     * @return die Stammdaten der Schule
     */
    getSchuleStammdaten(): SchuleStammdaten;
    /**
     * Gibt die Schulnummer der Schule zurück.
     *
     * @return die Schulnummer der Schule
     */
    getSchulnummer(): number;
    /**
     * Gibt die Schulform der Schule anhand der Information aus den
     * Stammdaten der Schule zurück.
     *
     * @return die Schulform als Core-Type
     */
    getSchulform(): Schulform;
    /**
     * Gibt das aktuelle Schuljahr der Schule zurück.
     *
     * @return das aktuelle Schuljahr
     */
    getSchuljahr(): number;
    /**
     * Gibt den Datums-Manager für den Beginn des aktuellen Schuljahres zurück.
     *
     * @return der Datums-Manager für den Beginn des aktuellen Schuljahres
     */
    getSchuljahresbeginn(): DateManager;
    /**
     * Gibt den Datums-Manager für das Ende des aktuellen Schuljahres zurück.
     *
     * @return der Datums-Manager für das Ende des aktuellen Schuljahres
     */
    getSchuljahresende(): DateManager;
    /**
     * Gibt den aktuellen Schuljahresabschnitt der Schule zurück.
     *
     * @return der Schuljahresabschnitt oder null, wenn dieser nicht korrekt gesetzt ist
     */
    getSchuljahresabschnitt(): Schuljahresabschnitt | null;
    /**
     * Gibt den Schuljahresabschnitt der Schule für die übergebene ID zurück.
     *
     * @param id   die ID des Schuljahresabschnitts
     *
     * @return der Schuljahresabschnitt oder null, falls die id ungültig ist
     */
    getSchuljahresabschnittByID(id: number): Schuljahresabschnitt | null;
    /**
     * Gibt den ValidatorManager zurück.
     *
     * @return der ValidatorManager
     */
    getValidatorManager(): ValidatorManager;
    transpilerCanonicalName(): string;
    isTranspiledInstanceOf(name: string): boolean;
    static class: Class<ValidatorKontext>;
}
export declare function cast_de_svws_nrw_asd_validate_ValidatorKontext(obj: unknown): ValidatorKontext;
//# sourceMappingURL=ValidatorKontext.d.ts.map