org.semanticweb.HermiT.debugger.commands
Class ShowExistsCommand

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

public class ShowExistsCommand
extends AbstractCommand


Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
ShowExistsCommand(Debugger debugger)
           
 
Method Summary
 void execute(java.lang.String[] args)
           
 java.lang.String getCommandName()
           
 java.lang.String[] getDescription()
           
 void printHelp(java.io.PrintWriter writer)
           
protected  void printStartExistential(Node node, 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

ShowExistsCommand

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

printStartExistential

protected void printStartExistential(Node node,
                                     java.io.PrintWriter writer)