org.semanticweb.HermiT.debugger.commands

Class ShowDLClausesCommand

java.lang.Object

org.semanticweb.HermiT.debugger.commands.AbstractCommand

org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

All Implemented Interfaces:

DebuggerCommand

public class ShowDLClausesCommand
extends AbstractCommand

ShowDLClausesCommand.

Constructor Summary

Constructors

Constructor and Description
ShowDLClausesCommand(Debugger debugger)

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ShowDLClausesCommand

public ShowDLClausesCommand(Debugger debugger)

Parameters:

debugger - debugger

Method Detail

getCommandName

public String getCommandName()

Returns:

command name

getDescription

public String[] getDescription()

Returns:

description

printHelp

public void printHelp(PrintWriter writer)

Parameters:

writer - writer

execute

public void execute(String[] args)

Parameters:

args - args