fbench
Class FBench

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      fbench.FBench

All Implemented Interfaces:

DocumentSource, java.awt.event.ActionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.MenuListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class FBench
extends javax.swing.JFrame
implements DocumentSource, java.awt.event.ActionListener, javax.swing.event.MenuListener

A desktop for multiple Editors.

Version:

20070422/JP - Separated plug-in features from the kernel parts, 20061127/WD - Remove Left Tree,Add open function to the menu, 20060914/WD - Added System Configurations Debugging, 20051129/JHC - Eliminated use of DTDs; ElementTableModel now sets up own attribute names., 20051128/JHC - Set up main pane as JSplitPane with library view as left element., 20050810/JHC - First OOONEIDA version., 20050803/JHC - Changed desktop to JTabbedPane., 20050709/JHC

Author:

WD,AS,JHC,JP

See Also:

Serialized Form

Nested Class Summary

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

java.awt.Component.BaselineResizeBehavior

Field Summary

static java.util.Hashtable<java.lang.String,java.lang.Process>	processes
static java.lang.String	productID
static FBench	theBench
static java.lang.String	version

Fields inherited from class javax.swing.JFrame

EXIT_ON_CLOSE

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

FBench()

Method Summary

void	actionPerformed(java.awt.event.ActionEvent evt) Use reflection to invoke the action associated with the selected menu item
static java.lang.String	adjustCommand(java.lang.String cmd)
void	closeTab(java.awt.Component c)
javax.swing.JCheckBoxMenuItem	createMenuCheckBox(java.lang.String label, java.lang.String actionCommand)
void	createViewFrame()
void	editAction(java.util.Vector<java.lang.Object> v)
void	fileExit(java.util.Vector<java.lang.Object> v)
void	FileOpen(java.util.Vector<java.lang.Object> v)
void	fileSaveAsJava(java.util.Vector<java.lang.Object> v)
void	fileSaveAsJavaDebug(java.util.Vector<java.lang.Object> v)
void	fileSaveAsXML(java.util.Vector<java.lang.String> v)
javax.swing.JTabbedPane	getDesktop()
static java.lang.String[]	getFileSuffixes() Returns a list of suitable suffixes for IEC 61499 LibraryElement files.
static java.lang.String	getGraphElement(java.lang.String name)
static java.util.Hashtable<java.lang.String,java.lang.String>	getGraphElements()
static java.lang.String	getGraphModel(java.lang.String name)
static java.util.Hashtable<java.lang.String,java.lang.String>	getGraphModels()
static java.lang.String	getIconForFile(java.lang.String flnm) Returns the name of a suitable icon for use in menu items as determined by the suffix of the given file name.
java.util.Hashtable<java.lang.String,java.lang.Object>	getInstances()
static java.lang.String	getMutationListener(java.lang.String name)
static java.util.Hashtable<java.lang.String,java.lang.String>	getMutationListeners()
PluginManager	getPluginManager()
java.util.Properties	getProps()
org.w3c.dom.Document	getSelectedDoc()
LibraryElementView	getSelectedView()
java.io.File	getSource(java.lang.String docname) Answers an InputSource on a file with the given name and suffix in the src subdirectory tree; if none is found, shows an error dialog and answers null.
static java.lang.String	getSourceType(org.w3c.dom.Document document)
java.lang.String	getSourceType(LibraryElementView launchView)
javax.swing.JTextArea	getTextArea() If an EditorFrame is selected and not iconified, return its text area; otherwise return null.
static java.lang.String[]	getTreeMenu(java.lang.String name)
static java.lang.String	getTreeMenuAction(java.lang.String name)
static java.util.Hashtable<java.lang.String,java.lang.String>	getTreeMenuActions()
static java.util.Hashtable<java.lang.String,java.lang.String[]>	getTreeMenus()
static java.lang.String	getTreeNode(java.lang.String name)
static java.util.Hashtable<java.lang.String,java.lang.String>	getTreeNodes()
int	help(java.util.Vector<java.lang.String> v)
void	launch(java.lang.String cmd)
void	log(java.lang.Exception e)
void	log(java.lang.String s)
static void	main(java.lang.String[] args)
void	menuCanceled(javax.swing.event.MenuEvent e)
void	menuDeselected(javax.swing.event.MenuEvent e)
void	menuSelected(javax.swing.event.MenuEvent evt) Use reflection to refresh the items under plug-in menus
void	newAdapt(java.util.Vector<java.lang.Object> v)
void	newArray(java.util.Vector<java.lang.Object> v)
void	newBFB(java.util.Vector<java.lang.Object> v)
void	newCFB(java.util.Vector<java.lang.Object> v)
void	newDev(java.util.Vector<java.lang.Object> v)
void	newDirect(java.util.Vector<java.lang.Object> v)
void	newEnu(java.util.Vector<java.lang.Object> v)
void	newProxy(java.util.Vector<java.lang.Object> v)
void	newRes(java.util.Vector<java.lang.Object> v)
void	newSI(java.util.Vector<java.lang.Object> v)
void	newSimple(java.util.Vector<java.lang.Object> v)
void	newStruct(java.util.Vector<java.lang.Object> v)
void	newSubrange(java.util.Vector<java.lang.Object> v)
void	newSys(java.util.Vector<java.lang.Object> v)
void	open(java.io.File f) Opens a document from the given file in a new EditorFrame unless already open; in any case transfers focus to the EditorFrame of the given file.
void	open(java.lang.String filename) Opens the document with the given filename in a new EditorFrame unless already open; in any case transfers focus to the EditorFrame of the given file.
static void	putGraphElement(java.lang.String name, java.lang.String className)
static void	putGraphModel(java.lang.String name, java.lang.String className)
static void	putMutationListener(java.lang.String name, java.lang.String className)
static void	putTreeMenu(java.lang.String name, java.lang.String[] menuOptions)
static void	putTreeMenuAction(java.lang.String name, java.lang.String className)
static void	putTreeNode(java.lang.String name, java.lang.String className)
void	reloadLibraryTree(java.util.Vector<java.lang.Object> v)
static java.lang.String	removeHTML(java.lang.String s)
java.lang.String	removePath(java.lang.String s)
void	runLaunch(java.util.Vector<java.lang.Object> v)
void	runViewMenu(java.util.Vector<java.lang.Object> v)
void	setStatusText(java.lang.String message)
static java.lang.String	stripCompilerInfo(java.lang.String s) gsha041: Strip Compiler info attribute to give the classPath only
static java.lang.String	stripPath(java.lang.String s) gsha041: Strip a file path to give the classPath only
void	teminate(java.lang.Process p)

