Radio.java

package ql.gui.control;

import javafx.beans.value.ChangeListener;
import javafx.geometry.Pos;
import javafx.scene.Node;
import javafx.scene.control.RadioButton;
import javafx.scene.control.ToggleGroup;
import javafx.scene.layout.HBox;
import javafx.scene.layout.VBox;
import ql.semantics.values.BoolValue;
import ql.semantics.values.UndefValue;
import ql.semantics.values.Value;

/**
 * Created by Nik on 10-3-15.
 */
public class Radio extends ControlElement implements BoolControl
{
    private final ToggleGroup group;
    private final RadioButton trueRadio;
    private final RadioButton falseRadio;
    private final HBox controlNode;

    public Radio(String trueLabel, String falseLabel)
    {
        this.group = new ToggleGroup();
        this.trueRadio = this.createRadio(trueLabel, group);
        this.falseRadio = this.createRadio(falseLabel, group);

        this.controlNode = new HBox();
        VBox box = new VBox();
        box.getChildren().addAll(this.trueRadio, this.falseRadio);
        this.controlNode.getChildren().add(box);
        this.controlNode.setAlignment(Pos.BOTTOM_RIGHT);
    }

    private RadioButton createRadio(String label, ToggleGroup group)
    {
        RadioButton radio = new RadioButton();
        radio.setText(label);
        radio.setToggleGroup(group);
        return radio;
    }

    @Override
    public void setValue(Value value)
    {
        value.accept(this);
    }

    @Override
    public void setDisabled(Boolean disabled)
    {
        this.trueRadio.setDisable(disabled);
        this.falseRadio.setDisable(disabled);
    }

    @Override
    public Void visit(UndefValue value)
    {
        this.trueRadio.setSelected(false);
        this.falseRadio.setSelected(false);
        return null;
    }

    @Override
    public Void visit(BoolValue value)
    {
        this.trueRadio.setSelected(value.getValue());
        this.falseRadio.setSelected(!value.getValue());
        return null;
    }

    @Override
    public void addListener(ChangeListener listener)
    {
        this.group.selectedToggleProperty().addListener(listener);
    }

    @Override
    public Node getControlNode()
    {
        return this.controlNode;
    }

    @Override
    public Value getBoolValue()
    {
        if (this.group.getSelectedToggle() != null)
        {
            return new BoolValue(this.trueRadio.isSelected());
        }
        return new UndefValue();
    }
}