mapcomplete/UI/Input/RadioButton.ts

151 lines
4.5 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()));
2021-06-14 17:28:11 +02:00
if(selectFirstAsDefault){
value.addCallbackAndRun(selected =>{
if(selected === undefined){
for (const element of elements) {
const v = element.GetValue().data;
if(v !== undefined){
value.setData(v)
break;
}
}
}
})
2020-07-20 13:28:45 +02:00
2021-06-14 17:28:11 +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"
2021-06-14 17:28:11 +02:00
input.onchange = () => {
if(input.checked){
selectedElementIndex.setData(i1)
}
}
value.addCallbackAndRun(
selected => input.checked = element.IsValid(selected)
)
2021-06-14 02:39:23 +02:00
const label = document.createElement("label")
label.appendChild(labelHtml)
label.htmlFor = input.id;
2021-06-14 17:28:11 +02:00
const block = document.createElement("div")
block.appendChild(input)
block.appendChild(label)
2021-06-14 02:39:23 +02:00
2021-06-14 17:28:11 +02:00
form.appendChild(block)
2021-06-14 02:39:23 +02:00
form.addEventListener("change", () => {
// TODO FIXME
}
);
}
this.value = value;
this._elements = elements;
2020-07-20 13:28:45 +02:00
2021-06-14 17:28:11 +02:00
this.SetClass("flex flex-col")
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
}*/
}