org.semanticweb.HermiT.debugger.commands
Class DerivationTreeCommand

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

public class DerivationTreeCommand
extends AbstractCommand


Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
DerivationTreeCommand(Debugger debugger)
           
 
Method Summary
 void execute(java.lang.String[] args)
           
 java.lang.String getCommandName()
           
 java.lang.String[] getDescription()
           
 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

DerivationTreeCommand

public DerivationTreeCommand(Debugger debugger)
Method Detail

getCommandName

public java.lang.String getCommandName()

getDescription

public java.lang.String[] getDescription()

printHelp

public void printHelp(java.io.PrintWriter writer)

execute

public void execute(java.lang.String[] args)