: Class VeriSimFrame

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

ide
Class VeriSimFrame

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--ide.VeriSimFrame

public class VeriSimFrame
extends javax.swing.JFrame

See Also:: Serialized Form

Inner Class Summary
`(package private) class`	`VeriSimFrame.MRFAction`
`(package private) class`	`VeriSimFrame.MRPAction`
`(package private) class`	`VeriSimFrame.StatusBar`

Inner classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Inner classes inherited from class java.awt.Component

java.awt.Component.AWTTreeLock

Field Summary
`(package private) static java.lang.String`	`ABOUTMSG`
`(package private) BookmarksView`	`bookmarksView`
`javax.swing.JDesktopPane`	`desktop`
`(package private) static java.lang.Integer`	`DOCLAYER`
`(package private) FileHashtable`	`fHash`
`(package private) static java.lang.Integer`	`HELPLAYER`
`(package private) javax.swing.JToolBar`	`mainToolbar`
`(package private) javax.swing.JMenuBar`	`menuBar`
`(package private) ProjectView`	`projectView`
`(package private) RecentFiles`	`recentFiles`
`(package private) javax.swing.JMenu`	`recentFilesMenu`
`(package private) RecentFiles`	`recentProjects`
`(package private) javax.swing.JMenu`	`recentProjectsMenu`
`(package private) javax.swing.JCheckBoxMenuItem`	`showToolPaletteMenuItem`
`(package private) VeriSimFrame.StatusBar`	`statusBar`
`(package private) Project`	`theProject`
`(package private) static java.lang.Integer`	`TOOLLAYER`
`(package private) javax.swing.JInternalFrame`	`toolPalette`
`(package private) javax.swing.JMenu`	`windowMenu`

Fields inherited from class javax.swing.JFrame

accessibleContext,  
defaultCloseOperation,  
rootPane,  
rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

base,  
CROSSHAIR_CURSOR,  
DEFAULT_CURSOR,  
E_RESIZE_CURSOR,  
frameSerializedDataVersion,  
HAND_CURSOR,  
icon,  
ICONIFIED,  
mbManagement,  
menuBar,  
MOVE_CURSOR,  
N_RESIZE_CURSOR,  
nameCounter,  
NE_RESIZE_CURSOR,  
NORMAL,  
NW_RESIZE_CURSOR,  
ownedWindows,  
resizable,  
S_RESIZE_CURSOR,  
SE_RESIZE_CURSOR,  
serialVersionUID,  
state,  
SW_RESIZE_CURSOR,  
TEXT_CURSOR,  
title,  
W_RESIZE_CURSOR,  
WAIT_CURSOR,  
weakThis

Fields inherited from class java.awt.Window

active,  
base,  
focusMgr,  
inputContext,  
nameCounter,  
OPENED,  
ownedWindowList,  
serialVersionUID,  
state,  
warningString,  
weakThis,  
windowListener,  
windowSerializedDataVersion

Fields inherited from class java.awt.Container

component,  
containerListener,  
containerSerializedDataVersion,  
dispatcher,  
layoutMgr,  
maxSize,  
ncomponents,  
serialVersionUID

Fields inherited from class java.awt.Component

actionListenerK,  
adjustmentListenerK,  
appContext,  
assert,  
background,  
BOTTOM_ALIGNMENT,  
CENTER_ALIGNMENT,  
changeSupport,  
componentListener,  
componentListenerK,  
componentOrientation,  
componentSerializedDataVersion,  
containerListenerK,  
cursor,  
dropTarget,  
enabled,  
eventMask,  
focusListener,  
focusListenerK,  
font,  
foreground,  
hasFocus,  
height,  
incRate,  
inputMethodListener,  
inputMethodListenerK,  
isInc,  
isPacked,  
itemListenerK,  
keyListener,  
keyListenerK,  
LEFT_ALIGNMENT,  
locale,  
LOCK,  
minSize,  
mouseListener,  
mouseListenerK,  
mouseMotionListener,  
mouseMotionListenerK,  
name,  
nameExplicitlySet,  
newEventsOnly,  
ownedWindowK,  
parent,  
peer,  
peerFont,  
popups,  
prefSize,  
RIGHT_ALIGNMENT,  
serialVersionUID,  
textListenerK,  
TOP_ALIGNMENT,  
valid,  
visible,  
width,  
windowListenerK,  
x,  
y

Constructor Summary
`VeriSimFrame()`

