org.semanticweb.HermiT.debugger.commands
Class ShowModelCommand

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

public class ShowModelCommand
extends AbstractCommand


Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
ShowModelCommand(Debugger debugger)
           
 
Method Summary
 void execute(java.lang.String[] args)
           
 java.lang.String getCommandName()
           
 java.lang.String[] getDescription()
           
protected  void loadFacts(java.util.Set<java.lang.Object[]> facts, ExtensionTable.Retrieval retrieval)
           
protected  void printFact(java.lang.Object[] fact, java.io.PrintWriter writer)
           
 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

ShowModelCommand

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

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)