AVLMapIntervall.d.ts 845 B

12345678910111213141516171819
  1. import { JavaObject } from '../../../java/lang/JavaObject';
  2. export declare class AVLMapIntervall<K> extends JavaObject {
  3. static readonly _INFINITY_MINUS: unknown | null;
  4. static readonly _INFINITY_PLUS: unknown | null;
  5. readonly from: K;
  6. readonly fromInc: boolean;
  7. readonly to: K;
  8. readonly toInc: boolean;
  9. /**
  10. * @param pFrom Der Anfang des Intervalls.
  11. * @param pFromInc Gibt an, ob der Intervall-Anfang inklusive ist.
  12. * @param pTo Das Ende des Intervalls.
  13. * @param pToInc Gibt an, ob das Intervall-Ende inklusive ist.
  14. */
  15. constructor(pFrom: K, pFromInc: boolean, pTo: K, pToInc: boolean);
  16. toString(): String;
  17. isTranspiledInstanceOf(name: string): boolean;
  18. }
  19. export declare function cast_de_nrw_schule_svws_core_adt_map_AVLMapIntervall<K>(obj: unknown): AVLMapIntervall<K>;