frysk.gui
Class DebugHistory

java.lang.Object
  extended by org.gnu.glib.Struct
      extended by org.gnu.glib.GObject
          extended by org.gnu.gtk.GtkObject
              extended by org.gnu.gtk.Widget
                  extended by org.gnu.gtk.DrawingArea
                      extended by frysk.gui.DebugHistory
All Implemented Interfaces:
org.gnu.gtk.event.ExposeListener, org.gnu.gtk.event.MouseListener, org.gnu.gtk.event.MouseMotionListener

public class DebugHistory
extends org.gnu.gtk.DrawingArea
implements org.gnu.gtk.event.ExposeListener, org.gnu.gtk.event.MouseMotionListener, org.gnu.gtk.event.MouseListener

The DebugHistory widget is intended to display the events that have been triggered up to an abnormal termination of a program. It allows the user to scroll backwards and forwards through the lifetime of the process (up to a user-defined point), change the threshold of importance for what events are displayed, and upon clicking on an event recieve more details about the event


Nested Class Summary
private  class DebugHistory.ObserverEvent
           
 
Field Summary
(package private)  LinkedList events
           
(package private)  boolean isOverEvent
           
private  int threshold
           
 
Fields inherited from class org.gnu.glib.GObject
eventsInitialized
 
Constructor Summary
DebugHistory(int threshold)
          Creates a new debug history widget TODO: This is still a mockup, we need a way to get the information
 
Method Summary
 boolean exposeEvent(org.gnu.gtk.event.ExposeEvent arg0)
          Does the actual drawing of the widget.
 boolean mouseEvent(org.gnu.gtk.event.MouseEvent arg0)
          If the mouse is over an event and the user clicks, open a window with more information about the event.
 boolean mouseMotionEvent(org.gnu.gtk.event.MouseMotionEvent arg0)
          Whenever the mouse is over an event, change the cursor to a hand
 void setThreshold(int newThreshold)
           
 
Methods inherited from class org.gnu.gtk.DrawingArea
getDrawingArea, getType, gtk_drawing_area_get_type, gtk_drawing_area_new
 
Methods inherited from class org.gnu.gtk.Widget
activate, addAccelerator, addEvents, addListener, addListener, addListener, addListener, addListener, addListener, addListener, addListener, addListener, addListener, addListener, canActivateAccel, createContext, createLayout, draw, drawArea, drawArea, findListener, finish, fireBooleanLifeCycleEvent, fireConfigureEvent, fireDeleteDragDataEvent, fireDragMotionEvent, fireDropDragEvent, fireEndDragEvent, fireExposeEvent, fireFocusEvent, fireKeyEvent, fireLeaveDragDestinationEvent, fireLifeCycleEvent, fireMouseEvent, fireMouseMotionEvent, fireReceiveDragDataEvent, fireRequestDragDataEvent, fireStartDragEvent, getAccessible, getAllocation, getCanFocus, getColormap, getContext, getData, getDisplay, getDragData, getEventListenerClass, getEventType, getExtensionEvents, getModifierStyle, getName, getParent, getParentWindow, getPointer, getRootWindow, getScreen, getSensitive, getStyle, getToplevel, getWidget, getWindow, grabDefault, grabFocus, gtk_drag_dest_set, gtk_drag_dest_unset, gtk_drag_finish, gtk_drag_get_data, gtk_drag_highlight, gtk_drag_source_set_icon_pixbuf, gtk_drag_source_set_icon_stock, gtk_drag_source_set_icon, gtk_drag_source_set, gtk_drag_source_unset, gtk_drag_unhighlight, gtk_widget_activate, gtk_widget_add_accelerator, gtk_widget_add_events, gtk_widget_add_mnemonic_label, gtk_widget_can_activate_accel, gtk_widget_child_focus, gtk_widget_child_notify, gtk_widget_class_path, gtk_widget_create_pango_context, gtk_widget_create_pango_layout, gtk_widget_destroy, gtk_widget_destroyed, gtk_widget_ensure_style, gtk_widget_event, gtk_widget_freeze_child_notify, gtk_widget_get_accessible, gtk_widget_get_allocation, gtk_widget_get_ancestor, gtk_widget_get_child_requisition, gtk_widget_get_child_visible, gtk_widget_get_colormap, gtk_widget_get_composite_name, gtk_widget_get_default_colormap, gtk_widget_get_default_direction, gtk_widget_get_default_style, gtk_widget_get_default_visual, gtk_widget_get_direction, gtk_widget_get_display, gtk_widget_get_events, gtk_widget_get_extension_events, gtk_widget_get_modifier_style, gtk_widget_get_name, gtk_widget_get_pango_context, gtk_widget_get_parent_window, gtk_widget_get_parent, gtk_widget_get_pointer, gtk_widget_get_root_window, gtk_widget_get_screen, gtk_widget_get_sensitive, gtk_widget_get_settings, gtk_widget_get_size_request, gtk_widget_get_style, gtk_widget_get_toplevel, gtk_widget_get_type, gtk_widget_get_visual, gtk_widget_get_window, gtk_widget_grab_default, gtk_widget_grab_focus, gtk_widget_has_screen, gtk_widget_hide_all, gtk_widget_hide_on_delete, gtk_widget_hide, gtk_widget_intersect, gtk_widget_is_ancestor, gtk_widget_is_focus, gtk_widget_list_accel_closures, gtk_widget_list_mnemonic_labels, gtk_widget_map, gtk_widget_mnemonic_activate, gtk_widget_modify_base, gtk_widget_modify_bg, gtk_widget_modify_fg, gtk_widget_modify_font, gtk_widget_modify_style, gtk_widget_modify_text, gtk_widget_path, gtk_widget_pop_colormap, gtk_widget_pop_composite_child, gtk_widget_push_colormap, gtk_widget_push_composite_child, gtk_widget_queue_draw_area, gtk_widget_queue_draw, gtk_widget_queue_resize, gtk_widget_realize, gtk_widget_region_intersect, gtk_widget_remove_accelerator, gtk_widget_remove_mnemonic_label, gtk_widget_render_icon, gtk_widget_reparent, gtk_widget_reset_rc_styles, gtk_widget_send_expose, gtk_widget_set_accel_path, gtk_widget_set_app_paintable, gtk_widget_set_child_visible, gtk_widget_set_colormap, gtk_widget_set_composite_name, gtk_widget_set_default_colormap, gtk_widget_set_default_direction, gtk_widget_set_direction, gtk_widget_set_double_buffered, gtk_widget_set_events, gtk_widget_set_extension_events, gtk_widget_set_name, gtk_widget_set_parent_window, gtk_widget_set_parent, gtk_widget_set_redraw_on_allocate, gtk_widget_set_scroll_adjustments, gtk_widget_set_sensitive, gtk_widget_set_size_request, gtk_widget_set_state, gtk_widget_set_style, gtk_widget_shape_combine_mask, gtk_widget_show_all, gtk_widget_show_now, gtk_widget_show, gtk_widget_size_allocate, gtk_widget_size_request, gtk_widget_style_get_property, gtk_widget_thaw_child_notify, gtk_widget_translate_coordinates, gtk_widget_unmap, gtk_widget_unparent, gtk_widget_unrealize, handleButtonPressed, handleButtonReleased, handleConfigure, handleDelete, handleDestroy, handleDragDataDeleted, handleDragDataReceived, handleDragDataRequested, handleDragDestinationLeft, handleDragDropped, handleDragEnded, handleDragMotionOccurred, handleDragStarted, handleExpose, handleFocusIn, handleFocusOut, handleHide, handleKeyPressed, handleKeyReleased, handleMap, handleMouseEnter, handleMouseLeave, handleMouseMotion, handleNoExpose, handleRealize, handleScroll, handleShow, handleUnmap, handleUnrealize, hasFocus, hasScreen, hide, hideAll, highlight, highlight, intersect, isAncestor, makeWidget, modifyStyle, popColormap, pushColormap, realize, removeAccelerator, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, reparent, setBackgroundColor, setBaseColor, setCanFocus, setColormap, setDoubleBuffered, setDragDestination, setDragIcon, setDragIconPixbuf, setDragIconStock, setDragSource, setEvents, setExtensionEvents, setFont, setForegroundColor, setMinimumSize, setName, setNoDragDestination, setNoDragSource, setSensitive, setTextColor, shapeCombineMask, show, showAll, unHighlight, unHighlight
 
