00029 {
00030 _frame = parent;
00031 _user = user;
00032
00033 TreeNode root;
00034 IntRepManager irMgr = IntRepManager.defaultIrMgr();
00035 if(irMgr != null) {
00036 OperationsTreeBuilder builder = new OperationsTreeBuilder();
00037 irMgr.buildMethodMenu(builder);
00038 root = builder.getTreeNode();
00039 }
00040 else
00041 root = new DefaultMutableTreeNode("Cannot find Interface Repository");
00042
00043 _tree = new JTree(root);
00044
00045 DefaultTreeCellRenderer renderer = new DefaultTreeCellRenderer();
00046 renderer.setLeafIcon(renderer.getDefaultClosedIcon());
00047 _tree.setCellRenderer(renderer);
00048
00049 _tree.getSelectionModel().setSelectionMode(
00050 TreeSelectionModel.SINGLE_TREE_SELECTION);
00051 _tree.getSelectionModel().addTreeSelectionListener(this);
00052 _tree.putClientProperty("JTree.lineStyle", "Angled");
00053
00054 _opsPanel = new JPanel(new BorderLayout());
00055
00056 JScrollPane treeView = new JScrollPane(_tree);
00057
00058 JSplitPane splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT);
00059 splitPane.setLeftComponent(treeView);
00060 splitPane.setRightComponent(_opsPanel);
00061 splitPane.setDividerLocation(150);
00062 splitPane.setOneTouchExpandable(true);
00063
00064 setLayout(new BorderLayout());
00065 add(splitPane, BorderLayout.CENTER);
00066 setPreferredSize(new Dimension(200, 500));
00067 }
