/******************************************************************************* * Copyright ? 2008 Sandro Badame. All Rights Reserved. *  * This software and the accompanying materials is available under the  * Eclipse Public License 1.0 (EPL), which accompanies this distribution, and is * available at http://visualjpf.sourceforge.net/epl-v10.html ******************************************************************************/package com.javapathfinder.vjp.config.editors.userdefined;import org.eclipse.jface.dialogs.MessageDialog;import org.eclipse.swt.SWT;import org.eclipse.swt.events.SelectionAdapter;import org.eclipse.swt.events.SelectionEvent;import org.eclipse.swt.layout.FillLayout;import org.eclipse.swt.layout.FormAttachment;import org.eclipse.swt.layout.FormData;import org.eclipse.swt.layout.FormLayout;import org.eclipse.swt.widgets.Button;import org.eclipse.swt.widgets.Composite;import org.eclipse.swt.widgets.Label;import org.eclipse.swt.widgets.TableItem;import com.javapathfinder.vjp.config.editors.ModePropertyConfiguration;import com.javapathfinder.vjp.config.editors.Property;/** * A Tab that displays all of the user defined properties * @author Sandro Badame * */public class UserDefinedPropertiesTab extends Composite{  private Button add;  private Button remove;  private ModePropertyConfiguration properties;  private UserDefinedPropertiesViewer viewer;  /**   * Constructs this tab.   * @param parent the parent composite for this tab   * @param properties the modepropertyconfiguration being modified   */  public UserDefinedPropertiesTab(Composite parent, ModePropertyConfiguration properties) {    super(parent, SWT.NULL);    this.properties = properties;    createControl(this);  }  private void createControl(Composite parent) {    setLayout(new FormLayout());    Label label = new Label(parent, SWT.NULL);    Composite table = createTable(parent, SWT.NULL);    Composite buttons = createButtons(parent, SWT.NULL);        label.setText("User defined JPF Properties");    FormData layoutData = new FormData();    layoutData.top = new FormAttachment(0, 5);    layoutData.left = new FormAttachment(0, 5);    label.setLayoutData(layoutData);        int tableHeight = label.computeSize(SWT.DEFAULT, SWT.DEFAULT).y -10;           layoutData = new FormData();    layoutData.top = new FormAttachment(label, tableHeight);    layoutData.left = new FormAttachment(0, 5);    layoutData.right = new FormAttachment(buttons, -5);    layoutData.bottom = new FormAttachment(100, -10);    table.setLayoutData(layoutData);    layoutData = new FormData();    layoutData.top = new FormAttachment(label, tableHeight);    layoutData.right = new FormAttachment(100, -5);    buttons.setLayoutData(layoutData);  }  private Composite createTable(Composite parent, int style) {    Composite main = new Composite(parent, style);    main.setLayout(new FillLayout());    viewer = new UserDefinedPropertiesViewer(main, properties);    viewer.setInput(properties);        return main;  }  private Composite createButtons(Composite parent, int style) {    Composite main = new Composite(parent, style);    main.setLayout(new FillLayout(SWT.VERTICAL));    add = new Button(main, SWT.PUSH);    add.setText("Add Property");    add.addSelectionListener(new SelectionAdapter() {      public void widgetSelected(SelectionEvent e) {        AddPropertyDialog addDialog = new AddPropertyDialog(getShell());        Property property = addDialog.open();        if (property == null)          return;        if (properties.isDefaultProperty(property.getName())){          new MessageDialog(getParent().getShell(),                            "Property is already defined.",                            null,                            "The property '"+property.getName()+"' is"+                            " already defined in the default properties."+                            " Please change its value there.",                            MessageDialog.WARNING,                            new String[]{"OK"},                            0).open();          return;        }        properties.setProperty(property);        viewer.repackColumns();        viewer.refresh();      }    });    remove = new Button(main, SWT.PUSH);    remove.setText("Remove Property");    remove.addSelectionListener(new SelectionAdapter() {      public void widgetSelected(SelectionEvent e) {        for (TableItem item : viewer.getTable().getSelection()) {          Property  p = ((Property) item.getData());          properties.removeProperty(p);        }        viewer.refresh();      }    });    return main;  }    /**   * The name to be displayed on the User Defined Properties tab.   * @return the name displayed   */  public String getTabName() {    return "Custom Properties";  }  /**   * Refreshes the contents of this tab.   */  public void refresh() {    viewer.refresh();    layout();  }}