/**
 *  Copyright (c) 2013-2016 Angelo ZERR.
 *  All rights reserved. This program and the accompanying materials
 *  are made available under the terms of the Eclipse Public License v1.0
 *  which accompanies this distribution, and is available at
 *  http://www.eclipse.org/legal/epl-v10.html
 *
 *  Contributors:
 *  Angelo Zerr <angelo.zerr@gmail.com> - initial API and implementation
 */
package tern.eclipse.ide.core;

import org.eclipse.core.resources.IProject;

/**
 * Tern server type manager API.
 * 
 */
public interface ITernServerTypeManager {

	/**
	 * Returns an array of all known tern server types.
	 * <p>
	 * A new array is returned on each call, so clients may store or modify the
	 * result.
	 * </p>
	 * 
	 * @return the array of tern server types {@link ITernServerType}
	 */
	ITernServerType[] getTernServerTypes();

	/**
	 * Returns the tern server type with the given id, or <code>null</code> if
	 * none. This convenience method searches the list of known tern server
	 * types ({@link #getTernServerTypes()}) for the one with a matching tern
	 * server type id ({@link ITernServerType#getId()}). The id may not be null.
	 * 
	 * @param id
	 *            the tern server type id
	 * @return the tern server type, or <code>null</code> if there is no tern
	 *         server type with the given id
	 */
	ITernServerType findTernServerType(String id);

	void refresh();

	/**
	 * Add server preferences listener.
	 * 
	 * @param listener
	 *            the listener to add.
	 */
	void addServerPreferencesListener(ITernServerPreferencesListener listener);

	/**
	 * Remove the server preferences listener
	 * 
	 * @param listener
	 *            the listener to remove.
	 */
	void removeServerPreferencesListener(ITernServerPreferencesListener listener);

	/**
	 * Notify that server preferences has changed.
	 * 
	 * @param project
	 *            not null if preferences comes from a project and null when
	 *            it's a global preferences.
	 */
	void fireServerPreferencesChanged(IProject project);

}