public class MaintainedRepositoryElem extends RepositoryElem
repository
Constructor and Description |
---|
MaintainedRepositoryElem(java.lang.String alias,
Repository repository,
TreeParent parent) |
createWorkspace, getAccessibleWorkspaceNames, getAlias, getRepository, isConnected, login, logout, repositoryLogin
addChild, clearChildren, compareTo, dispose, equals, getChildByName, getChildren, getChildrenOfType, getName, getParent, hasChildren, hashCode, isLoaded, removeChild, setParent, toString
public MaintainedRepositoryElem(java.lang.String alias, Repository repository, TreeParent parent)
Copyright © 2007–2020. All rights reserved.