|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.symcomp.wupsi.handlers.WupsiHandler
public abstract class WupsiHandler
WupsiHandlers are used to encapsulate the functionality of the command line commands of the WUPSI. These are the commands that are not evaluated by the remote SCSCP systems.
| Constructor Summary | |
|---|---|
WupsiHandler()
|
|
| Method Summary | |
|---|---|
abstract java.lang.String |
command()
If the beginning of the current command mathes this string, this is the correct handler to be called. |
abstract void |
handle(java.lang.String in)
this method is called with the entered command by Wupsifer |
abstract java.lang.String |
help()
some usage infos |
void |
shutdownHook()
called on shutdown so that the handler can do necessary cleanup actions |
void |
systemDiedHook(org.symcomp.scscp.SCSCPClient client)
called when a system dies so that the handler can do necessary cleanup actions |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public WupsiHandler()
| Method Detail |
|---|
public abstract java.lang.String command()
public abstract void handle(java.lang.String in)
in - the entered commandpublic abstract java.lang.String help()
public void shutdownHook()
public void systemDiedHook(org.symcomp.scscp.SCSCPClient client)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||