org.semanticweb.HermiT.debugger.commands
Class ShowModelCommand
java.lang.Object
org.semanticweb.HermiT.debugger.commands.AbstractCommand
org.semanticweb.HermiT.debugger.commands.ShowModelCommand
- All Implemented Interfaces:
- DebuggerCommand
public class ShowModelCommand
- extends AbstractCommand
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ShowModelCommand
public ShowModelCommand(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)
loadFacts
protected void loadFacts(java.util.Set<java.lang.Object[]> facts,
ExtensionTable.Retrieval retrieval)
printFact
protected void printFact(java.lang.Object[] fact,
java.io.PrintWriter writer)