websphinx.workbench
Class Workbench

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--websphinx.workbench.Workbench

All Implemented Interfaces:

javax.accessibility.Accessible, CrawlListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public class Workbench

extends java.awt.Panel

implements CrawlListener

See Also:

Serialized Form

Inner classes inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock

Field Summary

(package private) ActionEditor	actionEditor
(package private) java.awt.Panel	actionPanel
(package private) boolean	advancedMode
(package private) boolean	allowExit
(package private) ClassifierListEditor	classifierListEditor
(package private) java.awt.Panel	classifiersPanel
(package private) java.awt.Button	clearButton
(package private) WorkbenchTabPanel	configPanel
(package private) Crawler	crawler
(package private) CrawlerEditor	crawlerEditor
(package private) java.awt.Panel	crawlPanel
(package private) java.awt.Button	createCrawlerButton
(package private) java.awt.MenuItem	createCrawlerItem
(package private) java.lang.String	currentFilename
(package private) DownloadParametersEditor	downloadParametersEditor
(package private) java.awt.MenuItem	exitItem
(package private) java.awt.Menu	fileMenu
(package private) WebGraph	graph
(package private) java.awt.Panel	limitsPanel
(package private) LinkPredicateEditor	linkPredicateEditor
(package private) java.awt.Panel	linksPanel
(package private) EventLog	logger
(package private) static int	MARGIN
(package private) java.awt.MenuBar	menubar
(package private) java.awt.Panel	menuPanel
(package private) java.awt.Button	newCrawlerButton
(package private) java.awt.MenuItem	newCrawlerItem
(package private) java.awt.Button	openCrawlerButton
(package private) java.awt.MenuItem	openCrawlerItem
(package private) WebOutline	outline
(package private) PagePredicateEditor	pagePredicateEditor
(package private) java.awt.Button	pauseButton
(package private) java.awt.Button	saveCrawlerButton
(package private) java.awt.MenuItem	saveCrawlerItem
(package private) SimpleCrawlerEditor	simpleCrawlerEditor
(package private) java.awt.Panel	simplePanel
(package private) java.awt.Button	startButton
(package private) Statistics	statistics
(package private) java.awt.Button	stopButton
(package private) boolean	tornOff
(package private) java.awt.GridBagConstraints	vizConstraints
(package private) java.awt.Frame	vizFrame
(package private) WorkbenchVizPanel	vizPanel
(package private) java.awt.GridBagConstraints	workbenchConstraints
(package private) java.awt.Frame	workbenchFrame
(package private) java.awt.Panel	workbenchPanel

Fields inherited from class java.awt.Panel

base, nameCounter, serialVersionUID

Fields inherited from class java.awt.Container

component, containerListener, containerSerializedDataVersion, dbg, dispatcher, layoutMgr, listeningBoundsChildren, listeningChildren, maxSize, ncomponents, printing, printingThreads

Fields inherited from class java.awt.Component

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

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Workbench()

Workbench(Crawler _crawler)

Workbench(java.lang.String filename)

Workbench(java.net.URL url)

Method Summary

void	clear()
void	cleared(CrawlEvent event) Notify that the crawler's state was cleared.
(package private) void	close()
(package private) void	configureCrawler()
(package private) void	connectVisualization(Crawler crawler, java.lang.Object viz, boolean linksToo)
(package private) void	createCrawler(java.lang.String className)
(package private) void	disconnectVisualization(Crawler crawler, java.lang.Object viz, boolean linksToo)
(package private) void	dockVisualizations()
(package private) boolean	doEvent(java.awt.Event event)
(package private) void	enableButtons(boolean fStart, boolean fPause, boolean fStop, boolean fClear)
protected void	finalize()
boolean	getAdvancedMode()
boolean	getAllowExit()
Crawler	getCrawler()
(package private) java.lang.String	getCrawlerClassName(java.lang.String label)
boolean	handleEvent(java.awt.Event event)
(package private) void	hideVisualization(java.lang.Object viz)
(package private) static Crawler	loadCrawler(java.io.InputStream stream)
static void	main(java.lang.String[] args)
private java.awt.Panel	makeActionPanel()
private java.awt.Panel	makeButtonPanel()
private java.awt.Panel	makeClassifiersPanel()
private java.awt.Panel	makeCrawlPanel()
private static Crawler	makeDefaultCrawler()
java.awt.Frame	makeFrame()
private java.awt.Panel	makeLimitsPanel()
private java.awt.Panel	makeLinksPanel()
(package private) java.awt.Panel	makeMenus()
private java.awt.Panel	makeSimplePanel()
(package private) void	newCrawler()
(package private) void	openCrawler()
(package private) void	openCrawler(java.lang.String filename)
(package private) void	openCrawler(java.net.URL url)
void	pause()
void	paused(CrawlEvent event) Notify that the crawler was paused.
void	refresh()
(package private) void	saveCrawler()
(package private) void	saveCrawler(java.lang.String filename)
void	setAdvancedMode(boolean adv)
void	setAllowExit(boolean yes)
void	setCrawler(Crawler _crawler)
(package private) static void	setEnabled(java.awt.Component comp, boolean enabled)
(package private) static void	setEnabled(java.awt.MenuItem item, boolean enabled)
(package private) static void	setVisible(java.awt.Component comp, boolean visible)
private void	showAdvancedTabs()
private void	showSimpleTabs()
(package private) void	showVisualization(java.lang.Object viz)
void	start()
void	started(CrawlEvent event) Notify that the crawler started
void	stop()
void	stopped(CrawlEvent event) Notify that the crawler ran out of links to crawl
(package private) void	tearoffVisualizations()
void	timedOut(CrawlEvent event) Notify that the crawler timed out.

