Uses of Class
org.symcomp.wupsi.handlers.WupsiHandler

Packages that use WupsiHandler
org.symcomp.wupsi   
org.symcomp.wupsi.handlers   
 

Uses of WupsiHandler in org.symcomp.wupsi
 

Methods in org.symcomp.wupsi that return types with arguments of type WupsiHandler
 java.util.List<WupsiHandler> Wupsifer.getHandlers()
           
 

Uses of WupsiHandler in org.symcomp.wupsi.handlers
 

Subclasses of WupsiHandler in org.symcomp.wupsi.handlers
 class AliasHandler
          responsible for handling the 'alias' command which stores an unevaluated OM expression in a local variable
 class ConnectHandler
          responsible to handle the connect command which is used to attach new clients to the WUPSI.
 class DescribeHandler
          handles the 'describe' command which looks up some documentation for OM symbols.
 class DisconnectHandler
          handles the 'disconnect' command to un-attach SCSCP systems.
 class HelpHandler
          handle the 'help' command.
 class IrcHandler
           
 class LocalHandler
          handles the 'local' command, which is (currently) used to locally store the result of a remote computation.
 class PrintHandler
          handles the 'print' command which is merely a translator into the currently selected format.
 class QuitHandler
          handles the 'quit' command, which closes WUPSI.
 class ReadHandler
          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.
 class SetHandler
          handles the 'set' command family, which are used to set a couple of options.
 class ShowHandler
          handles the 'show' command family that is used to display some state infos about the WUPSI.
 class SPSDHandler
          handle the 'spsd' command family which is used to administer the 'Simple Parallel SCSCP Dispatcher'.
 class UseHandler
          used to handle the 'use' command, which switches the currently active system.
 class WebHandler
          handles the 'web' command family responsible for starting and stopping the web server.
 



Copyright © 2010. All Rights Reserved.