public class WorkspaceProjectManager
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
class |
WorkspaceProjectManager.ProjectSessionIterator |
Constructor | Description |
---|---|
WorkspaceProjectManager() |
Modifier and Type | Method | Description |
---|---|---|
WorkspaceProject |
getProject() |
|
java.io.File |
getWorkspace() |
|
void |
setProject(WorkspaceProject project) |
|
void |
setWorkspace(java.io.File workspace) |
public java.io.File getWorkspace()
public void setWorkspace(java.io.File workspace)
public WorkspaceProject getProject()
public void setProject(WorkspaceProject project)