org.semanticweb.HermiT.debugger.commands
Class ShowExistsCommand
java.lang.Object
org.semanticweb.HermiT.debugger.commands.AbstractCommand
org.semanticweb.HermiT.debugger.commands.ShowExistsCommand
- All Implemented Interfaces:
- DebuggerCommand
public class ShowExistsCommand
- extends AbstractCommand
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ShowExistsCommand
public ShowExistsCommand(Debugger debugger)
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)