Example usage for org.eclipse.jface.viewers TableViewer getTable

List of usage examples for org.eclipse.jface.viewers TableViewer getTable

  1. HOME
  2. Java
  3. org.eclipse.jface
  4. org.eclipse.jface.viewers.*
  5. TableViewer
  6. getTable

Introduction

In this page you can find the example usage for org.eclipse.jface.viewers TableViewer getTable.

Prototype

public Table getTable()

Source Link

Document

Returns this table viewer's table control.

Usage

From source file:hydrograph.ui.propertywindow.widgets.utility.WidgetUtility.java

License:Apache License

/**
 * Set the cursor on delete the row from table.
 * @param tableViewer//from  w  w w. j a  va  2 s .  c  om
 * @param gridList
 */
public static void setCursorOnDeleteRow(TableViewer tableViewer, List<?> gridList) {
    Table table = tableViewer.getTable();
    int[] indexes = table.getSelectionIndices();
    if (table.getSelectionIndex() == -1) {
        WidgetUtility.errorMessage(ERROR_MESSAGE);
    } else {
        table.remove(indexes);
        List listOfItemsToRemove = new ArrayList();
        for (int index : indexes) {
            listOfItemsToRemove.add(gridList.get(index));
        }
        gridList.removeAll(listOfItemsToRemove);

        //highlight after deletion
        if (indexes.length == 1 && gridList.size() > 0) {//only one item is deleted
            if (gridList.size() == 1) {//list contains only one element
                table.select(0);// select the first element
                tableViewer.editElement(tableViewer.getElementAt(0), 0);
            } else if (gridList.size() == indexes[0]) {//deleted last item 
                table.select(gridList.size() - 1);//select the last element which now at the end of the list
                tableViewer.editElement(tableViewer.getElementAt(gridList.size() - 1), 0);
            } else if (gridList.size() > indexes[0]) {//deleted element from middle of the list
                table.select(indexes[0] == 0 ? 0 : (indexes[0] - 1));//select the element from at the previous location
                tableViewer.editElement(tableViewer.getElementAt(indexes[0] == 0 ? 0 : (indexes[0] - 1)), 0);
            }
        } else if (indexes.length >= 2) {//multiple items are selected for deletion
            if (indexes[0] == 0) {//delete from 0 to ...
                if (gridList.size() >= 1) {//list contains only one element
                    table.select(0);//select the remaining element
                    tableViewer.editElement(tableViewer.getElementAt(0), 0);
                }
            } else {//delete started from element other than 0th element
                table.select((indexes[0]) - 1);//select element before the start of selection   
                tableViewer.editElement(tableViewer.getElementAt((indexes[0]) - 1), 0);
            }
        }
    }
}

From source file:io.aos.jface.expl.explorer02.Explorer.java

License:Apache License

protected Control createContents(Composite parent) {
    SashForm sash_form = new SashForm(parent, SWT.HORIZONTAL | SWT.NULL);

    TreeViewer tv = new TreeViewer(sash_form);
    tv.setContentProvider(new FileTreeContentProvider());
    tv.setLabelProvider(new FileTreeLabelProvider());
    // Controlleur
    tv.setInput(new File("C:\\"));

    final TableViewer tbv = new TableViewer(sash_form, SWT.BORDER);
    tbv.setContentProvider(new FileTableContentProvider());
    tbv.setLabelProvider(new FileTableLabelProvider());

    TableColumn column = new TableColumn(tbv.getTable(), SWT.LEFT);
    column.setText("Name");
    column.setWidth(200);/*from   ww  w. java  2 s .co m*/
    tbv.getTable().setHeaderVisible(true);

    tv.addSelectionChangedListener(new ISelectionChangedListener() {
        public void selectionChanged(SelectionChangedEvent event) {
            IStructuredSelection selection = (IStructuredSelection) event.getSelection();

            Object selected_file = selection.getFirstElement();
            tbv.setInput(selected_file);
        }
    });

    return sash_form;
}

From source file:io.aos.jface.expl.explorer03.Explorer.java

License:Apache License

protected Control createContents(Composite parent) {
    getShell().setText("JFace File Explorer");
    SashForm sash_form = new SashForm(parent, SWT.HORIZONTAL | SWT.NULL);

    TreeViewer tv = new TreeViewer(sash_form);
    tv.setContentProvider(new FileTreeContentProvider());
    tv.setLabelProvider(new FileTreeLabelProvider());
    tv.setInput(new File("C:\\"));
    tv.addFilter(new AllowOnlyFoldersFilter());

    final TableViewer tbv = new TableViewer(sash_form, SWT.BORDER | SWT.FULL_SELECTION | SWT.MULTI);
    tbv.setContentProvider(new FileTableContentProvider());
    tbv.setLabelProvider(new FileTableLabelProvider());
    tbv.setSorter(new FileSorter());

    TableColumn column = new TableColumn(tbv.getTable(), SWT.LEFT);
    column.setText("Name");
    column.setWidth(200);/* www  .  j a  va2  s. c om*/

    column = new TableColumn(tbv.getTable(), SWT.RIGHT);
    column.setText("Size");
    column.setWidth(100);

    tbv.getTable().setHeaderVisible(true);

    tv.addSelectionChangedListener(new ISelectionChangedListener() {
        public void selectionChanged(SelectionChangedEvent event) {
            IStructuredSelection selection = (IStructuredSelection) event.getSelection();

            Object selected_file = selection.getFirstElement();
            tbv.setInput(selected_file);
        }
    });

    tbv.addSelectionChangedListener(new ISelectionChangedListener() {
        public void selectionChanged(SelectionChangedEvent event) {
            IStructuredSelection selection = (IStructuredSelection) event.getSelection();

            setStatus("Number of items selected is " + selection.size());
        }
    });

    return sash_form;
}

