org.aspectj.ajde.ui.UserPreferencesAdapter Maven / Gradle / Ivy

/* *******************************************************************
 * Copyright (c) 1999-2001 Xerox Corporation, 
 *               2002 Palo Alto Research Center, Incorporated (PARC).
 * 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: 
 *     Xerox/PARC     initial implementation 
 * ******************************************************************/



package org.aspectj.ajde.ui;

import java.util.List;

/**
 * This interface needs to be implemented by an IDE extension in order for AJDE
 * to store properties in a way that matches the IDE's property storing facilities.
 * 
 * @author	Mik Kersten
 */
public interface UserPreferencesAdapter {

	/**
	 * Retrieves a global IDE option.
	 */ 
	public String getGlobalPreference(String name);
	
	/**
	 * Retrieves a global IDE option.
	 */ 
	public List getGlobalMultivalPreference(String name);
	
	/**
	 * Sets a global IDE option with a single value.
	 */ 
	public void setGlobalPreference(String name, String value);
	
	/**
	 * Sets a global IDE option with multiple values.
	 */ 
	public void setGlobalMultivalPreference(String name, List values);
	
	/**
	 * Retrieves an option for the currently active project.
	 */ 
	public String getProjectPreference(String name);
	
	/**
	 * Retrieves an option for the currently active project.
	 */ 
	public List getProjectMultivalPreference(String name);
	
	/**
	 * Sets an option for the currently active project.
	 */ 
	public void setProjectPreference(String name, String value);
	
	/**
	 * Sets an option for the currently active project.
	 */ 
	public void setProjectMultivalPreference(String name, List values);	
}