Method Summary
`private void`	`addB(javax.swing.JToolBar t, javax.swing.AbstractAction a)`
`protected javax.swing.JMenu`	`buildEditMenu()`
`protected javax.swing.JMenu`	`buildFileMenu()`
`protected javax.swing.JMenu`	`buildHelpMenu()`
`protected void`	`buildMenus()`
`protected javax.swing.JMenu`	`buildProjectMenu()`
`protected javax.swing.JMenu`	`buildSimulationMenu()`
`protected javax.swing.JToolBar`	`buildToolbar()`
`protected javax.swing.JMenu`	`buildViewsMenu()`
`protected javax.swing.JMenu`	`buildWindowMenu()`
`void`	`createBookmarksView()`
`void`	`createConsoleView()`
`void`	`dump()`
`void`	`openHelpWindow()`
`void`	`openPrefsWindow()`
`void`	`quit()`
`void`	`refreshMRU(javax.swing.JMenu menu, RecentFiles rf, boolean MRUtype)`
`void`	`showAboutBox()`
`protected void`	`showBookmarksView()`

Methods inherited from class javax.swing.JFrame

addImpl, 
createRootPane, 
createRootPaneException, 
frameInit, 
getAccessibleContext, 
getContentPane, 
getDefaultCloseOperation, 
getGlassPane, 
getJMenuBar, 
getLayeredPane, 
getRootPane, 
isRootPaneCheckingEnabled, 
paramString, 
processKeyEvent, 
processWindowEvent, 
setContentPane, 
setDefaultCloseOperation, 
setGlassPane, 
setJMenuBar, 
setLayeredPane, 
setLayout, 
setRootPane, 
setRootPaneCheckingEnabled, 
update

Methods inherited from class java.awt.Frame

, 
addNotify, 
addToFrameList, 
constructComponentName, 
finalize, 
getCursorType, 
getFrames, 
getIconImage, 
getMenuBar, 
getState, 
getTitle, 
initIDs, 
isResizable, 
postProcessKeyEvent, 
readObject, 
remove, 
removeFromFrameList, 
removeNotify, 
setCursor, 
setIconImage, 
setMenuBar, 
setResizable, 
setState, 
setTitle, 
writeObject

Methods inherited from class java.awt.Window

addOwnedWindow, 
addWindowListener, 
applyResourceBundle, 
applyResourceBundle, 
connectOwnedWindow, 
dispatchEventImpl, 
dispose, 
eventEnabled, 
getFocusOwner, 
getInputContext, 
getLocale, 
getOwnedWindows, 
getOwner, 
getToolkit, 
getWarningString, 
isActive, 
isShowing, 
nextFocus, 
ownedInit, 
pack, 
postEvent, 
postWindowEvent, 
preProcessKeyEvent, 
processEvent, 
removeOwnedWindow, 
removeWindowListener, 
setFocusOwner, 
setWarningString, 
show, 
toBack, 
toFront, 
transferFocus

Methods inherited from class java.awt.Container

add, 
add, 
add, 
add, 
add, 
addContainerListener, 
applyOrientation, 
countComponents, 
deliverEvent, 
dispatchEventToSelf, 
doLayout, 
findComponentAt, 
findComponentAt, 
getAlignmentX, 
getAlignmentY, 
getComponent, 
getComponentAt, 
getComponentAt, 
getComponentCount, 
getComponents_NoClientCode, 
getComponents, 
getInsets, 
getLayout, 
getMaximumSize, 
getMinimumSize, 
getMouseEventTarget, 
getPreferredSize, 
getWindow, 
insets, 
invalidate, 
invalidateTree, 
isAncestorOf, 
layout, 
lightweightPrint, 
list, 
list, 
locate, 
minimumSize, 
paint, 
paintComponents, 
postsOldMouseEvents, 
preferredSize, 
print, 
printComponents, 
printOneComponent, 
processContainerEvent, 
proxyEnableEvents, 
proxyRequestFocus, 
remove, 
remove, 
removeAll, 
removeContainerListener, 
setFont, 
validate, 
validateTree

Methods inherited from class java.awt.Component

