Package org.opensourcephysics.tools

Class LaunchPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.opensourcephysics.tools.LaunchPanel

public class LaunchPanel
extends javax.swing.JPanel

This is a panel that displays a tree with a LaunchNode root.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Field Summary

Fields

Modifier and Type	Field	Description
protected javax.swing.JPanel	dataPanel
protected javax.swing.JEditorPane	descriptionPane
protected javax.swing.JScrollPane	descriptionScroller
protected java.util.Map<java.lang.String,java.lang.String>	htmlSubstitutions
protected Launcher	launcher
protected boolean	rebuildingTabs
protected boolean	showAllNodes
protected javax.swing.JSplitPane	splitPane
protected javax.swing.JTabbedPane	tabbedPane
protected static java.lang.String	TEXT_TYPE
protected javax.swing.JTree	tree
protected javax.swing.tree.DefaultTreeModel	treeModel
protected java.util.Map<LaunchNode,org.opensourcephysics.tools.LaunchPanel.VisibleNode>	visibleNodeMap

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Constructor Summary

Constructors

Constructor	Description
LaunchPanel(LaunchNode rootNode, Launcher launcher)	Constructor.

Method Summary

Modifier and Type	Method	Description
protected void	createGUI()	Creates the GUI.
protected void	createTree(LaunchNode rootNode)	Creates the tree.
protected void	displayTabs(LaunchNode node)	Displays all tabs for the specified node.
protected LaunchNode	getClone(LaunchNode node)	Returns the node with the same file name as the specified node.
protected java.util.Collection<java.lang.String>	getExpandedNodes()	Returns a collection of nodes that are currently expanded.
java.util.Map<java.lang.String,java.lang.String>	getHTMLSubstitutionMap()	Gets the HTML substitution map.
LaunchNode	getRootNode()	Gets the root node.
int	getSelectedDisplayTab()	Gets the selected display tab.
LaunchNode	getSelectedNode()	Gets the selected node.
java.util.ArrayList<LaunchNode>	getSelectedNodes()	Gets the selected nodes.
protected void	setExpandedNodes(java.util.Collection<?> expanded)	Expands the specified nodes.
void	setSelectedNode(LaunchNode node)	Sets the selected node.
void	setSelectedNode(LaunchNode node, int tabNumber)	Sets the selected node.
void	setSelectedNode(LaunchNode node, int tabNumber, java.net.URL url)	Sets the selected node and displays a URL.
void	setSelectedNodes(java.util.ArrayList<LaunchNode> nodes)	Sets the selected nodes.

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

TEXT_TYPE

protected static final java.lang.String TEXT_TYPE

See Also:

Constant Field Values

tree

protected javax.swing.JTree tree

treeModel

protected javax.swing.tree.DefaultTreeModel treeModel

splitPane

protected javax.swing.JSplitPane splitPane

dataPanel

protected javax.swing.JPanel dataPanel

tabbedPane

protected javax.swing.JTabbedPane tabbedPane

descriptionPane

protected javax.swing.JEditorPane descriptionPane

descriptionScroller

protected javax.swing.JScrollPane descriptionScroller

showAllNodes

protected boolean showAllNodes

visibleNodeMap

protected java.util.Map<LaunchNode,org.opensourcephysics.tools.LaunchPanel.VisibleNode> visibleNodeMap

launcher

protected Launcher launcher

rebuildingTabs

protected boolean rebuildingTabs

htmlSubstitutions

protected java.util.Map<java.lang.String,java.lang.String> htmlSubstitutions

Constructor Detail

LaunchPanel

public LaunchPanel(LaunchNode rootNode,
                   Launcher launcher)

Constructor.

Parameters:

rootNode - the root node

launcher - the Launcher that is creating this panel

Method Detail

setSelectedNode

public void setSelectedNode(LaunchNode node)

Sets the selected node.

Parameters:

node - the node to select

setSelectedNodes

public void setSelectedNodes(java.util.ArrayList<LaunchNode> nodes)

Sets the selected nodes.

Parameters:

nodes - the nodes to select

setSelectedNode

public void setSelectedNode(LaunchNode node,
                            int tabNumber)

Sets the selected node.

Parameters:

node - the node to select

tabNumber - the tab to display

setSelectedNode

public void setSelectedNode(LaunchNode node,
                            int tabNumber,
                            java.net.URL url)

Sets the selected node and displays a URL.

Parameters:

node - the node to select

tabNumber - the tab to display

url - the URL to display in the tab

getSelectedNode

public LaunchNode getSelectedNode()

Gets the selected node.

Returns:

the selected node

getSelectedNodes

public java.util.ArrayList<LaunchNode> getSelectedNodes()

Gets the selected nodes.

Returns:

the selected nodes

getSelectedDisplayTab

public int getSelectedDisplayTab()

Gets the selected display tab.

Returns:

the selected display tab

getRootNode

public LaunchNode getRootNode()

Gets the root node.

Returns:

the root node

getHTMLSubstitutionMap

public java.util.Map<java.lang.String,java.lang.String> getHTMLSubstitutionMap()

Gets the HTML substitution map. This maps target to replacement Strings to be substituted in HTML documents.

Returns:

the HTML substitution map

getClone

protected LaunchNode getClone(LaunchNode node)

Returns the node with the same file name as the specified node. May return null.

Parameters:

node - the node to match

Returns:

the first node with the same file name

displayTabs

protected void displayTabs(LaunchNode node)

Displays all tabs for the specified node.

Parameters:

node - the LaunchNode

createGUI

protected void createGUI()

Creates the GUI.

createTree

protected void createTree(LaunchNode rootNode)

Creates the tree.

Parameters:

rootNode - the root node

getExpandedNodes

protected java.util.Collection<java.lang.String> getExpandedNodes()

Returns a collection of nodes that are currently expanded.

Returns:

the expanded nodes

setExpandedNodes

protected void setExpandedNodes(java.util.Collection<?> expanded)

Expands the specified nodes.

Parameters:

expanded - the nodes to expand