org.semanticweb.HermiT.debugger.commands
Class OriginStatsCommand

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

public class OriginStatsCommand
extends AbstractCommand


Nested Class Summary
protected static class OriginStatsCommand.OriginInfo
           
protected static class OriginStatsCommand.OriginInfoComparator
           
 
Field Summary
 
Fields inherited from class org.semanticweb.HermiT.debugger.commands.AbstractCommand
m_debugger
 
Constructor Summary
OriginStatsCommand(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

OriginStatsCommand

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