org.openrdf.console

Class Close

java.lang.Object

org.openrdf.console.Close

All Implemented Interfaces:

Command

public class Close
extends Object
implements Command

Author:

Dale Visser

Method Summary

Modifier and Type	Method and Description
protected void	closeRepository(boolean verbose)
void	execute(String... tokens) Execute the given parameters.

Methods inherited from class java.lang.Object

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

Method Detail

execute

public void execute(String... tokens)

Description copied from interface: Command

Execute the given parameters.

Specified by:

execute in interface Command

Parameters:

tokens - parameters typed by user

closeRepository

protected void closeRepository(boolean verbose)