Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> [ ide overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of ide.VeriSimDocumentFrame JAVADOC | Sourc code of ide.VeriSimDocumentFrame SOURCE | Download ide.VeriSimDocumentFrame DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

ide
Class VeriSimDocumentFrame  view VeriSimDocumentFrame download VeriSimDocumentFrame.java

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjavax.swing.JComponent
              extended byjavax.swing.JInternalFrame
                  extended byide.VeriSimDocumentFrame
All Implemented Interfaces:
javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.event.UndoableEditListener, javax.swing.WindowConstants
class VeriSimDocumentFrame
extends javax.swing.JInternalFrame
implements javax.swing.event.UndoableEditListener

Sample JInternalFrame using the simple text editor component that supports only one font. (for now)

Version:
1.0

Nested Class Summary
(package private)  class VeriSimDocumentFrame.CaretPositionChangeListener
          Displays caret position in the status bar.
(package private)  class VeriSimDocumentFrame.EditorInternalFrameAdapter
          Project.focusedEditor modifier.
(package private)  class VeriSimDocumentFrame.NumberedBorder
          Displays line numbers on the left of editor todo -> must be a inner class of Project and alocated only once.
(package private)  class VeriSimDocumentFrame.RedoAction
           
(package private)  class VeriSimDocumentFrame.UndoAction
           
 
Nested classes inherited from class javax.swing.JInternalFrame
javax.swing.JInternalFrame.AccessibleJInternalFrame, javax.swing.JInternalFrame.JDesktopIcon
 
Nested classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Nested classes inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
private  java.util.Hashtable commands
           
 VerilogTextArea editor
           
private static int editorCount
           
static java.lang.String fileDataProp
          File information
private  java.lang.String fileName
           
 boolean focused
           
private  int fontHeight
           
private  javax.swing.JMenuBar menubar
           
private  java.util.Hashtable menuItems
           
 VeriSimDocumentFrame.NumberedBorder numberedBorder
           
private  VeriSimDocumentFrame.RedoAction redoAction
           
private static java.util.ResourceBundle resources
           
private  javax.swing.JScrollPane scroller
           
private  javax.swing.JComponent status
           
 Project theProject
           
private  javax.swing.JToolBar toolbar
           
protected  javax.swing.undo.UndoManager undo
          UndoManager that we add edits to.
private  VeriSimDocumentFrame.UndoAction undoAction
           
 int windowID
           
 
Fields inherited from class javax.swing.JInternalFrame
closable, CONTENT_PANE_PROPERTY, desktopIcon, FRAME_ICON_PROPERTY, frameIcon, GLASS_PANE_PROPERTY, iconable, IS_CLOSED_PROPERTY, IS_ICON_PROPERTY, IS_MAXIMUM_PROPERTY, IS_SELECTED_PROPERTY, isClosed, isIcon, isMaximum, isSelected, LAYERED_PANE_PROPERTY, maximizable, MENU_BAR_PROPERTY, resizable, ROOT_PANE_PROPERTY, rootPane, rootPaneCheckingEnabled, title, TITLE_PROPERTY
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Container
 
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, EXIT_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
(package private) VeriSimDocumentFrame(Project project, javax.swing.text.Document doc)
          Makes a new view based on the document from 'original'.
(package private) VeriSimDocumentFrame(Project project, java.io.File file)
           
 
Method Summary
 int getCurrentLine()
           
 FileData getFileData()
           
 java.lang.String getFileName()
           
 void highlightLine(int line)
           
private  void initEditor()
           
 void jumpToLine(int line)
           
 void loadFile()
           
 void redo()
           
 void saveFile()
           
 javax.swing.text.Document setFileName(java.lang.String fileName)
          Renames the file associated with this editor.
 void undo()
           
 void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
          Messaged when the Document has created an edit, the edit is added to , an instance of UndoManager.
 
Methods inherited from class javax.swing.JInternalFrame
addImpl, addInternalFrameListener, createRootPane, dispose, doDefaultCloseAction, fireInternalFrameEvent, getAccessibleContext, getContentPane, getDefaultCloseOperation, getDesktopIcon, getDesktopPane, getFocusCycleRootAncestor, getFocusOwner, getFrameIcon, getGlassPane, getInternalFrameListeners, getJMenuBar, getLayer, getLayeredPane, getMenuBar, getMostRecentFocusOwner, getNormalBounds, getRootPane, getTitle, getUI, getUIClassID, getWarningString, hide, isClosable, isClosed, isFocusCycleRoot, isIcon, isIconifiable, isMaximizable, isMaximum, isResizable, isRootPaneCheckingEnabled, isSelected, moveToBack, moveToFront, pack, paintComponent, paramString, remove, removeInternalFrameListener, reshape, restoreSubcomponentFocus, setClosable, setClosed, setContentPane, setDefaultCloseOperation, setDesktopIcon, setFocusCycleRoot, setFrameIcon, setGlassPane, setIcon, setIconifiable, setJMenuBar, setLayer, setLayer, setLayeredPane, setLayout, setMaximizable, setMaximum, setMenuBar, setNormalBounds, setResizable, setRootPane, setRootPaneCheckingEnabled, setSelected, setTitle, setUI, show, toBack, toFront, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getRegisteredKeyStrokes, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, transferFocusDownCycle, validate, validateTree
 
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, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, 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, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

editorCount

private static int editorCount

resources

private static java.util.ResourceBundle resources

fileName

private java.lang.String fileName

theProject

public Project theProject

scroller

private javax.swing.JScrollPane scroller

fontHeight

private int fontHeight

focused

public boolean focused

windowID

public int windowID

editor

public VerilogTextArea editor

commands

private java.util.Hashtable commands

menuItems

private java.util.Hashtable menuItems

menubar

private javax.swing.JMenuBar menubar

toolbar

private javax.swing.JToolBar toolbar

status

private javax.swing.JComponent status

numberedBorder

public VeriSimDocumentFrame.NumberedBorder numberedBorder

undo

protected javax.swing.undo.UndoManager undo
UndoManager that we add edits to.

undoAction

private VeriSimDocumentFrame.UndoAction undoAction

redoAction

private VeriSimDocumentFrame.RedoAction redoAction

fileDataProp

public static java.lang.String fileDataProp
File information

Constructor Detail

VeriSimDocumentFrame

VeriSimDocumentFrame(Project project,
                     java.io.File file)
               throws java.io.IOException

VeriSimDocumentFrame

VeriSimDocumentFrame(Project project,
                     javax.swing.text.Document doc)
Makes a new view based on the document from 'original'. NOTE: since from this moment the document will have both views as change listeners, the undo command will ... I don't know..

Method Detail

initEditor

private void initEditor()

loadFile

public void loadFile()
              throws java.io.IOException

saveFile

public void saveFile()
              throws java.io.IOException

getFileName

public java.lang.String getFileName()

getFileData

public FileData getFileData()

setFileName

public javax.swing.text.Document setFileName(java.lang.String fileName)
                                      throws java.io.IOException
Renames the file associated with this editor. This implies creating a new PlainDocument for this editor.

undoableEditHappened

public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
Messaged when the Document has created an edit, the edit is added to , an instance of UndoManager.

Specified by:
undoableEditHappened in interface javax.swing.event.UndoableEditListener

jumpToLine

public void jumpToLine(int line)

getCurrentLine

public int getCurrentLine()

highlightLine

public void highlightLine(int line)

undo

public void undo()

redo

public void redo()
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> [ ide overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of ide.VeriSimDocumentFrame JAVADOC | Sourc code of ide.VeriSimDocumentFrame SOURCE | Download ide.VeriSimDocumentFrame DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD