public class WorkspaceLoader extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
WorkspaceLoader.WorkspaceLoaderEvent |
static interface |
WorkspaceLoader.WorkspaceLoaderListener |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
EXT |
static java.lang.String |
WORKSPACE_PATH |
Modifier and Type | Method and Description |
---|---|
static void |
addListener(WorkspaceLoader.WorkspaceLoaderListener listener)
Add a listener
|
static Workspace |
getWorkspace(java.lang.String name) |
static java.util.ArrayList<Workspace> |
getWorkspaces() |
static boolean |
isLoaded(Workspace workspace) |
static boolean |
isLoading() |
static void |
prepare() |
static void |
reload_asynch()
Deprecated.
Use
reloadAsynch() instead. |
static void |
reload()
Reload the list of installed workspaces (workspaces present in the "workspaces" directory)
|
static void |
reloadAsynch()
Reload the list of installed workspaces (workspaces present in the "workspaces" directory).
|
static void |
removeListener(WorkspaceLoader.WorkspaceLoaderListener listener)
Remove a listener
|
static void |
waitWhileLoading()
wait until loading completed
|
public static final java.lang.String WORKSPACE_PATH
public static final java.lang.String EXT
public static void prepare()
public static void reloadAsynch()
@Deprecated public static void reload_asynch()
reloadAsynch()
instead.public static void reload()
public static java.util.ArrayList<Workspace> getWorkspaces()
public static boolean isLoading()
public static void waitWhileLoading()
public static Workspace getWorkspace(java.lang.String name)
public static void addListener(WorkspaceLoader.WorkspaceLoaderListener listener)
listener
- public static void removeListener(WorkspaceLoader.WorkspaceLoaderListener listener)
listener
-