Examples with AnalysisResultTree jkind.api.ui.results.AnalysisResultTree used on opensource projects

Example 1 with AnalysisResultTree

use of jkind.api.ui.results.AnalysisResultTree in project AGREE by loonwerks.

the class AgreeResultsView method createPartControl.

@Override
public void createPartControl(Composite parent) {
    tree = new AnalysisResultTree(parent);
    tree.getViewer().setAutoExpandLevel(2);
    menuListener = new AgreeMenuListener(getViewSite().getWorkbenchWindow(), tree);
    MenuManager manager = new MenuManager();
    manager.setRemoveAllWhenShown(true);
    manager.addMenuListener(menuListener);
    tree.getControl().setMenu(manager.createContextMenu(tree.getViewer().getTree()));
}