java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
alice.tucson.ide.TupleViewer
- All Implemented Interfaces:
- javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants
- public class TupleViewer
- extends javax.swing.JFrame
- Version:
Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
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 |
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.Window |
|
Fields inherited from class java.awt.Container |
|
Methods inherited from class javax.swing.JFrame |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getPreferredSize, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
Methods inherited from class java.awt.Frame |
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated |
Methods inherited from class java.awt.Window |
addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getGraphicsConfiguration, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, 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, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle |
mainForm
private InspectorAgent mainForm
jScrollPane1
private javax.swing.JScrollPane jScrollPane1
tupleArea
private javax.swing.JTextArea tupleArea
jTabbedPane1
private javax.swing.JTabbedPane jTabbedPane1
jPanel1
private javax.swing.JPanel jPanel1
jPanel2
private javax.swing.JPanel jPanel2
radioReactive
private javax.swing.JRadioButton radioReactive
radioProactive
private javax.swing.JRadioButton radioProactive
buttonGet
private javax.swing.JButton buttonGet
jPanel3
private javax.swing.JPanel jPanel3
jPanel4
private javax.swing.JPanel jPanel4
checkFilterView
private javax.swing.JCheckBox checkFilterView
buttonAcceptPattern
private javax.swing.JButton buttonAcceptPattern
inputFilterView
private javax.swing.JTextField inputFilterView
jPanel5
private javax.swing.JPanel jPanel5
jPanel6
private javax.swing.JPanel jPanel6
checkFilterLog
private javax.swing.JCheckBox checkFilterLog
buttonAcceptFilterLog
private javax.swing.JButton buttonAcceptFilterLog
inputFilterLog
private javax.swing.JTextField inputFilterLog
jPanel8
private javax.swing.JPanel jPanel8
jLabel3
private javax.swing.JLabel jLabel3
inputFileLog
private javax.swing.JTextField inputFileLog
buttonBrowse
private javax.swing.JButton buttonBrowse
checkLogEnable
private javax.swing.JCheckBox checkLogEnable
jPanel11
private javax.swing.JPanel jPanel11
jPanel7
private javax.swing.JPanel jPanel7
bSetTupleSet
private javax.swing.JButton bSetTupleSet
jLabel5
private javax.swing.JLabel jLabel5
jPanel10
private javax.swing.JPanel jPanel10
outputState
private javax.swing.JTextField outputState
jPanel9
private javax.swing.JPanel jPanel9
jLabel1
private javax.swing.JLabel jLabel1
outputTime
private javax.swing.JTextField outputTime
jLabel2
private javax.swing.JLabel jLabel2
outputNoItems
private javax.swing.JTextField outputNoItems
jLabel4
private javax.swing.JLabel jLabel4
outputVmTime
private javax.swing.JTextField outputVmTime
iCurrentPos
private int iCurrentPos
TupleViewer
public TupleViewer(InspectorAgent mainForm_)
- Creates new form TupleForm
setText
public void setText(java.lang.String st)
setVMTime
public void setVMTime(long l)
setLocalTime
public void setLocalTime(long l)
setNItems
public void setNItems(long l)
initComponents
private void initComponents()
- This method is called from within the constructor to
initialize the form.
WARNING: Do NOT modify this code. The content of this method is
always regenerated by the FormEditor.
jSetTupleSetActionPerformed
private void jSetTupleSetActionPerformed(java.awt.event.ActionEvent evt)
readTuple
private java.lang.String readTuple(java.lang.String txt)
checkLogEnableActionPerformed
private void checkLogEnableActionPerformed(java.awt.event.ActionEvent evt)
buttonAcceptFilterLogActionPerformed
private void buttonAcceptFilterLogActionPerformed(java.awt.event.ActionEvent evt)
buttonBrowseActionPerformed
private void buttonBrowseActionPerformed(java.awt.event.ActionEvent evt)
inputFileLogActionPerformed
private void inputFileLogActionPerformed(java.awt.event.ActionEvent evt)
checkFilterLogActionPerformed
private void checkFilterLogActionPerformed(java.awt.event.ActionEvent evt)
buttonAcceptPatternActionPerformed
private void buttonAcceptPatternActionPerformed(java.awt.event.ActionEvent evt)
checkFilterViewActionPerformed
private void checkFilterViewActionPerformed(java.awt.event.ActionEvent evt)
buttonGetActionPerformed
private void buttonGetActionPerformed(java.awt.event.ActionEvent evt)
radioReactiveActionPerformed
private void radioReactiveActionPerformed(java.awt.event.ActionEvent evt)
radioProactiveActionPerformed
private void radioProactiveActionPerformed(java.awt.event.ActionEvent evt)
exitForm
private void exitForm(java.awt.event.WindowEvent evt)