mapcomplete/UI/Input/RadioButton.ts

128 lines
3.7 KiB
TypeScript
Raw Normal View History

2020-07-20 15:54:50 +02:00
import {InputElement} from "./InputElement";
import {UIEventSource} from "../../Logic/UIEventSource";
import {Utils} from "../../Utils";
2020-07-20 15:54:50 +02:00
export class RadioButton<T> extends InputElement<T> {
2021-06-14 02:39:23 +02:00
private static _nextId = 0;
2020-09-02 11:37:34 +02:00
IsSelected: UIEventSource<boolean> = new UIEventSource<boolean>(false);
2020-09-09 18:42:13 +02:00
private readonly value: UIEventSource<T>;
2021-06-14 02:39:23 +02:00
private _elements: InputElement<T>[];
private readonly _element: HTMLElement;
2020-07-20 15:54:50 +02:00
constructor(elements: InputElement<T>[],
2020-07-05 18:59:47 +02:00
selectFirstAsDefault = true) {
2021-06-14 02:39:23 +02:00
super()
elements = Utils.NoNull(elements);
const selectedElementIndex: UIEventSource<number> = new UIEventSource<number>(null);
const value =
UIEventSource.flatten(selectedElementIndex.map(
2020-07-20 13:28:45 +02:00
(selectedIndex) => {
if (selectedIndex !== undefined && selectedIndex !== null) {
return elements[selectedIndex].GetValue()
}
}
2020-09-02 11:37:34 +02:00
), elements.map(e => e?.GetValue()));
2020-07-20 13:28:45 +02:00
2021-06-14 02:39:23 +02:00
/*
value.addCallback((t) => {
self?.ShowValue(t);
})*/
2020-07-20 15:54:50 +02:00
2020-07-20 13:28:45 +02:00
2020-07-20 15:54:50 +02:00
for (let i = 0; i < elements.length; i++) {
// If an element is clicked, the radio button corresponding with it should be selected as well
2020-09-02 11:37:34 +02:00
elements[i]?.onClick(() => {
2021-06-14 02:39:23 +02:00
selectedElementIndex.setData(i);
2020-07-20 13:28:45 +02:00
});
elements[i].IsSelected.addCallback(isSelected => {
if (isSelected) {
2021-06-14 02:39:23 +02:00
selectedElementIndex.setData(i);
}
})
2020-10-17 03:19:14 +02:00
elements[i].GetValue().addCallback(() => {
2021-06-14 02:39:23 +02:00
selectedElementIndex.setData(i);
2020-10-17 03:19:14 +02:00
})
2020-07-20 13:28:45 +02:00
}
2021-06-14 02:39:23 +02:00
const groupId = "radiogroup" + RadioButton._nextId
RadioButton._nextId++
const form = document.createElement("form")
this._element = form;
for (let i1 = 0; i1 < elements.length; i1++) {
let element = elements[i1];
const labelHtml = element.ConstructElement();
if (labelHtml === undefined) {
continue;
}
const input = document.createElement("input")
input.id = "radio" + groupId + "-" + i1;
input.name = groupId;
input.type = "radio"
const label = document.createElement("label")
label.appendChild(labelHtml)
label.htmlFor = input.id;
input.appendChild(label)
form.appendChild(input)
form.addEventListener("change", () => {
// TODO FIXME
}
);
}
this.value = value;
this._elements = elements;
2020-07-20 13:28:45 +02:00
2020-07-20 15:54:50 +02:00
}
2020-07-20 13:28:45 +02:00
2020-07-20 15:54:50 +02:00
IsValid(t: T): boolean {
for (const inputElement of this._elements) {
if (inputElement.IsValid(t)) {
return true;
}
}
return false;
}
2020-07-20 15:54:50 +02:00
2020-07-05 18:59:47 +02:00
GetValue(): UIEventSource<T> {
2020-07-20 13:28:45 +02:00
return this.value;
}
2020-07-05 18:59:47 +02:00
2021-06-14 02:39:23 +02:00
protected InnerConstructElement(): HTMLElement {
return this._element;
}
2021-06-14 02:39:23 +02:00
/*
public ShowValue(t: T): boolean {
2020-07-20 15:54:50 +02:00
if (t === undefined) {
return false;
}
if (!this.IsValid(t)) {
return false;
2020-07-20 15:54:50 +02:00
}
// We check that what is selected matches the previous rendering
for (let i = 0; i < this._elements.length; i++) {
const e = this._elements[i];
if (e.IsValid(t)) {
this._selectedElementIndex.setData(i);
e.GetValue().setData(t);
2020-07-20 18:24:00 +02:00
const radio = document.getElementById(this.IdFor(i));
2020-07-20 15:54:50 +02:00
// @ts-ignore
2020-07-20 18:24:00 +02:00
radio?.checked = true;
2020-07-20 15:54:50 +02:00
return;
}
}
2021-06-14 02:39:23 +02:00
}*/
}