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, setReadOnly
public 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.TreeParent
public java.lang.Object[] getChildren()
getChildren
in class org.argeo.eclipse.ui.TreeParent
public void dispose()
dispose
in class org.argeo.eclipse.ui.TreeParent
Copyright © 2007–2020. All rights reserved.