From source file:it.uniba.di.cdg.econference.planningpoker.ui.DefaultBacklogViewUIProvider.java

License:Open Source License

@Override
public void createColumns(TableViewer viewer) {
    String[] titles = new String[] { "ID", "Story Text", "Milestone", "Estimate" };
    int[] bounds = new int[] { 50, 320, 90, 70 };
    for (int i = 0; i < titles.length; i++) {
        final int index = i;
        TableViewerColumn column = new TableViewerColumn(viewer, SWT.NONE);
        column.getColumn().setText(titles[i]);
        column.getColumn().setWidth(bounds[i]);
        column.getColumn().setResizable(true);
        column.getColumn().setMoveable(true);
        column.setLabelProvider(new CellLabelProvider() {

            @Override//from   ww w .ja va 2  s . c om
            public void update(ViewerCell cell) {
                DefaultUserStory story = (DefaultUserStory) cell.getElement();
                switch (index) {
                case 0:
                    cell.setText(story.getId());
                    break;
                case 1:
                    cell.setText(story.getStoryText());
                    break;
                case 2:
                    cell.setText(story.getMilestoneName());
                    break;
                case 3:
                    String estimate = story.getEstimate().toString();
                    if (estimate.isEmpty() || estimate.equals("0.0"))
                        estimate = "?";
                    cell.setText(estimate);
                    break;
                }

            }
        });
        //column.setEditingSupport(new SimpleBacklogEditingSupport(viewer,i));
    }

    AutoResizeTableLayout layout = new AutoResizeTableLayout(viewer.getTable());
    layout.addColumnData(new ColumnPixelData(bounds[0]));
    layout.addColumnData(new ColumnWeightData(1));
    layout.addColumnData(new ColumnPixelData(bounds[2]));
    layout.addColumnData(new ColumnPixelData(bounds[3]));

    Table table = viewer.getTable();
    table.setHeaderVisible(true);
    table.setLinesVisible(false);
}

From source file:it.uniba.di.cdg.econference.planningpoker.ui.DefaultEstimatesViewUIProvider.java

License:Open Source License

@Override
public void createColumns(TableViewer viewer) {
    String[] titles = new String[] { "Participant", "Estimate", };
    int[] bounds = new int[] { 200, 80 };
    AutoResizeTableLayout layout = (AutoResizeTableLayout) viewer.getTable().getLayout();
    for (int i = 0; i < titles.length; i++) {
        TableViewerColumn column = new TableViewerColumn(viewer, SWT.NONE);
        column.getColumn().setText(titles[i]);
        column.getColumn().setWidth(bounds[i]);
        column.getColumn().setResizable(true);
        column.getColumn().setMoveable(true);
        layout.addColumnData(new ColumnWeightData(bounds[i]));
        column.setLabelProvider(new CellLabelProvider() {

            @Override//from ww w  .  java  2s  .c o  m
            public void update(ViewerCell cell) {
                Object[] element = (Object[]) cell.getElement();
                if (element != null) {
                    int index = cell.getColumnIndex();
                    switch (index) {
                    case 0:
                        if (element[0] instanceof IParticipant) {
                            IParticipant participant = (IParticipant) element[0];
                            cell.setText(participant.getNickName());
                        }
                        break;
                    case 1:
                        if (element[1] instanceof IPokerCard) {
                            IPokerCard card = (IPokerCard) element[1];
                            if (card != null)
                                cell.setText(card.getStringValue());
                            else //votes are hidden
                                cell.setText("Hidden");
                        }
                        break;
                    }
                }
            }
        });
    }
    Table table = viewer.getTable();
    table.setHeaderVisible(true);
    table.setLinesVisible(false);
}

From source file:kuria.test.edit.EditableTest.java

License:Apache License

