Open.java

/*******************************************************************************
 * Copyright (c) 2015 Eclipse RDF4J contributors, Aduna, and others.
 *
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Distribution License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/org/documents/edl-v10.php.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *******************************************************************************/
package org.eclipse.rdf4j.console.command;

import org.eclipse.rdf4j.console.ConsoleIO;
import org.eclipse.rdf4j.console.ConsoleState;
import org.eclipse.rdf4j.console.LockRemover;
import org.eclipse.rdf4j.repository.Repository;
import org.eclipse.rdf4j.repository.RepositoryException;
import org.eclipse.rdf4j.repository.RepositoryLockedException;
import org.eclipse.rdf4j.repository.config.RepositoryConfigException;

/**
 * Open command
 *
 * @author Dale Visser
 */
public class Open extends ConsoleCommand {
	private final Close close;

	@Override
	public String getName() {
		return "open";
	}

	@Override
	public String getHelpShort() {
		return "Opens a repository to work on, takes a repository ID as argument";
	}

	@Override
	public String getHelpLong() {
		return PrintHelp.USAGE + "open <repositoryID>   Opens the repository with the specified ID\n";
	}

	/**
	 * Constructor
	 *
	 * @param consoleIO
	 * @param state
	 * @param close
	 */
	public Open(ConsoleIO consoleIO, ConsoleState state, Close close) {
		super(consoleIO, state);
		this.close = close;
	}

	@Override
	public void execute(String... tokens) {
		if (tokens.length == 2) {
			openRepository(tokens[1]);
		} else {
			writeln(getHelpLong());
		}
	}

	private static final String OPEN_FAILURE = "Failed to open repository";

	/**
	 * Open a repository
	 *
	 * @param repoID repository ID
	 */
	public void openRepository(final String repoID) {
		try {
			final Repository newRepository = state.getManager().getRepository(repoID);

			if (newRepository == null) {
				writeError("Unknown repository: '" + repoID + "'");
			} else {
				// Close current repository, if any
				close.closeRepository(false);
				state.setRepository(newRepository);
				state.setRepositoryID(repoID);
				writeln("Opened repository '" + repoID + "'");
			}
		} catch (RepositoryLockedException e) {
			if (LockRemover.tryToRemoveLock(e, consoleIO)) {
				openRepository(repoID);
			} else {
				writeError(OPEN_FAILURE, e);
			}
		} catch (RepositoryConfigException | RepositoryException e) {
			writeError(OPEN_FAILURE, e);
		}
	}
}