AVLMapIntervall.js 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.cast_de_nrw_schule_svws_core_adt_map_AVLMapIntervall = exports.AVLMapIntervall = void 0;
  4. const JavaObject_1 = require("../../../java/lang/JavaObject");
  5. class AVLMapIntervall extends JavaObject_1.JavaObject {
  6. static _INFINITY_MINUS = new Object();
  7. static _INFINITY_PLUS = new Object();
  8. from;
  9. fromInc;
  10. to;
  11. toInc;
  12. /**
  13. * @param pFrom Der Anfang des Intervalls.
  14. * @param pFromInc Gibt an, ob der Intervall-Anfang inklusive ist.
  15. * @param pTo Das Ende des Intervalls.
  16. * @param pToInc Gibt an, ob das Intervall-Ende inklusive ist.
  17. */
  18. constructor(pFrom, pFromInc, pTo, pToInc) {
  19. super();
  20. this.from = pFrom;
  21. this.fromInc = pFromInc;
  22. this.to = pTo;
  23. this.toInc = pToInc;
  24. }
  25. toString() {
  26. let sFrom = (this.from === AVLMapIntervall._INFINITY_MINUS) ? "-INF" : "" + this.from;
  27. let sTo = (this.to === AVLMapIntervall._INFINITY_PLUS) ? "+INF" : "" + this.to;
  28. return "[" + sFrom.valueOf() + ", " + this.fromInc + ", " + sTo.valueOf() + ", " + this.toInc + "]";
  29. }
  30. isTranspiledInstanceOf(name) {
  31. return ['de.nrw.schule.svws.core.adt.map.AVLMapIntervall'].includes(name);
  32. }
  33. }
  34. exports.AVLMapIntervall = AVLMapIntervall;
  35. function cast_de_nrw_schule_svws_core_adt_map_AVLMapIntervall(obj) {
  36. return obj;
  37. }
  38. exports.cast_de_nrw_schule_svws_core_adt_map_AVLMapIntervall = cast_de_nrw_schule_svws_core_adt_map_AVLMapIntervall;
  39. //# sourceMappingURL=AVLMapIntervall.js.map