2020-09-10 19:33:06 +02:00
|
|
|
import {InputElement} from "./InputElement";
|
|
|
|
import {UIEventSource} from "../../Logic/UIEventSource";
|
|
|
|
|
|
|
|
|
|
|
|
export default class InputElementMap<T, X> extends InputElement<X> {
|
2021-06-10 01:36:20 +02:00
|
|
|
public readonly IsSelected: UIEventSource<boolean>;
|
2020-09-10 19:33:06 +02:00
|
|
|
private readonly _inputElement: InputElement<T>;
|
|
|
|
private isSame: (x0: X, x1: X) => boolean;
|
|
|
|
private readonly fromX: (x: X) => T;
|
|
|
|
private readonly toX: (t: T) => X;
|
|
|
|
private readonly _value: UIEventSource<X>;
|
|
|
|
|
|
|
|
constructor(inputElement: InputElement<T>,
|
|
|
|
isSame: (x0: X, x1: X) => boolean,
|
|
|
|
toX: (t: T) => X,
|
2020-09-11 00:23:19 +02:00
|
|
|
fromX: (x: X) => T,
|
|
|
|
extraSources: UIEventSource<any>[] = []
|
2020-09-10 19:33:06 +02:00
|
|
|
) {
|
|
|
|
super();
|
|
|
|
this.isSame = isSame;
|
|
|
|
this.fromX = fromX;
|
|
|
|
this.toX = toX;
|
|
|
|
this._inputElement = inputElement;
|
|
|
|
this.IsSelected = inputElement.IsSelected;
|
|
|
|
const self = this;
|
|
|
|
this._value = inputElement.GetValue().map(
|
|
|
|
(t => {
|
|
|
|
const newX = toX(t);
|
2021-10-29 03:42:33 +02:00
|
|
|
const currentX = self.GetValue()?.data;
|
2020-09-10 19:33:06 +02:00
|
|
|
if (isSame(currentX, newX)) {
|
|
|
|
return currentX;
|
|
|
|
}
|
|
|
|
return newX;
|
2020-09-11 00:23:19 +02:00
|
|
|
}), extraSources, x => {
|
2020-09-25 12:44:04 +02:00
|
|
|
return fromX(x);
|
2020-09-10 19:33:06 +02:00
|
|
|
});
|
2020-09-30 22:48:58 +02:00
|
|
|
}
|
2020-09-10 19:33:06 +02:00
|
|
|
|
|
|
|
GetValue(): UIEventSource<X> {
|
|
|
|
return this._value;
|
|
|
|
}
|
|
|
|
|
|
|
|
IsValid(x: X): boolean {
|
2021-06-10 01:36:20 +02:00
|
|
|
if (x === undefined) {
|
2020-09-25 12:44:04 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
const t = this.fromX(x);
|
2021-06-10 01:36:20 +02:00
|
|
|
if (t === undefined) {
|
2020-09-25 12:44:04 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return this._inputElement.IsValid(t);
|
2020-09-10 19:33:06 +02:00
|
|
|
}
|
2021-06-10 01:36:20 +02:00
|
|
|
|
|
|
|
protected InnerConstructElement(): HTMLElement {
|
|
|
|
return this._inputElement.ConstructElement();
|
|
|
|
}
|
|
|
|
|
2020-09-10 19:33:06 +02:00
|
|
|
}
|