private void init(Shell shell) {
    final Set<Pet> pets = new HashSet<Pet>();
    for (int i = 0; i < 5; i++) {
        pets.add(createPet("Pet #" + i));
    }//from  w w  w .j  av  a 2s.  c o  m

    ArrayList<Person> p = new ArrayList<Person>();
    for (int i = 0; i < 2; i++) {
        p.add(createPerson("Meyer", "Hans " + i, (i + 1) * 2));
    }

    p.get(0).setAddress(createAddress());

    final ArrayList<Person> children = new ArrayList<Person>();
    for (int i = 0; i < 4; i++) {
        children.add(createPerson("Meyer", "Hans " + i + " max", (i + 1) * 2));
    }

    Collections.shuffle(children);

    shell.setText("TableTest");
    shell.setSize(800, 1000);
    shell.setLayout(new GridLayout());
    Composite comp = new Composite(shell, SWT.NONE);
    comp.setLayoutData(new GridData(GridData.FILL_BOTH));
    comp.setLayout(new GridLayout());

    AnnotationBindingFactory fac = new AnnotationBindingFactory();
    fac.addClass(Person.class);
    fac.addClass(Address.class);
    fac.addClass(Pet.class);

    IBindingContainer bc = fac.getBindingContainer();

    bc.setLabelProvider(new ILabelProvider() {

        public String getLabel(String label) {
            if ("FavPet".equals(label))
                return "Haustier";
            return label;
        }
    });

    WidgetGenerator gen = new WidgetGenerator(bc);
    final TableViewer viewer = gen.generateTable(Person.class, comp);
    viewer.getTable().getParent().setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
    viewer.setInput(p);

    inputMask = gen.generateEditable(Person.class, comp);
    inputMask.addInputMaskListeners(this);
    inputMask.getComposite().setLayoutData(new GridData(GridData.FILL_BOTH));
    inputMask.setContentProvider(new IContentProvider() {

        public boolean hasContent(String fieldname, Object model) {
            if ("identifier".equals(fieldname))
                return false;
            return true;
        }

        public Object[] getElements(String fieldname, Object model) {
            if (fieldname.equals("pets"))
                return pets.toArray();
            if (fieldname.equals("children"))
                return children.toArray();
            if (fieldname.equals("wife"))
                return children.toArray();
            if ((fieldname.equals("favPet")) && (model instanceof Person)) {
                Set<Pet> petsList = ((Person) model).getPets();
                if (petsList != null)
                    return petsList.toArray();
            }
            return new Object[0];
        }
    });

    button = new Button(comp, SWT.PUSH);
    button.setText("Save");
    button.addSelectionListener(new SelectionAdapter() {
        @SuppressWarnings("unchecked")
        @Override
        public void widgetSelected(SelectionEvent arg0) {
            inputMask.persist();
            if (!((List<Person>) viewer.getInput()).contains(inputMask.getModel())) {
                ((List<Person>) viewer.getInput()).add((Person) inputMask.getModel());
            }
            inputMask.setModel(null);
            viewer.refresh();
        }
    });

    Button button = new Button(comp, SWT.PUSH);
    button.setText("New");
    button.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent arg0) {
            inputMask.setModel(new Person());
        }
    });

    button = new Button(comp, SWT.PUSH);
    button.setText("Refresh");
    button.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent arg0) {
            ((Person) inputMask.getModel()).setPets(pets);
            inputMask.refresh("pets");
            inputMask.refresh("favPet");
        }
    });

    viewer.addSelectionChangedListener(new ISelectionChangedListener() {

        public void selectionChanged(SelectionChangedEvent event) {
            if (viewer.getSelection().isEmpty())
                inputMask.setModel(null);

            IStructuredSelection sel = (IStructuredSelection) viewer.getSelection();
            inputMask.setModel(sel.getFirstElement());
        }
    });

}

From source file:kuria.test.edit.NonAnnotationEditableTest.java

License:Apache License

private void init(Shell shell) {
    final Set<Pet> pets = new HashSet<Pet>();
    for (int i = 0; i < 5; i++) {
        pets.add(createPet("Pet #" + i));
    }// ww  w.  ja  v a 2s . com

    ArrayList<Person> p = new ArrayList<Person>();
    for (int i = 0; i < 2; i++) {
        p.add(createPerson("Meyer", "Hans " + i, (i + 1) * 2));
    }
    p.get(0).setPets(pets);

    final ArrayList<Person> children = new ArrayList<Person>();
    for (int i = 0; i < 2; i++) {
        children.add(createPerson("Meyer", "Hans " + i + " max", (i + 1) * 2));
    }

    shell.setText("TableTest");
    shell.setSize(800, 1000);
    shell.setLayout(new GridLayout());
    Composite comp = new Composite(shell, SWT.NONE);
    comp.setLayoutData(new GridData(GridData.FILL_BOTH));
    comp.setLayout(new GridLayout());

    GenericBindingFactory fac = new GenericBindingFactory();
    fac.addClass(Person.class);
    fac.addClass(Address.class);
    fac.addClass(Pet.class);

    IBindingContainer bc = fac.getBindingContainer();

    WidgetGenerator gen = new WidgetGenerator(bc);
    final TableViewer viewer = gen.generateTable(Person.class, comp);
    viewer.getTable().getParent().setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
    viewer.setInput(p);

    final InputMask mask = gen.generateEditable(Person.class, comp);
    mask.getComposite().setLayoutData(new GridData(GridData.FILL_BOTH));
    mask.setContentProvider(new IContentProvider() {

        public boolean hasContent(String fieldname, Object model) {
            return true;
        }

        public Object[] getElements(String fieldname, Object model) {
            if (fieldname.equals("pets"))
                return pets.toArray();
            if (fieldname.equals("children"))
                return children.toArray();
            if ((fieldname.equals("favPet")) && (model instanceof Person)) {
                Set<Pet> petsList = ((Person) model).getPets();
                if (petsList != null)
                    return petsList.toArray();
            }
            return new Object[0];
        }
    });

    Button button = new Button(comp, SWT.PUSH);
    button.setText("Save");
    button.addSelectionListener(new SelectionAdapter() {
        @SuppressWarnings("unchecked")
        @Override
        public void widgetSelected(SelectionEvent arg0) {
            mask.persist();
            if (!((List<Person>) viewer.getInput()).contains(mask.getModel())) {
                ((List<Person>) viewer.getInput()).add((Person) mask.getModel());
            }
            mask.setModel(null);
            viewer.refresh();
        }
    });

    button = new Button(comp, SWT.PUSH);
    button.setText("New");
    button.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent arg0) {
            mask.setModel(new Person());
        }
    });

    viewer.addSelectionChangedListener(new ISelectionChangedListener() {

        public void selectionChanged(SelectionChangedEvent event) {
            if (viewer.getSelection().isEmpty())
                mask.setModel(null);

            IStructuredSelection sel = (IStructuredSelection) viewer.getSelection();
            mask.setModel(sel.getFirstElement());
        }
    });

}

