org.semanticweb.HermiT.debugger.commands

Interface DebuggerCommand

All Known Implementing Classes:

AbstractCommand, ActiveNodesCommand, AgainCommand, BreakpointTimeCommand, ClearCommand, ContinueCommand, DerivationTreeCommand, ExitCommand, ForeverCommand, HelpCommand, HistoryCommand, IsAncestorOfCommand, ModelStatsCommand, NodesForCommand, OriginStatsCommand, QueryCommand, ReuseNodeForCommand, ShowDescriptionGraphCommand, ShowDLClausesCommand, ShowExistsCommand, ShowModelCommand, ShowNodeCommand, ShowSubtreeCommand, SingleStepCommand, UnprocessedDisjunctionsCommand, WaitForCommand

public interface DebuggerCommand

DebuggerCommand.

Method Summary

Modifier and Type	Method and Description
void	execute(String[] args)
String	getCommandName()
String[]	getDescription()
void	printHelp(PrintWriter writer)

Method Detail

getCommandName

String getCommandName()

Returns:

command name

getDescription

String[] getDescription()

Returns:

description

printHelp

void printHelp(PrintWriter writer)

Parameters:

writer - writer

execute

void execute(String[] args)

Parameters:

args - args