org.eclipse.emf.edapt.history.preferences.ui

Class ResourcePreferences

java.lang.Object

org.eclipse.emf.edapt.history.preferences.ui.ResourcePreferences

public final class ResourcePreferences
extends Object

Manager of preferences for resources by URI.

Method Summary

Modifier and Type	Method and Description
static org.eclipse.jface.preference.IPreferenceStore	getPreferences(org.eclipse.emf.edit.domain.EditingDomain editingDomain) Get the preference store for the principal resource of an editing domain.
static org.eclipse.jface.preference.IPreferenceStore	getPreferences(org.eclipse.emf.common.util.URI uri) Get the preference store for the resource identified by the given URI.

Methods inherited from class java.lang.Object

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

Method Detail

getPreferences

public static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.edit.domain.EditingDomain editingDomain)

Get the preference store for the principal resource of an editing domain. That principal resource is the history resource, if any, otherwise the resource that is being edited in that domain.

Parameters:

editingDomain - an editing domain

Returns:

the preference store for its principal resource

getPreferences

public static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.common.util.URI uri)

Get the preference store for the resource identified by the given URI.

Parameters:

uri - the reosurce URI

Returns:

the preference store for that resource