From source file:kuria.test.table.TableTest.java

License:Apache License

private void init(Shell shell) {
    ArrayList<Person> p = new ArrayList<Person>();
    for (int i = 0; i < 20; i++) {
        p.add(createPerson("Meyer", "Hans " + i, (i + 1) * 2));
    }/*from   w  w  w. j  a  v a 2 s . co  m*/

    shell.setText("TableTest");
    shell.setLayout(new GridLayout());
    Composite comp = new Composite(shell, SWT.NONE);
    comp.setLayoutData(new GridData(GridData.FILL_BOTH));
    comp.setLayout(new GridLayout());

    AnnotationBindingFactory fac = new AnnotationBindingFactory();
    fac.addClass(Person.class);
    fac.addClass(Address.class);

    IBindingContainer bc = fac.getBindingContainer();
    bc.setLabelProvider(new ILabelProvider() {

        public String getLabel(String label) {
            if ("Firstname".equals(label))
                return "Vorname";
            return label;
        }
    });
    Label l = new Label(comp, SWT.NONE);
    l.setText("Hallo!");

    WidgetGenerator gen = new WidgetGenerator(bc);
    TableViewer viewer = gen.generateTable(Person.class, comp);
    viewer.getTable().getParent().setLayoutData(new GridData(GridData.FILL_BOTH));
    viewer.setInput(p);
}

From source file:mbtarranger.pathfinder.PathfinderView.java

License:Open Source License

/**
 * This is a callback that will allow us to create the viewer and initialize
 * it./*  w ww.  ja va  2s .co  m*/
 */
