public class WorkspaceElem extends DistParentElem
ARGEO_SYSTEM_WKSP, VERSION_SEP| Constructor and Description |
|---|
WorkspaceElem(WkspGroupElem parent,
RepoElem repoElem,
java.lang.String workspaceName) |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose() |
java.lang.Object[] |
getChildren()
Override normal behaviour to initialize display of the workspace
|
Session |
getNewSession()
Utility to create a new Session with correct credential in this context
|
RepoElem |
getRepoElem() |
java.lang.String |
getWorkspaceName() |
boolean |
hasChildren() |
java.lang.Boolean |
isConnected() |
void |
login() |
inHome, isReadOnly, setInHome, setReadOnlypublic WorkspaceElem(WkspGroupElem parent, RepoElem repoElem, java.lang.String workspaceName)
public java.lang.String getWorkspaceName()
public RepoElem getRepoElem()
public java.lang.Boolean isConnected()
public void login()
public Session getNewSession()
public boolean hasChildren()
hasChildren in class org.argeo.eclipse.ui.TreeParentpublic java.lang.Object[] getChildren()
getChildren in class org.argeo.eclipse.ui.TreeParentpublic void dispose()
dispose in class org.argeo.eclipse.ui.TreeParentCopyright © 2007–2020. All rights reserved.