Methods inherited from class java.awt.Panel

, addNotify, constructComponentName, getAccessibleContext

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, adjustListeningChildren, applyOrientation, checkGD, countComponents, createChildHierarchyEvents, createHierarchyEvents, deliverEvent, dispatchEventImpl, dispatchEventToSelf, doLayout, eventEnabled, findComponentAt, findComponentAt, findComponentAt, getAccessibleAt, getAccessibleChild, getAccessibleChildrenCount, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getMouseEventTarget, getPreferredSize, getWindow, initIDs, insets, invalidate, invalidateTree, isAncestorOf, layout, lightweightPaint, lightweightPrint, list, list, locate, minimumSize, nextFocus, numListening, paint, paintComponents, paintHeavyweightComponents, paramString, postProcessKeyEvent, postsOldMouseEvents, preferredSize, preProcessKeyEvent, print, printComponents, printHeavyweightComponents, processContainerEvent, processEvent, proxyEnableEvents, proxyRequestFocus, readObject, remove, remove, removeAll, removeContainerListener, removeNotify, setFocusOwner, setFont, setLayout, transferFocus, update, validate, validateTree, writeObject

Methods inherited from class java.awt.Component

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

Methods inherited from class java.lang.Object

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

Field Detail

crawler

Crawler crawler

currentFilename

java.lang.String currentFilename

workbenchPanel

java.awt.Panel workbenchPanel

workbenchConstraints

java.awt.GridBagConstraints workbenchConstraints

vizPanel

WorkbenchVizPanel vizPanel

vizConstraints

java.awt.GridBagConstraints vizConstraints

graph

WebGraph graph

outline

WebOutline outline

statistics

Statistics statistics

logger

EventLog logger

menubar

java.awt.MenuBar menubar

fileMenu

java.awt.Menu fileMenu

newCrawlerItem

java.awt.MenuItem newCrawlerItem

openCrawlerItem

java.awt.MenuItem openCrawlerItem

saveCrawlerItem

java.awt.MenuItem saveCrawlerItem

createCrawlerItem

java.awt.MenuItem createCrawlerItem

exitItem

java.awt.MenuItem exitItem

menuPanel

java.awt.Panel menuPanel

newCrawlerButton

java.awt.Button newCrawlerButton

openCrawlerButton

java.awt.Button openCrawlerButton

saveCrawlerButton

java.awt.Button saveCrawlerButton

createCrawlerButton

java.awt.Button createCrawlerButton

configPanel

WorkbenchTabPanel configPanel

simplePanel

java.awt.Panel simplePanel

crawlPanel

java.awt.Panel crawlPanel

limitsPanel

java.awt.Panel limitsPanel

classifiersPanel

java.awt.Panel classifiersPanel

linksPanel

java.awt.Panel linksPanel

actionPanel

java.awt.Panel actionPanel

crawlerEditor

CrawlerEditor crawlerEditor

classifierListEditor

ClassifierListEditor classifierListEditor

downloadParametersEditor

DownloadParametersEditor downloadParametersEditor

linkPredicateEditor

LinkPredicateEditor linkPredicateEditor

pagePredicateEditor