public void createPartControl(Composite parent) {
    m_parent = parent;
    getSite().setSelectionProvider(selectionProvider);
    parent.setLayout(new FillLayout(SWT.VERTICAL));

    SashForm sash_vert = new SashForm(parent, SWT.VERTICAL);

    SashForm sashForm_horz = new SashForm(sash_vert, SWT.NONE);

    SashForm sashForm_current = new SashForm(sashForm_horz, SWT.VERTICAL);

    Composite composite_buttonsGrid = new Composite(sashForm_current, SWT.NONE);
    composite_buttonsGrid.setLayout(new GridLayout(1, false));
    text_inputFilePath = new Text(composite_buttonsGrid, SWT.BORDER);
    text_inputFilePath.setToolTipText("input file (*.arr)");

    text_inputFilePath.setLayoutData(new GridData(SWT.FILL, SWT.TOP, false, false, 1, 1));
    text_inputFilePath.setSize(231, 235);
    text_inputFilePath.setEditable(false);
    combo = new Text(composite_buttonsGrid, SWT.BORDER);
    combo.setEditable(false);

    GridData gd_combo = new GridData(SWT.LEFT, SWT.TOP, false, false, 1, 1);
    gd_combo.widthHint = 118;
    combo.setLayoutData(gd_combo);
    combo.setSize(498, 23);

    ToolBar toolBar_main = new ToolBar(composite_buttonsGrid, SWT.FLAT | SWT.WRAP);

    toolBar_main.setLayoutData(new GridData(SWT.FILL, SWT.TOP, true, true, 1, 1));
    toolBar_main.setSize(500, 130);

    ToolItem tltm_runVerify = new ToolItem(toolBar_main, SWT.NONE);
    tltm_runVerify.setToolTipText("run verify automatically");
    tltm_runVerify.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            Job job = PathfinderJobs.job_runVerify(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tltm_runVerify.setText("veRun");

    ToolItem tltm_vizualize_io = new ToolItem(toolBar_main, SWT.NONE);
    tltm_vizualize_io.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            Job job = PathfinderJobs.job_vizualizeIO(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tltm_vizualize_io.setText("Viz IO...");

    ToolItem tltm_open = new ToolItem(toolBar_main, SWT.NONE);
    tltm_open.setEnabled(false);
    tltm_open.setText("Open...");

    ToolItem tltm_saveAs = new ToolItem(toolBar_main, SWT.NONE);
    tltm_saveAs.setEnabled(false);
    tltm_saveAs.setText("Save As...");
    ToolBar toolBar_numerics = new ToolBar(composite_buttonsGrid, SWT.FLAT | SWT.WRAP);
    toolBar_numerics.setLayoutData(new GridData(SWT.FILL, SWT.TOP, false, false, 1, 1));

    ToolItem tltm_runInteractive = new ToolItem(toolBar_numerics, SWT.NONE);
    tltm_runInteractive.setToolTipText("(re-)run with given look-specs and decisions");
    tltm_runInteractive.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            Job job = PathfinderJobs.job_runInteractive(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tltm_runInteractive.setText("iRun");

    ToolItem tltm_reset = new ToolItem(toolBar_numerics, SWT.NONE);
    tltm_reset.setToolTipText("clear decisions");
    tltm_reset.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            interactionModel.setDecisions(new ArrayList<SmvChoiceOffer>());
            interactionModel.setSteps(new ArrayList<SimStepWithDbg>());
            interactionModel.setOffers(new ArrayList<SmvChoiceOffer>());
            interactionModel.setRecentOutput("");
            interactionModel.setQueueContentDebugInfos(null);
            interactionModel.setVariableValueDebugInfos(null);
        }
    });
    tltm_reset.setText("Reset");

    ToolItem tltm_maxTransitions = new ToolItem(toolBar_numerics, SWT.SEPARATOR);
    tltm_maxTransitions.setWidth(50);

    spinner_maxTransitions = new Spinner(toolBar_numerics, SWT.BORDER);
    tltm_maxTransitions.setControl(spinner_maxTransitions);
    spinner_maxTransitions.setMinimum(-1);
    spinner_maxTransitions.setToolTipText("max. transition count");

    ToolItem tltm_sepa1 = new ToolItem(toolBar_numerics, SWT.SEPARATOR);

    ToolItem tltm_lookbehind = new ToolItem(toolBar_numerics, SWT.SEPARATOR);
    tltm_lookbehind.setToolTipText("");
    tltm_lookbehind.setWidth(50);

    spinner_lookbehind = new Spinner(toolBar_numerics, SWT.BORDER);
    tltm_lookbehind.setControl(spinner_lookbehind);
    spinner_lookbehind.setToolTipText("look behind from current decision");

    ToolItem tltm_lookaside = new ToolItem(toolBar_numerics, SWT.SEPARATOR);
    tltm_lookaside.setWidth(50);

    spinner_lookaside = new Spinner(toolBar_numerics, SWT.BORDER);
    tltm_lookaside.setControl(spinner_lookaside);
    spinner_lookaside.setToolTipText("look aside for each decision");

    ToolItem tltm_lookahead = new ToolItem(toolBar_numerics, SWT.SEPARATOR);
    tltm_lookahead.setWidth(50);

    spinner_lookahead = new Spinner(toolBar_numerics, SWT.BORDER);
    tltm_lookahead.setControl(spinner_lookahead);
    spinner_lookahead.setToolTipText("look ahead from current decision");

    ToolBar toolBar_vizualisations = new ToolBar(composite_buttonsGrid, SWT.FLAT | SWT.WRAP);
    toolBar_vizualisations.setLayoutData(new GridData(SWT.FILL, SWT.TOP, false, false, 1, 1));

    ToolItem tltm_vizualize_raw = new ToolItem(toolBar_vizualisations, SWT.NONE);
    tltm_vizualize_raw.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            Job job = PathfinderJobs.job_vizualizeRaw(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tltm_vizualize_raw.setText("Viz Raw...");

    ToolItem tltm_vizualize_all = new ToolItem(toolBar_vizualisations, SWT.NONE);
    tltm_vizualize_all.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            Job job = PathfinderJobs.job_vizualizeAll(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tltm_vizualize_all.setText("Viz All...");

    compTblVw_pending = new Composite(sashForm_current, SWT.EMBEDDED);
    TableColumnLayout tcl_compTblVw_pending = new TableColumnLayout();
    compTblVw_pending.setLayout(tcl_compTblVw_pending);

    tblVw_pending = new TableViewer(compTblVw_pending, SWT.BORDER | SWT.FULL_SELECTION);
    tbl_pending = tblVw_pending.getTable();
    tbl_pending.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            int sele = tbl_pending.getSelectionIndex();
            /* update 'SelectedChoice' in interactionModel */
            interactionModel.setSelectedChoice(interactionModel.getOffers().get(sele));
            /* update 'SourceLine' for editors / Selection listeners */
            SmvChoiceOffer choice = interactionModel.getSelectedChoice();
            int line = extractSourcelineFrom(choice);
            if (line > -1) {
                EditorSourcelineSelection srcLineSelection = new EditorSourcelineSelection();
                SourceLine wrappedSrcLine;
                try {
                    wrappedSrcLine = new SourceLine(interactionModel.getWrappedFile().toPath(), line);
                    SourceLine origSrcLine = interactionModel.getSmvFileWrap().getFileMapping_wrapped2orig()
                            .get(wrappedSrcLine);
                    srcLineSelection.file = origSrcLine.getFilePath().toFile();
                    srcLineSelection.line = origSrcLine.getLine();
                    selectionProvider.setSelection(srcLineSelection);
                } catch (IOException e1) {
                    e1.printStackTrace();
                }
            }
        }
    });
    tbl_pending.addMouseListener(new MouseAdapter() {
        @Override
        public void mouseDoubleClick(MouseEvent e) {
            int sele = tbl_pending.getSelectionIndex();
            ArrayList<SmvChoiceOffer> decisions = interactionModel.getDecisions();
            decisions.add(interactionModel.getOffers().get(sele));
            /* clear info on "pending decision": */
            interactionModel.setOffers(new ArrayList<SmvChoiceOffer>());
            interactionModel.setRecentOutput("--");
            interactionModel.setFullOutput("--");
            interactionModel.setDecisions(decisions);
            Job job = PathfinderJobs.job_runInteractive(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tbl_pending.setToolTipText("pending decision");
    tbl_pending.setHeaderVisible(true);
    tbl_pending.setLinesVisible(true);

    TableViewerColumn tableViewerColumn = new TableViewerColumn(tblVw_pending, SWT.NONE);
    TableColumn tblclmn_choice = tableViewerColumn.getColumn();
    tblclmn_choice.setMoveable(true);
    tcl_compTblVw_pending.setColumnData(tblclmn_choice, new ColumnPixelData(16, true, true));
    tblclmn_choice.setText("choice");

    TableViewerColumn tableViewerColumn_1 = new TableViewerColumn(tblVw_pending, SWT.NONE);
    TableColumn tblclmn_proc = tableViewerColumn_1.getColumn();
    tcl_compTblVw_pending.setColumnData(tblclmn_proc, new ColumnPixelData(16, true, true));
    tblclmn_proc.setMoveable(true);
    tblclmn_proc.setText("proc");

    TableViewerColumn tableViewerColumn_2 = new TableViewerColumn(tblVw_pending, SWT.NONE);
    TableColumn tblclmn_machine = tableViewerColumn_2.getColumn();
    tcl_compTblVw_pending.setColumnData(tblclmn_machine, new ColumnPixelData(60, true, true));
    tblclmn_machine.setMoveable(true);
    tblclmn_machine.setText("machine");

    TableViewerColumn tableViewerColumn_3 = new TableViewerColumn(tblVw_pending, SWT.NONE);
    TableColumn tblclmn_label = tableViewerColumn_3.getColumn();
    tcl_compTblVw_pending.setColumnData(tblclmn_label, new ColumnPixelData(80, true, true));
    tblclmn_label.setMoveable(true);
    tblclmn_label.setText("label");

    TableViewerColumn tableViewerColumn_4 = new TableViewerColumn(tblVw_pending, SWT.NONE);
    TableColumn tblclmn_fullText = tableViewerColumn_4.getColumn();
    tcl_compTblVw_pending.setColumnData(tblclmn_fullText, new ColumnPixelData(200, true, true));
    tblclmn_fullText.setMoveable(true);
    tblclmn_fullText.setText("full text");

    Composite compTblVw_histDecisions = new Composite(sashForm_current, SWT.NONE);
    TableColumnLayout tcl_compTblVw_histDecisions = new TableColumnLayout();
    compTblVw_histDecisions.setLayout(tcl_compTblVw_histDecisions);

    tblVw_histDecisions = new TableViewer(compTblVw_histDecisions, SWT.BORDER | SWT.FULL_SELECTION);
    tbl_histDecisions = tblVw_histDecisions.getTable();
    tbl_histDecisions.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            int sele = tbl_histDecisions.getSelectionIndex();
            /* update 'SelectedChoice' in interactionModel */
            interactionModel.setSelectedChoice(interactionModel.getDecisions().get(sele));
            /* update 'SourceLine' for editors */
            SmvChoiceOffer choice = interactionModel.getSelectedChoice();
            int line = extractSourcelineFrom(choice);
            if (line > -1) {
                EditorSourcelineSelection srcLineSelection = new EditorSourcelineSelection();
                SourceLine wrappedSrcLine;
                try {
                    wrappedSrcLine = new SourceLine(interactionModel.getWrappedFile().toPath(), line);
                    SourceLine origSrcLine = interactionModel.getSmvFileWrap().getFileMapping_wrapped2orig()
                            .get(wrappedSrcLine);
                    srcLineSelection.file = origSrcLine.getFilePath().toFile();
                    srcLineSelection.line = origSrcLine.getLine();
                    selectionProvider.setSelection(srcLineSelection);
                } catch (IOException e1) {
                    e1.printStackTrace();
                }
            }

        }
    });
    tbl_histDecisions.addMouseListener(new MouseAdapter() {
        @Override
        public void mouseDoubleClick(MouseEvent e) {
            int sele = tbl_histDecisions.getSelectionIndex();
            ArrayList<SmvChoiceOffer> decisions = interactionModel.getDecisions();
            decisions.subList(sele + 1, decisions.size()).clear();
            interactionModel.setDecisions(decisions);
            Job job = PathfinderJobs.job_runInteractive(getDisplay(), interactionModel);
            job.setProperty(IProgressConstants.KEEP_PROPERTY, true);
            job.schedule();
        }
    });
    tbl_histDecisions.setToolTipText("decision history");
    tbl_histDecisions.setHeaderVisible(true);
    tbl_histDecisions.setLinesVisible(true);

    TableViewerColumn tableViewerColumn_10 = new TableViewerColumn(tblVw_histDecisions, SWT.NONE);
    TableColumn tblclmn_histDecisions_choice = tableViewerColumn_10.getColumn();
    tblclmn_histDecisions_choice.setMoveable(true);
    tcl_compTblVw_histDecisions.setColumnData(tblclmn_histDecisions_choice,
            new ColumnPixelData(16, true, true));
    tblclmn_histDecisions_choice.setText("choice");

    TableViewerColumn tableViewerColumn_11 = new TableViewerColumn(tblVw_histDecisions, SWT.NONE);
    TableColumn tblclmn_histDecisions_proc = tableViewerColumn_11.getColumn();
    tblclmn_histDecisions_proc.setMoveable(true);
    tcl_compTblVw_histDecisions.setColumnData(tblclmn_histDecisions_proc, new ColumnPixelData(16, true, true));
    tblclmn_histDecisions_proc.setText("proc");

    TableViewerColumn tableViewerColumn_12 = new TableViewerColumn(tblVw_histDecisions, SWT.NONE);
    TableColumn tblclmn_histDecisions_machine = tableViewerColumn_12.getColumn();
    tblclmn_histDecisions_machine.setMoveable(true);
    tcl_compTblVw_histDecisions.setColumnData(tblclmn_histDecisions_machine,
            new ColumnPixelData(60, true, true));
    tblclmn_histDecisions_machine.setText("machine");

    TableViewerColumn tableViewerColumn_13 = new TableViewerColumn(tblVw_histDecisions, SWT.NONE);
    TableColumn tblclmn_histDecisions_label = tableViewerColumn_13.getColumn();
    tblclmn_histDecisions_label.setMoveable(true);
    tcl_compTblVw_histDecisions.setColumnData(tblclmn_histDecisions_label, new ColumnPixelData(80, true, true));
    tblclmn_histDecisions_label.setText("label");

    TableViewerColumn tableViewerColumn_14 = new TableViewerColumn(tblVw_histDecisions, SWT.NONE);
    TableColumn tblclmn_histDecisions_fullText = tableViewerColumn_14.getColumn();
    tblclmn_histDecisions_fullText.setMoveable(true);
    tcl_compTblVw_histDecisions.setColumnData(tblclmn_histDecisions_fullText,
            new ColumnPixelData(200, true, true));
    tblclmn_histDecisions_fullText.setText("full text");

    Composite compTblVw_decisionDetails = new Composite(sashForm_current, SWT.NONE);
    compTblVw_decisionDetails.setLayout(new TableColumnLayout());

    TableViewer tblVw_decisionDetails = new TableViewer(compTblVw_decisionDetails,
            SWT.BORDER | SWT.FULL_SELECTION);
    tbl_decisionDetails = tblVw_decisionDetails.getTable();
    tbl_decisionDetails.setToolTipText("decision details");
    tbl_decisionDetails.setHeaderVisible(true);
    tbl_decisionDetails.setLinesVisible(true);
    sashForm_current.setWeights(new int[] { 6, 4, 3, 2 });

    Composite compTblVw_steps = new Composite(sashForm_horz, SWT.NONE);
    TableColumnLayout tcl_compTblVw_steps = new TableColumnLayout();
    compTblVw_steps.setLayout(tcl_compTblVw_steps);

    tblVw_steps = new TableViewer(compTblVw_steps, SWT.BORDER | SWT.FULL_SELECTION);
    tbl_steps = tblVw_steps.getTable();
    tbl_steps.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            int sele = tbl_steps.getSelectionIndex();
            /* update 'SelectedSimStep' in interactionModel */
            interactionModel.setSelectedSimStep(interactionModel.getSteps().get(sele));
            /* update 'SourceLine' for editors */
            SimStepWithDbg sstep = interactionModel.getSelectedSimStep();
            int line = extractSourcelineFrom(sstep);
            if (line > -1) {
                EditorSourcelineSelection srcLineSelection = new EditorSourcelineSelection();
                SourceLine wrappedSrcLine;
                try {
                    wrappedSrcLine = new SourceLine(interactionModel.getWrappedFile().toPath(), line);
                    SourceLine origSrcLine = interactionModel.getSmvFileWrap().getFileMapping_wrapped2orig()
                            .get(wrappedSrcLine);
                    srcLineSelection.file = origSrcLine.getFilePath().toFile();
                    srcLineSelection.line = origSrcLine.getLine();
                    selectionProvider.setSelection(srcLineSelection);
                } catch (IOException e1) {
                    e1.printStackTrace();
                }
            }
        }
    });

    tbl_steps.setToolTipText("simulation steps");
    tbl_steps.setHeaderVisible(true);
    tbl_steps.setLinesVisible(true);

    TableViewerColumn tableViewerColumn_16 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_summary = tableViewerColumn_16.getColumn();
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_summary, new ColumnPixelData(300, true, true));
    tblclmn_steps_summary.setText("summary");

    TableViewerColumn tableViewerColumn_6 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_proc = tableViewerColumn_6.getColumn();
    tblclmn_steps_proc.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_proc, new ColumnPixelData(16, true, true));
    tblclmn_steps_proc.setText("proc");

    TableViewerColumn tableViewerColumn_7 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_machine = tableViewerColumn_7.getColumn();
    tblclmn_steps_machine.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_machine, new ColumnPixelData(60, true, true));
    tblclmn_steps_machine.setText("machine");

    TableViewerColumn tableViewerColumn_8 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_label = tableViewerColumn_8.getColumn();
    tblclmn_steps_label.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_label, new ColumnPixelData(80, true, true));
    tblclmn_steps_label.setText("label");

    TableViewerColumn tableViewerColumn_5 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_queue = tableViewerColumn_5.getColumn();
    tblclmn_steps_queue.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_queue, new ColumnPixelData(50, true, true));
    tblclmn_steps_queue.setText("queue");

    TableViewerColumn tableViewerColumn_15 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_type = tableViewerColumn_15.getColumn();
    tblclmn_steps_type.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_type, new ColumnPixelData(40, true, true));
    tblclmn_steps_type.setText("type");

    TableViewerColumn tableViewerColumn_9 = new TableViewerColumn(tblVw_steps, SWT.NONE);
    TableColumn tblclmn_steps_fullText = tableViewerColumn_9.getColumn();
    tblclmn_steps_fullText.setMoveable(true);
    tcl_compTblVw_steps.setColumnData(tblclmn_steps_fullText, new ColumnPixelData(200, true, true));
    tblclmn_steps_fullText.setText("full text");

    SashForm sashForm_dbgValues = new SashForm(sashForm_horz, SWT.VERTICAL);

    Composite compTblVw_dbgQueues = new Composite(sashForm_dbgValues, SWT.NONE);
    TableColumnLayout tcl_compTblVw_dbgQueues = new TableColumnLayout();
    compTblVw_dbgQueues.setLayout(tcl_compTblVw_dbgQueues);

    tblVw_dbgQueues = new TableViewer(compTblVw_dbgQueues, SWT.BORDER | SWT.FULL_SELECTION);
    tbl_dbgQueues = tblVw_dbgQueues.getTable();
    tbl_dbgQueues.setToolTipText("Queues debug ino - as of after step");
    tbl_dbgQueues.setHeaderVisible(true);
    tbl_dbgQueues.setLinesVisible(true);

    TableViewerColumn tableViewerColumn_21 = new TableViewerColumn(tblVw_dbgQueues, SWT.NONE);
    TableColumn tblclmn_dbgQueues_ID = tableViewerColumn_21.getColumn();
    tblclmn_dbgQueues_ID.setMoveable(true);
    tcl_compTblVw_dbgQueues.setColumnData(tblclmn_dbgQueues_ID, new ColumnPixelData(20, true, true));
    tblclmn_dbgQueues_ID.setText("ID");

    TableViewerColumn tableViewerColumn_18 = new TableViewerColumn(tblVw_dbgQueues, SWT.NONE);
    TableColumn tblclmn_dbgQueues_name = tableViewerColumn_18.getColumn();
    tblclmn_dbgQueues_name.setMoveable(true);
    tcl_compTblVw_dbgQueues.setColumnData(tblclmn_dbgQueues_name, new ColumnPixelData(150, true, true));
    tblclmn_dbgQueues_name.setText("queue");

    TableViewerColumn tableViewerColumn_17 = new TableViewerColumn(tblVw_dbgQueues, SWT.NONE);
    TableColumn tblclmn_dbgQueues_value = tableViewerColumn_17.getColumn();
    tblclmn_dbgQueues_value.setMoveable(true);
    tcl_compTblVw_dbgQueues.setColumnData(tblclmn_dbgQueues_value, new ColumnPixelData(150, true, true));
    tblclmn_dbgQueues_value.setText("value");

    Composite compTblVw_dbgVariables = new Composite(sashForm_dbgValues, SWT.NONE);
    TableColumnLayout tcl_compTblVw_dbgVariables = new TableColumnLayout();
    compTblVw_dbgVariables.setLayout(tcl_compTblVw_dbgVariables);

    tblVw_dbgVariables = new TableViewer(compTblVw_dbgVariables, SWT.BORDER | SWT.FULL_SELECTION);
    tbl_dbgVariables = tblVw_dbgVariables.getTable();
    tbl_dbgVariables.setToolTipText("Variables debug ino - as of after step");
    tbl_dbgVariables.setHeaderVisible(true);
    tbl_dbgVariables.setLinesVisible(true);

    TableViewerColumn tableViewerColumn_19 = new TableViewerColumn(tblVw_dbgVariables, SWT.NONE);
    TableColumn tblclmn_dbgVariables_name = tableViewerColumn_19.getColumn();
    tblclmn_dbgVariables_name.setMoveable(true);
    tcl_compTblVw_dbgVariables.setColumnData(tblclmn_dbgVariables_name, new ColumnPixelData(150, true, true));
    tblclmn_dbgVariables_name.setText("variable");

    TableViewerColumn tableViewerColumn_20 = new TableViewerColumn(tblVw_dbgVariables, SWT.NONE);
    TableColumn tblclmn_dbgVariables_value = tableViewerColumn_20.getColumn();
    tblclmn_dbgVariables_value.setMoveable(true);
    tcl_compTblVw_dbgVariables.setColumnData(tblclmn_dbgVariables_value, new ColumnPixelData(80, true, true));
    tblclmn_dbgVariables_value.setText("value");
    sashForm_dbgValues.setWeights(new int[] { 1, 1 });
    sashForm_horz.setWeights(new int[] { 162, 150, 130 });

    SashForm sashForm = new SashForm(sash_vert, SWT.NONE);

    styledText_fullOutput = new StyledText(sashForm, SWT.READ_ONLY | SWT.V_SCROLL | SWT.H_SCROLL);
    styledText_fullOutput.setToolTipText("exploration tree as text");
    styledText_fullOutput.setAlwaysShowScrollBars(false);

    TextViewer textViewer_recentOutput = new TextViewer(sashForm, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL);
    textViewer_recentOutput.setEditable(false);
    styledText_recentOutput = textViewer_recentOutput.getTextWidget();
    styledText_recentOutput.setToolTipText("progression until nondeterminism as text");
    styledText_recentOutput.setLeftMargin(0);
    styledText_recentOutput.setAlwaysShowScrollBars(false);
    styledText_recentOutput.setEditable(false);
    sashForm.setWeights(new int[] { 1, 1 });
    sash_vert.setWeights(new int[] { 20, 1 });
    makeActions();
    contributeToActionBars();
    initDataBindings();
}

From source file:monolipse.ui.views.ReferenceContainerPropertyPage.java

License:Open Source License

private TableViewer createSelectedLibrariesViewer(Composite control) {
    final TableViewer viewer = new TableViewer(control, SWT.BORDER);
    Table table = viewer.getTable();

    addColumn(table, "Assembly", 250);
    addColumn(table, "Type", 150);

    table.setHeaderVisible(true);/* w  w  w . j av  a 2 s. co  m*/

    viewer.setContentProvider(new SelectedReferencesContentProvider());
    viewer.setLabelProvider(new SelectedReferencesLabelProvider());
    viewer.setInput(getAssemblySource());
    table.addKeyListener(new KeyAdapter() {
        public void keyReleased(KeyEvent e) {
            if (e.keyCode == SWT.DEL) {
                List<?> selected = ((IStructuredSelection) _selectedViewer.getSelection()).toList();
                _references.removeAll(selected);
                _selectedViewer.refresh();
            }
        }

    });
    return viewer;
}