Methods inherited from class org.gnu.gtk.GtkObject
checkState, destroy, getFlags, gtk_object_destroy, gtk_object_get_type, gtk_object_sink, setFlags, sink
 
Methods inherited from class org.gnu.glib.GObject
addEventHandler, addEventHandler, addEventHandler, addEventHandler, addEventHandler, addEventHandler, addEventHandler, addListener, collect, finalize, freezeNotify, getBooleanProperty, getData, getData, getDoubleProperty, getFloatProperty, getGObjectFromHandle, getIntFromHandle, getIntProperty, getJavaObjectProperty, getLongProperty, getPixbufProperty, getProperty, getStringFromHandle, getStringProperty, hasProperty, instantiateJGObjectFromGType, notify, removeEventHandler, removeListener, retrieveGObject, setBooleanProperty, setData, setData, setDoubleProperty, setFloatProperty, setIntProperty, setJavaObjectProperty, setLongProperty, setPixbufProperty, setProperty, setStringProperty, thawNotify
 
Methods inherited from class org.gnu.glib.Struct
equals, getHandle, getNullHandle, hashCode, setHandle
 
Methods inherited from class java.lang.Object
clone, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

isOverEvent

boolean isOverEvent

threshold

private int threshold

events

LinkedList events
Constructor Detail

DebugHistory

public DebugHistory(int threshold)
Creates a new debug history widget TODO: This is still a mockup, we need a way to get the information

Method Detail

exposeEvent

public boolean exposeEvent(org.gnu.gtk.event.ExposeEvent arg0)
Does the actual drawing of the widget.

Specified by:
exposeEvent in interface org.gnu.gtk.event.ExposeListener

mouseMotionEvent

public boolean mouseMotionEvent(org.gnu.gtk.event.MouseMotionEvent arg0)
Whenever the mouse is over an event, change the cursor to a hand

Specified by:
mouseMotionEvent in interface org.gnu.gtk.event.MouseMotionListener

setThreshold

public void setThreshold(int newThreshold)

mouseEvent

public boolean mouseEvent(org.gnu.gtk.event.MouseEvent arg0)
If the mouse is over an event and the user clicks, open a window with more information about the event.

Specified by:
mouseEvent in interface org.gnu.gtk.event.MouseListener