org.semanticweb.HermiT.debugger.commands
Class WaitForCommand

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.commands.AbstractCommand
      extended by org.semanticweb.HermiT.debugger.commands.WaitForCommand
All Implemented Interfaces:
DebuggerCommand

public class WaitForCommand
extends AbstractCommand
implements DebuggerCommand


Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
WaitForCommand(Debugger debugger)
           
 
Method Summary
 void execute(java.lang.String[] args)
           
 java.lang.String getCommandName()
           
 java.lang.String[] getDescription()
           
protected  void modifyWaitOptions(Debugger.WaitOption waitOption, boolean add)
           
 void printHelp(java.io.PrintWriter writer)
           
 
Methods inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
formatBlockingStatus, getDLPredicate, selectConsoleWindow, showTextInWindow
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WaitForCommand

public WaitForCommand(Debugger debugger)
Method Detail

getCommandName

public java.lang.String getCommandName()
Specified by:
getCommandName in interface DebuggerCommand

getDescription

public java.lang.String[] getDescription()
Specified by:
getDescription in interface DebuggerCommand

printHelp

public void printHelp(java.io.PrintWriter writer)
Specified by:
printHelp in interface DebuggerCommand

execute

public void execute(java.lang.String[] args)
Specified by:
execute in interface DebuggerCommand

modifyWaitOptions

protected void modifyWaitOptions(Debugger.WaitOption waitOption,
                                 boolean add)