org.semanticweb.HermiT.debugger.commands

Class ShowExistsCommand

java.lang.Object

org.semanticweb.HermiT.debugger.commands.AbstractCommand

org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

All Implemented Interfaces:

DebuggerCommand

public class ShowExistsCommand
extends AbstractCommand

ShowExistsCommand.

Constructor Summary

Constructors

Constructor and Description
ShowExistsCommand(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

ShowExistsCommand

public ShowExistsCommand(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