org.symcomp.wupsi.handlers
Class WebHandler

java.lang.Object
  org.symcomp.wupsi.handlers.WupsiHandler
      org.symcomp.wupsi.handlers.WebHandler

public class WebHandler
extends WupsiHandler

handles the 'web' command family responsible for starting and stopping the web server.

Constructor Summary

WebHandler(Wupsifer w)

Method Summary

java.lang.String	command() If the beginning of the current command mathes this string, this is the correct handler to be called.
void	handle(java.lang.String in) this method is called with the entered command by Wupsifer
java.lang.String	help() some usage infos
void	shutdownHook() called on shutdown so that the handler can do necessary cleanup actions
boolean	startWeb(int port)
void	stopWeb()

Methods inherited from class org.symcomp.wupsi.handlers.WupsiHandler

systemDiedHook

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WebHandler

public WebHandler(Wupsifer w)

Method Detail

command

public java.lang.String command()

Description copied from class: WupsiHandler

If the beginning of the current command mathes this string, this is the correct handler to be called.

Specified by:

command in class WupsiHandler

Returns:

the command to match for

handle

public void handle(java.lang.String in)

Description copied from class: WupsiHandler

this method is called with the entered command by Wupsifer

Specified by:

handle in class WupsiHandler

Parameters:

in - the entered command

startWeb

public boolean startWeb(int port)

stopWeb

public void stopWeb()

help

public java.lang.String help()

Description copied from class: WupsiHandler

some usage infos

Specified by:

help in class WupsiHandler

Returns:

usage info for this command (family)

shutdownHook

public void shutdownHook()

Description copied from class: WupsiHandler

called on shutdown so that the handler can do necessary cleanup actions

Overrides:

shutdownHook in class WupsiHandler