Methods inherited from class javax.swing.JFrame

getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, dispatchEvent, enable, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

productID

public static final java.lang.String productID

See Also:

Constant Field Values

version

public static final java.lang.String version

See Also:

Constant Field Values

processes

public static java.util.Hashtable<java.lang.String,java.lang.Process> processes

theBench

public static FBench theBench

Constructor Detail

FBench

public FBench()

Method Detail

setStatusText

public void setStatusText(java.lang.String message)

menuSelected

public void menuSelected(javax.swing.event.MenuEvent evt)

Use reflection to refresh the items under plug-in menus

Specified by:

menuSelected in interface javax.swing.event.MenuListener

Parameters:

evt - MenuEvent

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent evt)

Use reflection to invoke the action associated with the selected menu item

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

evt - ActionEvent

closeTab

public void closeTab(java.awt.Component c)

fileExit

public void fileExit(java.util.Vector<java.lang.Object> v)

getSource

public java.io.File getSource(java.lang.String docname)

Answers an InputSource on a file with the given name and suffix in the src subdirectory tree; if none is found, shows an error dialog and answers null.

Specified by:

getSource in interface DocumentSource

Parameters:

docname - The document name in the form filename.suffix.

main

public static void main(java.lang.String[] args)

createMenuCheckBox

public javax.swing.JCheckBoxMenuItem createMenuCheckBox(java.lang.String label,
                                                        java.lang.String actionCommand)

getIconForFile

public static java.lang.String getIconForFile(java.lang.String flnm)

Returns the name of a suitable icon for use in menu items as determined by the suffix of the given file name. If no suitable icon is found, returns the empty String.

getFileSuffixes

public static java.lang.String[] getFileSuffixes()

Returns a list of suitable suffixes for IEC 61499 LibraryElement files.

open

public void open(java.lang.String filename)

Opens the document with the given filename in a new EditorFrame unless already open; in any case transfers focus to the EditorFrame of the given file. If none can be found or created, exits with all frames iconified.

FileOpen

public void FileOpen(java.util.Vector<java.lang.Object> v)

fileSaveAsXML

public void fileSaveAsXML(java.util.Vector<java.lang.String> v)

stripPath

public static java.lang.String stripPath(java.lang.String s)

gsha041: Strip a file path to give the classPath only

stripCompilerInfo

public static java.lang.String stripCompilerInfo(java.lang.String s)

gsha041: Strip Compiler info attribute to give the classPath only

getSourceType

public static java.lang.String getSourceType(org.w3c.dom.Document document)

getGraphModels

public static java.util.Hashtable<java.lang.String,java.lang.String> getGraphModels()

putGraphModel

public static void putGraphModel(java.lang.String name,
                                 java.lang.String className)

getGraphModel

public static java.lang.String getGraphModel(java.lang.String name)

getGraphElements

public static java.util.Hashtable<java.lang.String,java.lang.String> getGraphElements()

putGraphElement

public static void putGraphElement(java.lang.String name,
                                   java.lang.String className)

getGraphElement

public static java.lang.String getGraphElement(java.lang.String name)

getMutationListeners

public static java.util.Hashtable<java.lang.String,java.lang.String> getMutationListeners()

putMutationListener

public static void putMutationListener(java.lang.String name,
                                       java.lang.String className)

getMutationListener

public static java.lang.String getMutationListener(java.lang.String name)

getTreeNodes

public static java.util.Hashtable<java.lang.String,java.lang.String> getTreeNodes()

putTreeNode

public static void putTreeNode(java.lang.String name,
                               java.lang.String className)

getTreeNode

public static java.lang.String getTreeNode(java.lang.String name)

getTreeMenus

public static java.util.Hashtable<java.lang.String,java.lang.String[]> getTreeMenus()

putTreeMenu

public static void putTreeMenu(java.lang.String name,
                               java.lang.String[] menuOptions)

getTreeMenu

public static java.lang.String[] getTreeMenu(java.lang.String name)

getTreeMenuActions

public static java.util.Hashtable<java.lang.String,java.lang.String> getTreeMenuActions()

putTreeMenuAction

public static void putTreeMenuAction(java.lang.String name,
                                     java.lang.String className)

getTreeMenuAction

public static java.lang.String getTreeMenuAction(java.lang.String name)

getSourceType

public java.lang.String getSourceType(LibraryElementView launchView)

getSelectedDoc

public org.w3c.dom.Document getSelectedDoc()

getSelectedView

public LibraryElementView getSelectedView()

fileSaveAsJavaDebug

public void fileSaveAsJavaDebug(java.util.Vector<java.lang.Object> v)

fileSaveAsJava

public void fileSaveAsJava(java.util.Vector<java.lang.Object> v)

adjustCommand

public static java.lang.String adjustCommand(java.lang.String cmd)

removePath

public java.lang.String removePath(java.lang.String s)

removeHTML

public static java.lang.String removeHTML(java.lang.String s)

launch

public void launch(java.lang.String cmd)

teminate

public void teminate(java.lang.Process p)

runLaunch

public void runLaunch(java.util.Vector<java.lang.Object> v)

log

public void log(java.lang.String s)

log

public void log(java.lang.Exception e)

open

public void open(java.io.File f)

Opens a document from the given file in a new EditorFrame unless already open; in any case transfers focus to the EditorFrame of the given file. If none can be found or created, exits with all frames iconified.

createViewFrame

public void createViewFrame()

reloadLibraryTree

public void reloadLibraryTree(java.util.Vector<java.lang.Object> v)

runViewMenu

public void runViewMenu(java.util.Vector<java.lang.Object> v)

menuDeselected

public void menuDeselected(javax.swing.event.MenuEvent e)

Specified by:

menuDeselected in interface javax.swing.event.MenuListener

menuCanceled

public void menuCanceled(javax.swing.event.MenuEvent e)

Specified by:

menuCanceled in interface javax.swing.event.MenuListener

editAction

public void editAction(java.util.Vector<java.lang.Object> v)

getTextArea

public javax.swing.JTextArea getTextArea()

If an EditorFrame is selected and not iconified, return its text area; otherwise return null.

getDesktop

public javax.swing.JTabbedPane getDesktop()

getInstances

public java.util.Hashtable<java.lang.String,java.lang.Object> getInstances()

newCFB

public void newCFB(java.util.Vector<java.lang.Object> v)

newBFB

public void newBFB(java.util.Vector<java.lang.Object> v)

newProxy

public void newProxy(java.util.Vector<java.lang.Object> v)

newSI

public void newSI(java.util.Vector<java.lang.Object> v)

newSimple

public void newSimple(java.util.Vector<java.lang.Object> v)

newAdapt

public void newAdapt(java.util.Vector<java.lang.Object> v)

newRes

public void newRes(java.util.Vector<java.lang.Object> v)

newDev

public void newDev(java.util.Vector<java.lang.Object> v)

newSys

public void newSys(java.util.Vector<java.lang.Object> v)

newArray

public void newArray(java.util.Vector<java.lang.Object> v)

newDirect

public void newDirect(java.util.Vector<java.lang.Object> v)

newEnu

public void newEnu(java.util.Vector<java.lang.Object> v)

newStruct

public void newStruct(java.util.Vector<java.lang.Object> v)

newSubrange

public void newSubrange(java.util.Vector<java.lang.Object> v)

help

public int help(java.util.Vector<java.lang.String> v)

getProps

public java.util.Properties getProps()

getPluginManager

public PluginManager getPluginManager()