org.symcomp.wupsi.handlers
Class SetHandler

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

public class SetHandler
extends WupsiHandler

handles the 'set' command family, which are used to set a couple of options.

Constructor Summary

SetHandler(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

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

shutdownHook, systemDiedHook

Methods inherited from class java.lang.Object

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

Constructor Detail

SetHandler

public SetHandler(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

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)