Package org.aspectj.ajde.ui
Interface UserPreferencesAdapter
- All Known Implementing Classes:
UserPreferencesStore
public interface UserPreferencesAdapter
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
-
Method Summary
Modifier and TypeMethodDescriptionRetrieves a global IDE option.getGlobalPreference(String name)
Retrieves a global IDE option.Retrieves an option for the currently active project.getProjectPreference(String name)
Retrieves an option for the currently active project.void
setGlobalMultivalPreference(String name, List values)
Sets a global IDE option with multiple values.void
setGlobalPreference(String name, String value)
Sets a global IDE option with a single value.void
setProjectMultivalPreference(String name, List values)
Sets an option for the currently active project.void
setProjectPreference(String name, String value)
Sets an option for the currently active project.
-
Method Details
-
getGlobalPreference
Retrieves a global IDE option. -
getGlobalMultivalPreference
Retrieves a global IDE option. -
setGlobalPreference
Sets a global IDE option with a single value. -
setGlobalMultivalPreference
Sets a global IDE option with multiple values. -
getProjectPreference
Retrieves an option for the currently active project. -
getProjectMultivalPreference
Retrieves an option for the currently active project. -
setProjectPreference
Sets an option for the currently active project. -
setProjectMultivalPreference
Sets an option for the currently active project.
-