public class JavaManipulation extends Object
"org.eclipse.jdt.core.manipulation"
).Modifier and Type | Field and Description |
---|---|
static String |
ID_PLUGIN
The id of the Java Manipulation plug-in (value
"org.eclipse.jdt.core.manipulation" ). |
Constructor and Description |
---|
JavaManipulation() |
Modifier and Type | Method and Description |
---|---|
static String |
getPreference(String key,
IJavaProject project)
Returns the value for the given key in the given context for the JDT UI plug-in.
|
static String |
getPreferenceNodeId() |
static void |
setPreferenceNodeId(String id)
Sets the preference node to be used for basic Java preferences.
|
public static final String ID_PLUGIN
"org.eclipse.jdt.core.manipulation"
).public static final String getPreferenceNodeId()
"org.eclipse.jdt.ui"
but some
environments may not have the 'org.eclipse.jdt.ui' bundle, so a
different one can be set.public static final void setPreferenceNodeId(String id)
id
- the Id to use for the preference nodepublic static String getPreference(String key, IJavaProject project)
key
- The preference keyproject
- The current context or null
if no context is available and the
workspace setting should be taken. Note that passing null
should
be avoided.
Copyright (c) 2000, 2018 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.