PagePredicateEditor pagePredicateEditor

actionEditor

ActionEditor actionEditor

simpleCrawlerEditor

SimpleCrawlerEditor simpleCrawlerEditor

advancedMode

boolean advancedMode

tornOff

boolean tornOff

startButton

java.awt.Button startButton

pauseButton

java.awt.Button pauseButton

stopButton

java.awt.Button stopButton

clearButton

java.awt.Button clearButton

allowExit

boolean allowExit

workbenchFrame

java.awt.Frame workbenchFrame

vizFrame

java.awt.Frame vizFrame

MARGIN

static final int MARGIN

Constructor Detail

Workbench

public Workbench()

Workbench

public Workbench(java.lang.String filename)
          throws java.lang.Exception

Workbench

public Workbench(java.net.URL url)
          throws java.lang.Exception

Workbench

public Workbench(Crawler _crawler)

Method Detail

makeDefaultCrawler

private static Crawler makeDefaultCrawler()

makeFrame

public java.awt.Frame makeFrame()

setAllowExit

public void setAllowExit(boolean yes)

getAllowExit

public boolean getAllowExit()

setAdvancedMode

public void setAdvancedMode(boolean adv)

getAdvancedMode

public boolean getAdvancedMode()

setVisible

static void setVisible(java.awt.Component comp,
                       boolean visible)

setEnabled

static void setEnabled(java.awt.Component comp,
                       boolean enabled)

setEnabled

static void setEnabled(java.awt.MenuItem item,
                       boolean enabled)

makeMenus

java.awt.Panel makeMenus()

makeSimplePanel

private java.awt.Panel makeSimplePanel()

makeCrawlPanel

private java.awt.Panel makeCrawlPanel()

makeLinksPanel

private java.awt.Panel makeLinksPanel()

makeActionPanel

private java.awt.Panel makeActionPanel()

makeClassifiersPanel

private java.awt.Panel makeClassifiersPanel()

makeLimitsPanel

private java.awt.Panel makeLimitsPanel()

makeButtonPanel

private java.awt.Panel makeButtonPanel()

getCrawlerClassName

java.lang.String getCrawlerClassName(java.lang.String label)

handleEvent

public boolean handleEvent(java.awt.Event event)

Overrides:

handleEvent in class java.awt.Component

doEvent

boolean doEvent(java.awt.Event event)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

close

void close()

refresh

public void refresh()

connectVisualization

void connectVisualization(Crawler crawler,
                          java.lang.Object viz,
                          boolean linksToo)

disconnectVisualization

void disconnectVisualization(Crawler crawler,
                             java.lang.Object viz,
                             boolean linksToo)

showVisualization

void showVisualization(java.lang.Object viz)

hideVisualization

void hideVisualization(java.lang.Object viz)

tearoffVisualizations

void tearoffVisualizations()

dockVisualizations

void dockVisualizations()

newCrawler

void newCrawler()

createCrawler

void createCrawler(java.lang.String className)

openCrawler

void openCrawler()

openCrawler

void openCrawler(java.lang.String filename)

openCrawler

void openCrawler(java.net.URL url)

loadCrawler

static Crawler loadCrawler(java.io.InputStream stream)
                    throws java.lang.Exception

saveCrawler

void saveCrawler()

saveCrawler

void saveCrawler(java.lang.String filename)

configureCrawler

void configureCrawler()

enableButtons

void enableButtons(boolean fStart,
                   boolean fPause,
                   boolean fStop,
                   boolean fClear)

setCrawler

public void setCrawler(Crawler _crawler)

getCrawler

public Crawler getCrawler()

showAdvancedTabs

private void showAdvancedTabs()

showSimpleTabs

private void showSimpleTabs()

start

public void start()

stop

public void stop()

pause

public void pause()

clear

public void clear()

started

public void started(CrawlEvent event)

Notify that the crawler started

Specified by:

started in interface CrawlListener

stopped

public void stopped(CrawlEvent event)

Notify that the crawler ran out of links to crawl

Specified by:

stopped in interface CrawlListener

cleared

public void cleared(CrawlEvent event)

Notify that the crawler's state was cleared.

Specified by:

cleared in interface CrawlListener

timedOut

public void timedOut(CrawlEvent event)

Notify that the crawler timed out.

Specified by:

timedOut in interface CrawlListener

paused

public void paused(CrawlEvent event)

Notify that the crawler was paused.

Specified by:

paused in interface CrawlListener

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception