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> {
|
|
|
|
|
|
|
|
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>;
|
2020-09-25 12:44:04 +02:00
|
|
|
public readonly IsSelected: UIEventSource<boolean>;
|
2020-09-10 19:33:06 +02:00
|
|
|
|
|
|
|
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 currentX = self.GetValue()?.data;
|
|
|
|
const newX = toX(t);
|
|
|
|
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-25 17:57:01 +02:00
|
|
|
}w
|
2020-09-10 19:33:06 +02:00
|
|
|
|
|
|
|
GetValue(): UIEventSource<X> {
|
|
|
|
return this._value;
|
|
|
|
}
|
|
|
|
|
|
|
|
InnerRender(): string {
|
|
|
|
return this._inputElement.InnerRender();
|
|
|
|
}
|
|
|
|
|
|
|
|
IsValid(x: X): boolean {
|
2020-09-25 12:44:04 +02:00
|
|
|
if(x === undefined){
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
const t = this.fromX(x);
|
|
|
|
if(t === undefined){
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return this._inputElement.IsValid(t);
|
2020-09-10 19:33:06 +02:00
|
|
|
}
|
2020-09-25 12:44:04 +02:00
|
|
|
|
2020-09-10 19:33:06 +02:00
|
|
|
}
|