nl.cwi.sen1.tide.tool.srcviewer
Class SourceViewer

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  nl.cwi.sen1.tide.tool.TideTool
                      nl.cwi.sen1.tide.tool.ProcessTool
                          nl.cwi.sen1.tide.tool.srcviewer.SourceViewer

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, nl.cwi.sen1.gui.component.StudioComponent, DebugAdapterListener, DebugProcessListener, ProcessStatusChangeListener

public class SourceViewer
extends ProcessTool
implements DebugProcessListener, ProcessStatusChangeListener, DebugAdapterListener

See Also:

Serialized Form

Nested Class Summary

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

javax.swing.JPanel.AccessibleJPanel

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

javax.swing.JComponent.AccessibleJComponent

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

java.awt.Container.AccessibleAWTContainer

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

Field Summary

private javax.swing.Action	addSourceFile
private javax.swing.JTabbedPane	center
private java.lang.String	currentFile
private SourceFileViewer	currentViewer
private javax.swing.Action	delSourceFile
private javax.swing.JLabel	message
private DebugProcess	process
private java.util.Map<java.lang.String,SourceFileViewer>	residentViewers
private Rule	ruleStepInto
private Rule	ruleStepOver
private Rule	ruleStepUp
private javax.swing.Action	run
private javax.swing.Action	stepInto
private javax.swing.Action	stepOver
private javax.swing.Action	stepUp
private javax.swing.Action	stop
private java.lang.String	tag_add_source
private static java.lang.String	TAG_ADD_SOURCE
private java.lang.String	tag_step_into
private static java.lang.String	TAG_STEP_INTO
private java.lang.String	tag_step_over
private static java.lang.String	TAG_STEP_OVER
private java.lang.String	tag_step_up
private static java.lang.String	TAG_STEP_UP
private java.lang.String	tag_view_var
private static java.lang.String	TAG_VIEW_VAR
private javax.swing.JToolBar	tools

Fields inherited from class javax.swing.JComponent

accessibleContext, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

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

Constructor Summary

SourceViewer(ToolManager manager, DebugProcess process)

Method Summary

void	addSourceFromDisk(java.lang.String path)
void	addSourceFromList(java.util.Iterator<java.lang.String> iter)
void	evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
private void	highlightCpe()
void	processCreated(DebugAdapter adapter, DebugProcess proc)
void	processDestroyed(DebugAdapter adapter, DebugProcess proc)
void	processStatusChanged(DebugProcess process)
void	ruleCreated(DebugProcess process, Rule rule)
void	ruleDeleted(DebugProcess process, Rule rule)
void	ruleModified(DebugProcess process, Rule rule)
void	ruleTriggered(DebugProcess process, Rule rule, Expr value)
(package private) void	switchToFile(java.lang.String file)
private void	unhighlightCpe()

Methods inherited from class nl.cwi.sen1.tide.tool.TideTool

addNameChangedListener, addStudioComponentListener, addTooltipChangedListener, close, destroy, displayError, displayError, fireComponentFocusReceived, fireStatusMessageChanged, getIcon, getId, getManager, getName, getStatusBarComponents, getStatusMessage, getTarget, getTooltip, getViewComponent, loadIcon, receiveFocus, removeNameChangedListener, removeStudioComponentListener, removeTooltipChangedListener, requestClose, setName, setStatusMessage, setTarget, setTooltip

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, 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 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 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, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, 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, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setSize, setSize, show, 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

TAG_STEP_INTO

private static final java.lang.String TAG_STEP_INTO

See Also:

Constant Field Values

TAG_STEP_OVER

private static final java.lang.String TAG_STEP_OVER

See Also:

Constant Field Values

TAG_STEP_UP

private static final java.lang.String TAG_STEP_UP

See Also:

Constant Field Values

TAG_VIEW_VAR

private static final java.lang.String TAG_VIEW_VAR

See Also:

Constant Field Values

TAG_ADD_SOURCE

private static final java.lang.String TAG_ADD_SOURCE

See Also:

Constant Field Values

tools

private javax.swing.JToolBar tools

center

private javax.swing.JTabbedPane center

message

private javax.swing.JLabel message

tag_step_into

private java.lang.String tag_step_into

tag_step_over

private java.lang.String tag_step_over

tag_step_up

private java.lang.String tag_step_up

tag_view_var

private java.lang.String tag_view_var

tag_add_source

private java.lang.String tag_add_source

stepInto

private javax.swing.Action stepInto

stepOver

private javax.swing.Action stepOver

stepUp

private javax.swing.Action stepUp

run

private javax.swing.Action run

stop

private javax.swing.Action stop

addSourceFile

private javax.swing.Action addSourceFile

delSourceFile

private javax.swing.Action delSourceFile

process

private DebugProcess process

ruleStepInto

private Rule ruleStepInto

ruleStepOver

private Rule ruleStepOver

ruleStepUp

private Rule ruleStepUp

currentFile

private java.lang.String currentFile

currentViewer

private SourceFileViewer currentViewer

residentViewers

private java.util.Map<java.lang.String,SourceFileViewer> residentViewers

Constructor Detail

SourceViewer

public SourceViewer(ToolManager manager,
                    DebugProcess process)

Method Detail

processDestroyed

public void processDestroyed(DebugAdapter adapter,
                             DebugProcess proc)

Specified by:

processDestroyed in interface DebugAdapterListener

processCreated

public void processCreated(DebugAdapter adapter,
                           DebugProcess proc)

Specified by:

processCreated in interface DebugAdapterListener

ruleCreated

public void ruleCreated(DebugProcess process,
                        Rule rule)

Specified by:

ruleCreated in interface DebugProcessListener

ruleDeleted

public void ruleDeleted(DebugProcess process,
                        Rule rule)

Specified by:

ruleDeleted in interface DebugProcessListener

ruleModified

public void ruleModified(DebugProcess process,
                         Rule rule)

Specified by:

ruleModified in interface DebugProcessListener

ruleTriggered

public void ruleTriggered(DebugProcess process,
                          Rule rule,
                          Expr value)

Specified by:

ruleTriggered in interface DebugProcessListener

evaluationResult

public void evaluationResult(DebugProcess process,
                             Expr expr,
                             Expr value,
                             java.lang.String tag)

Specified by:

evaluationResult in interface DebugProcessListener

processStatusChanged

public void processStatusChanged(DebugProcess process)

Specified by:

processStatusChanged in interface ProcessStatusChangeListener

switchToFile

void switchToFile(java.lang.String file)

highlightCpe

private void highlightCpe()

unhighlightCpe

private void unhighlightCpe()

addSourceFromDisk

public void addSourceFromDisk(java.lang.String path)

addSourceFromList

public void addSourceFromList(java.util.Iterator<java.lang.String> iter)