org.semanticweb.HermiT.debugger.commands
Class ShowDLClausesCommand

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

public class ShowDLClausesCommand
extends AbstractCommand


Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
ShowDLClausesCommand(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

ShowDLClausesCommand

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