action, 
add, 
addComponentListener, 
addFocusListener, 
addInputMethodListener, 
addKeyListener, 
addMouseListener, 
addMouseMotionListener, 
addPropertyChangeListener, 
addPropertyChangeListener, 
areInputMethodsEnabled, 
bounds, 
checkImage, 
checkImage, 
coalesceEvents, 
contains, 
contains, 
createImage, 
createImage, 
disable, 
disableEvents, 
dispatchEvent, 
enable, 
enable, 
enableEvents, 
enableInputMethods, 
firePropertyChange, 
getBackground, 
getBounds, 
getBounds, 
getColorModel, 
getComponentOrientation, 
getCursor, 
getDropTarget, 
getFont_NoClientCode, 
getFont, 
getFontMetrics, 
getForeground, 
getGraphics, 
getHeight, 
getInputMethodRequests, 
getLocation, 
getLocation, 
getLocationOnScreen, 
getName, 
getNativeContainer, 
getParent_NoClientCode, 
getParent, 
getPeer, 
getSize, 
getSize, 
getToolkitImpl, 
getTreeLock, 
getWidth, 
getWindowForObject, 
getX, 
getY, 
gotFocus, 
handleEvent, 
hasFocus, 
hide, 
imageUpdate, 
inside, 
isDisplayable, 
isDoubleBuffered, 
isEnabled, 
isEnabledImpl, 
isFocusTraversable, 
isLightweight, 
isOpaque, 
isValid, 
isVisible, 
keyDown, 
keyUp, 
list, 
list, 
list, 
location, 
lostFocus, 
mouseDown, 
mouseDrag, 
mouseEnter, 
mouseExit, 
mouseMove, 
mouseUp, 
move, 
nextFocus, 
paintAll, 
prepareImage, 
prepareImage, 
printAll, 
processComponentEvent, 
processFocusEvent, 
processInputMethodEvent, 
processMouseEvent, 
processMouseMotionEvent, 
removeComponentListener, 
removeFocusListener, 
removeInputMethodListener, 
removeKeyListener, 
removeMouseListener, 
removeMouseMotionListener, 
removePropertyChangeListener, 
removePropertyChangeListener, 
repaint, 
repaint, 
repaint, 
repaint, 
requestFocus, 
reshape, 
resize, 
resize, 
setBackground, 
setBounds, 
setBounds, 
setComponentOrientation, 
setCursor, 
setDropTarget, 
setEnabled, 
setForeground, 
setLocale, 
setLocation, 
setLocation, 
setName, 
setSize, 
setSize, 
setVisible, 
show, 
size, 
toString, 
transferFocus

Methods inherited from class java.lang.Object

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

Field Detail

menuBar

javax.swing.JMenuBar menuBar

desktop

public javax.swing.JDesktopPane desktop

toolPalette

javax.swing.JInternalFrame toolPalette

showToolPaletteMenuItem

javax.swing.JCheckBoxMenuItem showToolPaletteMenuItem

theProject

Project theProject

projectView

ProjectView projectView

bookmarksView

BookmarksView bookmarksView

statusBar

VeriSimFrame.StatusBar statusBar

fHash

FileHashtable fHash

recentFiles

RecentFiles recentFiles

recentProjects

RecentFiles recentProjects

recentFilesMenu

javax.swing.JMenu recentFilesMenu

recentProjectsMenu

javax.swing.JMenu recentProjectsMenu

mainToolbar

javax.swing.JToolBar mainToolbar

windowMenu

javax.swing.JMenu windowMenu

DOCLAYER

static final java.lang.Integer DOCLAYER

TOOLLAYER

static final java.lang.Integer TOOLLAYER

HELPLAYER

static final java.lang.Integer HELPLAYER

ABOUTMSG

static final java.lang.String ABOUTMSG

Constructor Detail

VeriSimFrame

public VeriSimFrame()

Method Detail

refreshMRU

public void refreshMRU(javax.swing.JMenu menu,
                       RecentFiles rf,
                       boolean MRUtype)

buildMenus

protected void buildMenus()

addB

private void addB(javax.swing.JToolBar t,
                  javax.swing.AbstractAction a)

buildToolbar

protected javax.swing.JToolBar buildToolbar()

buildFileMenu

protected javax.swing.JMenu buildFileMenu()

buildEditMenu

protected javax.swing.JMenu buildEditMenu()

buildViewsMenu

protected javax.swing.JMenu buildViewsMenu()

buildSimulationMenu

protected javax.swing.JMenu buildSimulationMenu()

buildProjectMenu

protected javax.swing.JMenu buildProjectMenu()

buildWindowMenu

protected javax.swing.JMenu buildWindowMenu()

buildHelpMenu

protected javax.swing.JMenu buildHelpMenu()

showBookmarksView

protected void showBookmarksView()

quit

public void quit()

openHelpWindow

public void openHelpWindow()

showAboutBox

public void showAboutBox()

openPrefsWindow

public void openPrefsWindow()

createConsoleView

public void createConsoleView()

createBookmarksView

public void createBookmarksView()

dump

public void dump()