public class UserLibraryManager
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
CP_USERLIBRARY_PREFERENCES_PREFIX |
| Constructor and Description |
|---|
UserLibraryManager() |
| Modifier and Type | Method and Description |
|---|---|
UserLibrary |
getUserLibrary(java.lang.String libName) |
java.lang.String[] |
getUserLibraryNames() |
void |
removeUserLibrary(java.lang.String libName) |
void |
setUserLibrary(java.lang.String libName,
IClasspathEntry[] entries,
boolean isSystemLibrary) |
void |
updateUserLibrary(java.lang.String libName,
java.lang.String encodedUserLibrary) |
public static final java.lang.String CP_USERLIBRARY_PREFERENCES_PREFIX
public UserLibrary getUserLibrary(java.lang.String libName)
public java.lang.String[] getUserLibraryNames()
public void updateUserLibrary(java.lang.String libName,
java.lang.String encodedUserLibrary)
public void removeUserLibrary(java.lang.String libName)
public void setUserLibrary(java.lang.String libName,
IClasspathEntry[] entries,
boolean isSystemLibrary)