KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > antlr > debug > misc > JTreeASTPanel


1 package antlr.debug.misc;
2
3 /* ANTLR Translator Generator
4  * Project led by Terence Parr at http://www.jGuru.com
5  * Software rights: http://www.antlr.org/RIGHTS.html
6  *
7  * $Id: //depot/code/org.antlr/main/main/antlr/debug/misc/JTreeASTPanel.java#4 $
8  */
9
10 import java.awt.*;
11 import javax.swing.*;
12 import javax.swing.tree.*;
13 import javax.swing.event.*;
14
15 public class JTreeASTPanel extends JPanel {
16     JTree tree;
17
18     public JTreeASTPanel(TreeModel tm, TreeSelectionListener listener) {
19         // use a layout that will stretch tree to panel size
20 setLayout(new BorderLayout());
21
22         // Create tree
23 tree = new JTree(tm);
24
25         // Change line style
26 tree.putClientProperty("JTree.lineStyle", "Angled");
27
28         // Add TreeSelectionListener
29 if (listener != null)
30             tree.addTreeSelectionListener(listener);
31
32         // Put tree in a scrollable pane's viewport
33 JScrollPane sp = new JScrollPane();
34         sp.getViewport().add(tree);
35
36         add(sp, BorderLayout.CENTER);
37     }
38 }
39
Popular Tags