jtreeastpanel.java

SRI international 发布的OAA框架软件

package antlr_oaa.debug.misc;

/* ANTLR Translator Generator
 * Project led by Terence Parr at http://www.jGuru.com
 * Software rights: http://www.antlr.org/RIGHTS.html
 *
 * $Id: JTreeASTPanel.java,v 1.1 2002/11/08 17:37:00 agno Exp $
 */

import java.awt.*;
import javax.swing.*;
import javax.swing.tree.*;
import javax.swing.event.*;

public class JTreeASTPanel extends JPanel {
  JTree tree;
  
  public JTreeASTPanel(TreeModel tm, TreeSelectionListener listener) {
	// use a layout that will stretch tree to panel size
	setLayout(new BorderLayout());

	// Create tree
	tree = new JTree(tm);

	// Change line style
	tree.putClientProperty("JTree.lineStyle", "Angled");

	// Add TreeSelectionListener
	if (listener != null)
	  tree.addTreeSelectionListener (listener);

	// Put tree in a scrollable pane's viewport
	JScrollPane sp = new JScrollPane();
	sp.getViewport().add(tree);

	add(sp, BorderLayout.CENTER);
  }  
}