org.symcomp.wupsi.handlers
Class ReadHandler

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

public class ReadHandler
extends WupsiHandler

handles the 'read' command which reads a single file which is expected to contain precisely one OpenMath Object in either XML, Popcorn or OpenMath Binary.

Constructor Summary

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

ReadHandler

public ReadHandler(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)