/** * Copyright (c) 2013-2016 Angelo ZERR. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * Angelo Zerr <angelo.zerr@gmail.com> - initial API and implementation */ package tern.eclipse.ide.internal.ui.descriptors.options; import org.eclipse.core.resources.IProject; import org.eclipse.swt.SWT; import org.eclipse.swt.events.SelectionAdapter; import org.eclipse.swt.events.SelectionEvent; import org.eclipse.swt.layout.GridData; import org.eclipse.swt.widgets.Button; import org.eclipse.swt.widgets.Composite; import tern.eclipse.ide.ui.descriptors.options.ITernModuleOptionFactory; import tern.metadata.TernModuleMetadataOption; import tern.server.protocol.JsonHelper; import com.eclipsesource.json.JsonObject; /** * Boolean tern module option. * */ public class BooleanTernModuleOptionFactory implements ITernModuleOptionFactory { @Override public void createOption(Composite parent, IProject project, TernModuleMetadataOption metadata, final JsonObject options) { final String name = metadata.getName(); // create UI final Button checkbox = new Button(parent, SWT.CHECK); checkbox.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); // init UI value boolean value = JsonHelper.getBoolean(options, name, false); checkbox.setSelection(value); // Synchronize UI & JSON checkbox.addSelectionListener(new SelectionAdapter() { @Override public void widgetSelected(SelectionEvent e) { options.set(name, checkbox.getSelection()); } }); } }